diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-06-05 20:58:47 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-06-05 20:58:47 +0200 |
| commit | 202fd8ba096ff5a80102cbec2922eef94061458b (patch) | |
| tree | 5546acec206cffa4201c6e1d75634ece0347e32f /erebos-tester.cabal | |
| parent | 7f9decf5ec9e4d9fbdfad23d7ce438c95bd8a862 (diff) | |
Refactor expressions as GADT
Diffstat (limited to 'erebos-tester.cabal')
| -rw-r--r-- | erebos-tester.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erebos-tester.cabal b/erebos-tester.cabal index 90c768d..8b66f13 100644 --- a/erebos-tester.cabal +++ b/erebos-tester.cabal @@ -43,6 +43,7 @@ executable erebos-tester-core ExistentialQuantification FlexibleContexts FlexibleInstances + GADTs GeneralizedNewtypeDeriving ImportQualifiedPost LambdaCase |