blob: 18df63c8d3a7f114e31e4d53f608205ba5e59d4f (
plain) (
tree)
|
|
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
|