All Versions
3
Latest Version
Avg Release Cycle
1 days
Latest Release
2171 days ago

Changelog History

  • v0.1.2 Changes

    April 19, 2018
    • ๐Ÿ— Significantly better dictionary generation; the plugin will now build dictionaries that depend on subdicts.
    • ๐Ÿ›  Fixed a bug where dictionaries depending on subdicts would cause segfaults at runtime.
    • ๐Ÿ”Œ The plugin will now refuse to discharge 'Emerge c' constraints if 'c' is not fully monomorphic.
    • ๐Ÿ”Œ The plugin will now fail to generate equality dicts, even for types that are, in fact, equal. This is bad, but much less disastrous than the old behavior which would generate dictionaries for non-equal types...
  • v0.1.1 Changes

    April 18, 2018
    • โšก๏ธ Updated some misleading error messages.
  • v0.1 Changes

    April 18, 2018
    • ๐Ÿš€ First version. Released on an unsuspecting world.