blob: dd887a260d95c34297cc6fbc12c9e93b57f8cb38 (
plain)
1
2
3
4
5
6
7
8
9
10
|
Typechecked:
AbsBinds [] [] [(x.t1, ShouldSucceed.x)]
{- nonrec -}
x.t1 :: [[Bool]]
x.t1 = [[True] (Bool)] ([Bool])
AbsBinds [] [] [(xs.t3, ShouldSucceed.xs)]
{- nonrec -}
xs.t3 :: [Bool]
xs.t3 = [ x.r56 | x.r55 <- ShouldSucceed.x, x.r56 <- x.r55 ]
|