blob: df629a9878204a4470eebd0f9449578b4ef94915 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
Typechecked:
AbsBinds [] [] [(x.t1, Main.x)]
{- nonrec -}
x.t1 :: Char
x.t1 = 'a'
AbsBinds [] [] [(y.t4, Main.y), (ys.t5, Main.ys)]
{- nonrec -}
(y.t4 : ys.t5) :: [Char]
(y.t4 : ys.t5) = ['a', 'b', 'c'] (Char)
where
AbsBinds [] [] [(p.t8, p.r56)]
{- nonrec -}
p.t8 :: Char
p.t8 = Main.x
{- nonrec -}
|