From 31fd34766e33f8334c3fbcbfba2a0e1314b4f334 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sat, 14 Sep 2024 21:27:36 +0200 Subject: Type variables and simple unification --- 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 d894395..c3a49e6 100644 --- a/erebos-tester.cabal +++ b/erebos-tester.cabal @@ -103,6 +103,7 @@ executable erebos-tester-core ImportQualifiedPost LambdaCase MultiParamTypeClasses + MultiWayIf OverloadedStrings RankNTypes RecordWildCards -- cgit v1.2.3