aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/Bug8.hs
blob: 30afae1f68dafd45910d750b880c26d81415f8ce (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
module Bug8 where

infix -->
infix --->

data Typ = Type (Typ,[Typ])
         | TFree (Typ, [Typ])

x --> y = Type(s,[s,t])
(--->) :: (Foldable t0) => t0 t -> Typ -> Typ
(--->) = flip $ foldr (-->)

s = undefined
t = undefined
main = undefined