BAM Weblog

Roy - Separate Compilation

Brian McKenna — 2011-12-18

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:

Please enable JavaScript to view the comments powered by Disqus.