diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/T3484.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T3484.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T3484.hs b/testsuite/tests/indexed-types/should_compile/T3484.hs index e558cbbe21..1d53b320d2 100644 --- a/testsuite/tests/indexed-types/should_compile/T3484.hs +++ b/testsuite/tests/indexed-types/should_compile/T3484.hs @@ -8,9 +8,9 @@ newtype S n = S n class Nat n where caseNat :: (n ~ Z => r) -> (forall p. (n ~ S p, Nat p) => p -> r) -> n -> r instance Nat Z where - caseNat = error "urk1" + caseNat _ _ = error "urk1" instance Nat n => Nat (S n) where - caseNat = error "urk2" + caseNat _ _ = error "urk2" -- empty type newtype Naught = Naught (forall a. a) @@ -40,4 +40,4 @@ natEqDec m n = caseNat undefined mIsS m where -- strange things: -- (1) commenting out the "Yes" case or changing it to "undefined" makes compilation succeed --- (2) replacing the "No" line with with the commented out "No" line makes compilation succeed
\ No newline at end of file +-- (2) replacing the "No" line with with the commented out "No" line makes compilation succeed |