Commit 4dee8ee9 authored by Pepe Iborra's avatar Pepe Iborra
Browse files

Accepted output

parent 9fd67c25
li = (_t1::[Maybe Integer])
Just 0
li = [Just 0 | (_t2::[Maybe Integer])]
li = [Just 0
| (_t2::[Maybe Integer])]
6
li = [Just 0,
(_t3::Maybe Integer),
(_t4::Maybe Integer),
(_t5::Maybe Integer),
(_t6::Maybe Integer),(_t7::Maybe Integer)]
li = [Just 0,_,_,_,_,_]
(_t6::Maybe Integer)
,(_t7::Maybe Integer)]
li = [Just 0,_,_,_,_
,_]
[Just 0,Just 1,Just 2,Just 3,Just 4,Just 5]
li = [Just 0,Just 1,Just 2,Just 3,Just 4,Just 5]
li = [Just 0,Just 1,Just 2,Just 3,Just 4,Just 5]
t = O (_t1::a)
()
t = O [(_t2::a) | (_t3::[a])]
t = O [(_t2::a)
| (_t3::[a])]
()
t = O [Just [(_t4::a),(_t5::a)] | (_t6::[Maybe [a]])]
t = O [Just [(_t4::a)
,(_t5::a)]
| (_t6::[Maybe [a]])]
()
t = O [Just [1,1] | (_t7::[Maybe [Integer]])]
t = O [Just [1,1]
| (_t7::[Maybe [Integer]])]
_t7 :: [Maybe [Integer]]
......@@ -2,17 +2,22 @@ a = False
a = False
b = (_t1::[Maybe Integer])
Just 1
b = [Just 1 | (_t2::[Maybe Integer])]
b = [Just 1
| (_t2::[Maybe Integer])]
4
b = [Just 1,(_t3::Maybe Integer),(_t4::Maybe Integer),(_t5::Maybe Integer)]
b = [Just 1,_,_,_]
b = [Just 1,(_t3::Maybe Integer),(_t4::Maybe Integer)
,(_t5::Maybe Integer)]
b = [Just 1,_,_
,_]
[Just 1,Just 2,Just 3,Just 4]
b = [Just 1,Just 2,Just 3,Just 4]
c = ListT
d = (_t6::[Type])
TupleT 1
d = [TupleT 1 | (_t7::[Type])]
d = [TupleT 1
| (_t7::[Type])]
4
d = [TupleT 1,(_t8::Type),(_t9::Type),(_t10::Type)]
d = [TupleT 1,(_t8::Type),(_t9::Type)
,(_t10::Type)]
[TupleT 1,TupleT 2,TupleT 3,TupleT 4]
d = [TupleT 1,TupleT 2,TupleT 3,TupleT 4]
t = O (_t1::a)
()
t = O [(_t2::a) | (_t3::[a])]
t = O [(_t2::a)
| (_t3::[a])]
()
t = O [(_t4::a),(_t5::a) | (_t6::[a])]
t = O [(_t4::a),(_t5::a)
| (_t6::[a])]
()
t = O [(_t7::Maybe [a]),
Just [(_t8::a),(_t9::a)] | (_t10::[Maybe [a]])]
Just [(_t8::a)
,(_t9::a)]
| (_t10::[Maybe [a]])]
()
t = O [(_t11::Maybe [Integer]),
Just [2,2] | (_t12::[Maybe [Integer]])]
t = O [(_t11::Maybe [Integer]),Just [2,2]
| (_t12::[Maybe [Integer]])]
()
t = O [Just [(_t13::Integer),(_t14::Integer)],
Just [2,2] | (_t15::[Maybe [Integer]])]
t = O [Just [(_t13::Integer)
,(_t14::Integer)],
Just [2,2]
| (_t15::[Maybe [Integer]])]
t = O (_t1::a)
_t1 :: GHC.Base.Unknown
()
t = O [(_t2::a) | (_t3::[a])]
t = O [(_t2::a)
| (_t3::[a])]
()
t = O [Just [(_t4::a),(_t5::a)] | (_t6::[Maybe [a]])]
t = O [Just [(_t4::a)
,(_t5::a)]
| (_t6::[Maybe [a]])]
_t4 :: GHC.Base.Unknown
o = O (_t1::a)
()
o = O [(_t2::a) | (_t3::[a])]
o = O [(_t2::a)
| (_t3::[a])]
()
3
o = O [0,(_t4::Integer),(_t5::Integer),(_t6::Integer)]
o = O [0,(_t4::Integer),(_t5::Integer)
,(_t6::Integer)]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment