diff options
| author | stuebinm | 2022-10-11 13:39:16 +0200 |
|---|---|---|
| committer | stuebinm | 2022-10-11 13:39:16 +0200 |
| commit | 4caded904c54d1cd85bf54239517e93650a404f5 (patch) | |
| tree | ce150d3588aa766c12ee6bb3e3ed3aea73615d43 /lib/CheckMap.hs | |
| parent | e4b0ae395f3207f4bbaebbf42a3d3a28a516489d (diff) | |
use template haskell aeson, not generics
this has been bothering me for MONTHS, and it compiles faster now. also fixed some warnings
Diffstat (limited to 'lib/CheckMap.hs')
| -rw-r--r-- | lib/CheckMap.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/CheckMap.hs b/lib/CheckMap.hs index 73464a8..279a2c1 100644 --- a/lib/CheckMap.hs +++ b/lib/CheckMap.hs @@ -44,7 +44,7 @@ import Util (PrettyPrint (prettyprint), prettyprint) data ResultKind = Full | Shrunk -type family Optional (a :: ResultKind) (b :: *) where +type family Optional (a :: ResultKind) (b :: Type) where Optional Full b = b Optional Shrunk b = () |