checking package dependencies
compiling MessageCurry.bsv
code generation for mkMessageCurry starts
Compilation message: "MessageCurry.bsv", line 14, column 36: a
Compilation message: "MessageCurry.bsv", line 14, column 54: b
Elaborated module file created: mkMessageCurry.ba
All packages are up to date.