blob: e569b01dc523557661af8e12b947e5c0c3941960 (
plain) (
tree)
|
|
module Bug8 where
infix -->
infix --->
data Typ = Type (Typ,[Typ])
| TFree (Typ, [Typ])
x --> y = Type(s,[s,t])
(--->) = flip $ foldr (-->)
s = undefined
t = undefined
main = undefined
|