GitLab

Update to GHC 8.10

See merge request !49

Use .afcy for type-annotated FlatCurry files

See merge request !43

Fix the tuple constructor identification in the interface syntax check

See merge request !47

Allow Type Variables to be Applied to Multiple Types in Constraints

See merge request !48

Leif-Erik Krüger authored Jul 02, 2021 and Leif-Erik Krüger committed Jul 02, 2021

`rootType` now deconstructs `ApplyType`s recursively.
This allows type variables to be applied to multiple types in constraints.


(cherry picked from commit 6575d855)

Fix `Binary` instance for `NewtypeDecl`

See merge request !46

Leif-Erik Krüger authored Jul 01, 2021 and Leif-Erik Krüger committed Jul 01, 2021

(cherry picked from commit 0d8ced37)

Co-authored-by: Kai-Oliver Prott <kpr@informatik.uni-kiel.de>

Co-authored-by: Kai-Oliver Prott <kpr@informatik.uni-kiel.de>

Leif-Erik Krüger authored Apr 27, 2021 and Leif-Erik Krüger committed Apr 27, 2021

- `put clss` is now executed only once rather than twice
- Additionally, the variable `cls` has been renamed to `clss` to reflect the fact that multiple classes can be derived


(cherry picked from commit c507ca0a)

Place bounds on all dependencies

See merge request !45

Update stack resolver to LTS-16.9 (GHC 8.8)

See merge request !44

Fix #123

Fix #121

Temporarily fixes #109

Fixes #115 and #117

Handle out-of-bounds lines in span previews

Closes #113

See merge request !42

Fixes #112

See #107