0.4.2
Implemented enhancements:
- Fold lets when the bound variable occurs at most once #2231 (lukaszcz)
- Case folding #2229 (lukaszcz)
- Specialization optimisation #2164 (lukaszcz)
Merged pull requests:
- Refactor deriving statements in
Concrete.Language#2256 (janmasrovira) - Rename inductive constructor #2255 (janmasrovira)
- Add record declaration syntax #2254 (janmasrovira)
- Typcheck imports before statements #2253 (janmasrovira)
- Named arguments #2250 (janmasrovira)
- Format juvix files using new function syntax #2245 (janmasrovira)
- Update to GEB version 0.3.2 #2244 (lukaszcz)
- New syntax for function definitions #2243 (janmasrovira)
- Parse many consecutive
-as a comment #2240 (janmasrovira) - Add syntax for builtin list #2239 (janmasrovira)
- Fix bug in aritychecker #2238 (janmasrovira)
- Local pragmas improvements #2236 (lukaszcz)
- Fix bug in
computeTypeInfo#2234 (lukaszcz) - Numeric range types #2232 (lukaszcz)
- Use specialization pragmas in the standard library #2230 (lukaszcz)
- Fix de Bruijn indices in LetRecs #2227 (lukaszcz)
- Remove abstract #2219 (janmasrovira)