| frag: Fixes in lint, compile |
|
More...
|
over 3 years ago
|
| frag: Add lint, split main to functions |
|
More...
|
over 3 years ago
|
| frag: Clean working with extensions |
|
More...
|
over 3 years ago
|
| Don't show students the type inferred by GHC if they did not write it |
|
More...
|
over 3 years ago
|
| driver: Clean flake |
|
More...
|
over 3 years ago
|
| driver: Fix parsing of space-separated arguments |
|
More...
|
over 3 years ago
|
| frag: Disable a buch of GHC2021 deriving-related extensions |
|
More...
|
over 3 years ago
|
| CI: Bump cabal version |
|
More...
|
over 3 years ago
|
| CI: Try using GHC 9.2.3 |
|
More...
|
over 3 years ago
|
| CI: Use new image & test with 9.2 on gitlab |
|
More...
|
over 3 years ago
|
| frag: Make Main.hs work without warnings on GHC 9.2 |
|
More...
|
almost 4 years ago
|
| driver: Improve handler error message |
|
More...
|
about 4 years ago
|
| driver: Add a last-resort exception handler |
|
More...
|
about 4 years ago
|
| driver: Force disable deriving extensions enabled in GHC 9.2 |
|
More...
|
about 4 years ago
|
| cabal: Change mail address |
|
More...
|
about 4 years ago
|
| cabal: Update tested-with to match primary CI |
|
More...
|
about 4 years ago
|
| github: Add GHC 9.2 to workflows |
|
More...
|
about 4 years ago
|
| github: Bump 9.0 bugfix for the sake of workflows |
|
More...
|
about 4 years ago
|
| cabal: Acknowledge & enable GHC 9.2 |
|
More...
|
about 4 years ago
|
| testlib: Port to GHC 9.2 |
|
More...
|
about 4 years ago
|
| driver: Fix inverted condition |
|
More...
|
about 4 years ago
|
| driver: Allow disabling hlint |
|
More...
|
about 4 years ago
|
| frag: Split timing into separate file |
|
More...
|
over 4 years ago
|
| frag: Fix mkreflect's handling of files with no newline at the end |
|
More...
|
over 4 years ago
|
| frag: Fix mkreflect handling of comments |
|
More...
|
over 4 years ago
|
| cabal: Bump version |
|
More...
|
over 4 years ago
|
| testlib: Generalise testType a bit |
|
More...
|
over 4 years ago
|
| cabal: Bump version a bit |
|
More...
|
over 4 years ago
|
| testlib: Allow changing return type by annotation in order to change final comparison or counterexample |
|
More...
|
over 4 years ago
|
| driver: Enable deriving extensions for teacher |
|
More...
|
over 4 years ago
|