blob: daafe8e22aca16f5beb8ff70bfda811055811271 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
{-# LANGUAGE GADTs #-}
-- Provoked by
-- http://www.haskell.org/pipermail/haskell-cafe/2007-January/021086.html
module ShouldCompile where
import Data.Set as Set
data Teq a b where Teq :: Teq a a
---------------------
data SetM1 a where
SM1 :: Ord w => Teq w a -> Set.Set w -> SetM1 a
unionA1 :: SetM1 a -> SetM1 a -> SetM1 a
unionA1 (SM1 Teq m1) (SM1 Teq m2)
= SM1 Teq (m1 `Set.union` m2)
unionB1 :: SetM1 a -> SetM1 a -> SetM1 a
unionB1 (SM1 p1 m1) (SM1 p2 m2)
= case p1 of Teq -> case p2 of Teq -> SM1 Teq (m1 `Set.union` m2)
unionC1 :: SetM1 a -> SetM1 a -> SetM1 a
unionC1 (SM1 p1 m1) (SM1 p2 m2)
= case (p1,p2) of (Teq,Teq) -> SM1 Teq (m1 `Set.union` m2)
---------------------
data SetM2 a where
SM2 :: Ord w => Teq a w -> Set.Set w -> SetM2 a
-- Different order of args in Teq
unionA2 :: SetM2 a -> SetM2 a -> SetM2 a
unionA2 (SM2 Teq m1) (SM2 Teq m2)
= SM2 Teq (m1 `Set.union` m2)
unionB2 :: SetM2 a -> SetM2 a -> SetM2 a
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)
= case (p1,p2) of (Teq,Teq) -> SM2 Teq (m1 `Set.union` m2)
|
