Add support for implied language extensions (and let NoImplicitPrelude imply NoDataDeriving)

See merge request !57

Extract KnownTool type from Tool

See merge request !56

Add NoDataDeriving language extension

See merge request !55

This is more consistent with the way the other checks work, additionally
implied extensions are semantic information and should therefore not
be declared in a syntax module.

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