From 202fd8ba096ff5a80102cbec2922eef94061458b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Sun, 5 Jun 2022 20:58:47 +0200
Subject: Refactor expressions as GADT

---
 erebos-tester.cabal | 1 +
 1 file changed, 1 insertion(+)

(limited to 'erebos-tester.cabal')

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
-- 
cgit v1.2.3