From ff46d84b08fed346156c1b67478d4090a0b83f7d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Wed, 10 Aug 2022 23:36:32 +0200 Subject: Integer expressions and variables --- 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 2ed105a..ed6398b 100644 --- a/erebos-tester.cabal +++ b/erebos-tester.cabal @@ -52,6 +52,7 @@ executable erebos-tester-core RankNTypes ScopedTypeVariables TupleSections + TypeApplications TypeFamilies TypeOperators build-depends: base >=4.13 && <5, -- cgit v1.2.3