Implementation of OCamlMin language based on min-caml project.
Haskell
Switch branches/tags
Nothing to show
Pull request Compare This branch is 2 commits ahead, 126 commits behind develop.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
AlphaConvert
BetaReduce
ConstantsFold
Inline
KNormal
PatternMatching
Syntax
TypeInference
Types
Utils
.gitignore
AlphaConvert.hs
BetaReduce.hs
Compiler.hs
ConstantsFold.hs
EliminateDefinitions.hs
Inline.hs
KNormal.hs
LetFlatten.hs
PatternMatching.hs
README.md
Rename.hs
Syntax.hs
TypeInference.hs
Types.hs

README.md

OCamlMin

Implementation of OCamlMin language based on min-caml project.

Changelog

  • 23 II 2013
    • Constant folding
    • Unused definitions elimination
  • 19 II 2013
    • β-reduction
    • nested let expressions flattening
    • small functions inlining
  • 18 II 2013
    • α-conversion
  • 15 II 2013
    • Conversion to K-Normal form
  • 10 II 2013
    • Added simple case expressions to language
    • Added fail / handle expressions to language
    • Compilation of pattern matching finished
  • 9 II 2013
    • Switched to pairs instead of tuples (to simplify compilation of pattern matching)
    • Added guards to function clauses (needed for pattern matching compilation)
  • 1 II 2013
    • Added type inference
  • 31 I 2013
    • Syntax of type expressions
  • 30 I 2013
    • Syntax of expressions