Changelog for Rattus-0.5


The typing rules for delay, functions, and guarded recursion have been simplified and generalised. Instead of just one tick, Rattus now allows an arbitrary number of ticks as well as function definitions in the scope of ticks. In practical terms, this means the following:


More general typing rules for delay, functions, and guarded recursion:

Changes in the library:


Guarded recursive types Str and Event are now fully strict (i.e. in particular, they are strict in the component that is of a later type) as they should be.


Rattus code is now checked just after GHC's type checking phase (instead of after desugaring to Core). As a consequence, error messages for some corner cases are much improved and we don't need to use the -g2 compiler option anymore to get good error messages.


initial release