Up until now you’ve had to compile all Roy modules at once so that type information would be kept around.

This week I started work on separate compilation Roy. With the latest changes, a .roym file is generated on compilation that defines all top level types, like so:

even: Function(Number,Boolean)
odd: Function(Number,Boolean)
succ: Function(Number,Number)
pred: Function(Number,Number)

Currently the compiler only reads lib/prelude.roym for type information. I’m going to add a flag to specify where to read modules from.

This should be a start to a few issues:

• Add a way to give types to JS globals
• IDL binding generator