diff options
Diffstat (limited to 'testsuite/tests/gadt/set.hs')
| -rw-r--r-- | testsuite/tests/gadt/set.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/gadt/set.hs b/testsuite/tests/gadt/set.hs index 3a78bbb64b..daafe8e22a 100644 --- a/testsuite/tests/gadt/set.hs +++ b/testsuite/tests/gadt/set.hs @@ -1,6 +1,6 @@ {-# LANGUAGE GADTs #-} --- Provoked by +-- Provoked by -- http://www.haskell.org/pipermail/haskell-cafe/2007-January/021086.html module ShouldCompile where @@ -29,7 +29,7 @@ unionC1 (SM1 p1 m1) (SM1 p2 m2) --------------------- data SetM2 a where SM2 :: Ord w => Teq a w -> Set.Set w -> SetM2 a - -- Different order of args in Teq + -- Different order of args in Teq unionA2 :: SetM2 a -> SetM2 a -> SetM2 a unionA2 (SM2 Teq m1) (SM2 Teq m2) @@ -40,6 +40,6 @@ unionB2 (SM2 p1 m1) (SM2 p2 m2) = case p1 of Teq -> case p2 of Teq -> SM2 Teq (m1 `Set.union` m2) unionC2 :: SetM2 a -> SetM2 a -> SetM2 a -unionC2 (SM2 p1 m1) (SM2 p2 m2) +unionC2 (SM2 p1 m1) (SM2 p2 m2) = case (p1,p2) of (Teq,Teq) -> SM2 Teq (m1 `Set.union` m2) |