kempe

0.2.0.5

• Fix bug in arm control-flow analysis
• Fix bugs in IR optimization pass
• Improve IR optimization
• Add fromMaybe and fromRight functions

0.2.0.4

• Kind-check external function declarations
• Fix bug in inliner where functions within dip(...)s were not inlined
• Fix unification bug where solved constraints were not back-substituted correctly.

0.2.0.3

• GHC 8.0.2 and 8.2.2

0.2.0.2

• Improve performance + generated code
• Fix bug in monomorphization of patterns

0.2.0.1

• Performance improvements when assembling x86
• Fix pattern match exhaustiveness checker
• More lenient command-line parser

0.2.0.0

• Add aarch64 backend
• Change type of shifts, they no longer take an Int8 as the second argument.

0.1.1.3

• Tweak some RTS flags for faster performance
• lib/gaussian.kmp has mult function
• A couple inefficiencies under the hood

0.1.1.2

• Case statements with a single branch are plain and efficient.
• Add safeDiv and safeMod to prelude/arith.kmp

0.1.1.1

• Performance improvements under the hood (use IntSets for liveness analysis)

0.1.1.0

• Fix internal pretty-printer (exposed as hidden fmt subcommand)
• Optimize IR cases
• Fix padding
• Fix bug in lexer (for C foreign calls)
• Support down to GHC 8.0.2
• Unification no longer takes pathologically long time
• Add test files so source distribution passes
• Some sort of imports now supported.

0.1.0.2

• Add optimizations (simplify code so that liveness analysis is quicker)
• Fix major bug in kind-checker
• Fix bug in type assignment

0.1.0.1

• Better debug pretty-printer
• Pattern match exhaustiveness checker so that pattern matches don't do something heinous at runtime

0.1.0.0

Initial release