diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc177.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc177.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc177.hs b/testsuite/tests/typecheck/should_compile/tc177.hs index c39481db90..90d462a5b0 100644 --- a/testsuite/tests/typecheck/should_compile/tc177.hs +++ b/testsuite/tests/typecheck/should_compile/tc177.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE FlexibleInstances, UndecidableInstances, +{-# LANGUAGE FlexibleInstances, UndecidableInstances, FlexibleContexts, MultiParamTypeClasses, FunctionalDependencies #-} -- This is a rather complicated program that uses functional @@ -105,4 +105,3 @@ instance EqR (Succ n) Zero F where instance (EqR n1 n2 b) => EqR (Succ n1) (Succ n2) b where eqR (Succ n1) (Succ n2) = eqR n1 n2 - |