blob: 99a66e4bdc1b4555bac57d7ea7bf5d7bc02b643c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
t = O (_t1::a)
_t1 :: a = _
t :: Opaque = O _
()
t = O ((_t2::a1) : (_t3::[a1]))
_t1 :: [a] = _ : _
_t2 :: a1 = _
_t3 :: [a1] = _
it :: () = ()
t :: Opaque = O (_ : _)
()
t = O (Just [(_t4::a1),(_t5::a1)] : (_t6::[Maybe [a1]]))
()
t = O (Just [1,(_t7::Integer)] : (_t8::[Maybe [Integer]]))
_t7 :: Integer
|
