blob: 0f279c29ba726f94c1304e1db45edbe0eec37574 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{- Note that declarations without type signatures are not included in the
documentation. They could be, but that's a missing feature. -}
module Bug8 where
infix -->
infix --->
data Typ = Type (String,[Typ])
| TFree (String, [String])
x --> y = Type("fun",[s,t])
(--->) = flip $ foldr (-->)
s = undefined
t = undefined
main = undefined
|
