« Changelog History


lambdacube-compiler v0.6 Release Notes

Release Date: 2016-11-16 // over 7 years ago
    • compiler speedup
    • ⬇️ reduced memory usage

Previous changes from v0.4

    • compiler
      • support type synonyms
      • support simple import lists (hiding + explicit)
      • support multiple guards
      • handle constructor operator fixities, also in patterns
      • definitions are allowed in any order (not just bottom-up)
      • desugar node definitions (more robust, previously node definition handling was ad-hoc)
      • support qualified module imports
      • better tooltip ranges & types
      • bugfix: fix looping in type checking of recursive definitions
    • compiler optimization
      • separate types and values (vs. church style lambda)
      • separate use of neutral terms
      • erease lambda variable type
      • erease univ. pol. arguments of constructors
      • erease univ. pol. arguments of case functions
      • speed up 'eval' function
      • tried to speedup with cache max. de bruin indices
      • use less 'try' in parser
    • libraries
      • always put base library modules to include path
      • OpenGL API: simplify CullMode: remove FrontFace it is always ccw
      • OpenGL API: simplify Depth images handling
    • ✅ testenv
      • language feature tests framework
    • other
      • released on HackageDB