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
.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: