v0.53.0 [2019-11-05]
Breaking changes
Features
- b177c4d macros for type inference tests
- 1a4906d let-polymorphism with test example
- 5c0ea05 generalization, instantiation, and constraint solving
- 016a8fb type environment
- abfb759 convert Rust AST to FlatBuffers format (#2078)
- b59ecea allow lexing and parsing of string polytypes according to polytype grammar rules (#2066)
- 966b4a7 add month support when adding durations to a time value (#2067)
- a84b0cb interpret months as part of the semantic duration (#2073)