All Versions
Latest Version
Avg Release Cycle
Latest Release

Changelog History

  • v0.3.1 Changes

    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.


    • โš  the use of lazy data structures will now cause a warning (can be disabled by 'AllowLazyData' annotation); this check for lazy data is rather ad hoc and needs to be refined
    • ๐Ÿ‘ allow functions under ticks (but with limitations, see paper)
    • strictness transformation is now similar to the 'Strict' language extension
    • optimisations using custom rewrite rules
  • v0.1.1.0 Changes

    • ๐Ÿ‘ allow mutual guarded recursion
    • ๐Ÿ‘Œ improve type error messages
  • v0.1.0.0 Changes

    ๐ŸŽ‰ initial release