v0.4.3
Implemented enhancements:
- Allow wildcard arguments in new function definition syntax #2295 (lukaszcz)
- Allow omitting
: Typein implicit function argument definitions and in type definitions #2291 (lukaszcz) - Record patterns #2271 (janmasrovira)
- User-friendly operator declaration syntax #2270 (lukaszcz)
- Record updates #2263 (janmasrovira)
- Add field projections for records #2260 (janmasrovira)
Merged pull requests:
- Fix shell variables in linux static build stack install #2309 (paulcadman)
- Replace gitrev with githash for obtaining build-time git info #2308 (paulcadman)
- Check that type functions are supported #2306 (janmasrovira)
- Minor comment updates #2303 (lukaszcz)
- Update stdlib to use new ADT and record syntax #2302 (paulcadman)
- Fix bug in arity checker with pi types #2300 (janmasrovira)
- Error on duplicate keys in YAML #2290 (lukaszcz)
- Check for incomparable precedences #2289 (lukaszcz)
- Prettyprint aggregate ADT constructor types with parentheses #2284 (paulcadman)
- Fixes behaviour of default stdlib when internal-build-flag is set #2283 (paulcadman)
- Enable builtin list syntax in the standard library #2282 (lukaszcz)
- Improve iterator and named arguments parsing #2278 (lukaszcz)
- Update stackage resolver to LTS 21.6 #2275 (paulcadman)
- Fix benchmark wasmer command #2268 (paulcadman)
- Disallow iterators with zero ranges #2267 (lukaszcz)
- Don't print pragmas in documentation #2266 (lukaszcz)
- Adt syntax #2262 (janmasrovira)
- Minor refactor and script update #2261 (lukaszcz)
- Separate modules namespace #2257 (janmasrovira)