Changelog for Rattus-0.4


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