v0.5.0
Implemented enhancements:
- Add new case syntax #2353 (paulcadman)
- VampIR range checks and error handling #2344 (lukaszcz)
- Traits #2320 (lukaszcz)
- Aliasing #2301 (janmasrovira)
- External package dependencies #2272 (paulcadman)
Merged pull requests:
- Update stdlib submodule to current stdlib main #2364 (paulcadman)
- Add newlines at end of JSON files #2360 (lukaszcz)
- Update the standard library to use the trait framework #2359 (lukaszcz)
- Remove duplicated implicit pattern check from scoper #2357 (paulcadman)
- Fix instance import #2350 (lukaszcz)
- Small refactor for traits #2345 (janmasrovira)
- Allow named arguments in type synonyms #2343 (janmasrovira)
- Improve formatting of single-constructor types and records #2342 (janmasrovira)
- Add Internet effect #2337 (janmasrovira)
- Global offline flag #2335 (paulcadman)
- New fixity/iterator syntax #2332 (janmasrovira)
- Add fixity face #2328 (janmasrovira)
- Generate html documentation for alias and fixity definitions #2327 (janmasrovira)
- Generate documentation for local modules in the html backend #2326 (janmasrovira)
- Generate function signatures in the html backend #2325 (janmasrovira)
- Add macchiato html theme #2323 (janmasrovira)
- Show all available html themes in the CLI automatically #2322 (janmasrovira)
- Add css colors
ju-comment
andju-judoc
#2321 (janmasrovira) - Report termination errors after typechecking #2318 (janmasrovira)
- Install wasmer binary from Github releases #2317 (paulcadman)
- Fix record update formatting #2315 (lukaszcz)
- Fix record pattern formatting #2314 (lukaszcz)
- Update ci to use ormolu 0.5.3.0 and reformat project #2313 (janmasrovira)
- Add pragma face #2312 (janmasrovira)
- Remove
open import
syntax #2307 (lukaszcz)