-- Test start at Tue Aug 29 10:15:37 PDT 2006
if (head [True, False]) then "true" else ['t','r', 'u', 'e'] -> "true"
if (head [True, False]) then 1 else 0 -> 1
if True then 1 else 0 -> 1
if True then (head [True, False]) else False -> True
if True then True else (head [False, True]) -> True
if True then "true" else ['t','r', 'u', 'e'] -> "true"
Type Error while checking term if_then_else(head((False,True)),"true","true")
In Term head((False,True))
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."(,)"("Prelude"."Bool","Prelude"."Bool"),a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."(,)"("Prelude"."Bool","Prelude"."Bool")
Error evaluating "if (head (False, True)) then "true" else ['t','r', 'u', 'e']"
Type Error while checking term if_then_else(1,1,0)
In Term if_then_else(1,1,0)
Expected Type is ->("Prelude"."Bool",->(a,->(a,a)))
Instead of the Actual Type ->("Prelude"."Int",->("Prelude"."Int",->("Prelude"."Int",a)))
Type Mismatch between "Prelude"."Bool" and "Prelude"."Int"
Error evaluating "if 1 then 1 else 0"
Type Error while checking term if_then_else(True,head((True,False)),False)
In Term head((True,False))
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."(,)"("Prelude"."Bool","Prelude"."Bool"),a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."(,)"("Prelude"."Bool","Prelude"."Bool")
Error evaluating "if True then (head (True, False)) else False"
Type Error while checking term if_then_else(True,True,head((False,True)))
In Term head((False,True))
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."(,)"("Prelude"."Bool","Prelude"."Bool"),a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."(,)"("Prelude"."Bool","Prelude"."Bool")
Error evaluating "if True then True else (head (False, True))"
Type Error while checking term if_then_else(True,('t','r','u','e'),"true")
In Term if_then_else(True,('t','r','u','e'),"true")
Expected Type is ->("Prelude"."Bool",->(a,->(a,a)))
Instead of the Actual Type ->("Prelude"."Bool",->("Prelude"."(,,,)"("Prelude"."Char","Prelude"."Char","Prelude"."Char","Prelude"."Char"),->("Prelude"."[]"("Prelude"."Char"),a)))
Type Mismatch between "Prelude"."(,,,)"("Prelude"."Char","Prelude"."Char","Prelude"."Char","Prelude"."Char") and "Prelude"."[]"("Prelude"."Char")
Error evaluating "if True then ('t','r', 'u', 'e') else ['t','r', 'u', 'e']"
(head [1,2])+3 -> 4
3+(head [1,2]) -> 4
1+2 -> 3
Type Error while checking term +(head((1,2)),3)
In Term head((1,2))
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."(,)"("Prelude"."Int","Prelude"."Int"),a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."(,)"("Prelude"."Int","Prelude"."Int")
Error evaluating "(head (1,2))+3"
Type Error while checking term +(3,head((1,2)))
In Term head((1,2))
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."(,)"("Prelude"."Int","Prelude"."Int"),a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."(,)"("Prelude"."Int","Prelude"."Int")
Error evaluating "3+(head (1,2))"
Type Error while checking term +(1,'a')
In Term +(1,'a')
Expected Type is ->("Prelude"."Int",->("Prelude"."Int","Prelude"."Int"))
Instead of the Actual Type ->("Prelude"."Int",->("Prelude"."Char",a))
Type Mismatch between "Prelude"."Int" and "Prelude"."Char"
Error evaluating "1+'a'"
(head [1,2])+3 -> 4
(head [(+), (-), (*)]) 1 2 -> 3
Type Error while checking term +(head((1,2)),3)
In Term head((1,2))
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."(,)"("Prelude"."Int","Prelude"."Int"),a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."(,)"("Prelude"."Int","Prelude"."Int")
Error evaluating "(head (1,2))+3"
Type Error while checking term apply(apply(head((+,-,*)),1),2)
In Term head((+,-,*))
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."(,,)"(->("Prelude"."Int",->("Prelude"."Int","Prelude"."Int")),->("Prelude"."Int",->("Prelude"."Int","Prelude"."Int")),->("Prelude"."Int",->("Prelude"."Int","Prelude"."Int"))),a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."(,,)"(->("Prelude"."Int",->("Prelude"."Int","Prelude"."Int")),->("Prelude"."Int",->("Prelude"."Int","Prelude"."Int")),->("Prelude"."Int",->("Prelude"."Int","Prelude"."Int")))
Error evaluating "(head ((+), (-), (*))) 1 2"
-1 -> -1
Type Error while checking term -(0,[1])
In Term -(0,[1])
Expected Type is ->("Prelude"."Int",->("Prelude"."Int","Prelude"."Int"))
Instead of the Actual Type ->("Prelude"."Int",->("Prelude"."[]"("Prelude"."Int"),a))
Type Mismatch between "Prelude"."Int" and "Prelude"."[]"("Prelude"."Int")
Error evaluating "-[1]"
map ((head [10])-) [1,2] -> [9,8]
map ("string"++) ["lit"] -> ["stringlit"]
Type Error while checking term map(apply(apply(leftSection,head(10)),-),[1,2])
In Term head(10)
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."Int",a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."Int"
Error evaluating "map ((head 10)-) [1,2]"
Type Error while checking term map(apply(apply(leftSection,'s'),++),["lit"])
In Term apply(apply(leftSection,'s'),++)
Expected Type is ->(->(a,b),->(a,b))
Instead of the Actual Type ->(->(->("Prelude"."Char",->(a,b)),->(a,b)),->(->("Prelude"."[]"(c),->("Prelude"."[]"(c),"Prelude"."[]"(c))),d))
Type Mismatch between "Prelude"."Char" and "Prelude"."[]"(0)
Error evaluating "map ('s'++) ["lit"]"
[(head [1,2]), 2] -> [1,2]
[1,(head [2,3]), 3] -> [1,2,3]
[(head [(+),(*)]), (-)] -> [+,-]
Type Error while checking term [head((1,2)),2]
In Term head((1,2))
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."(,)"("Prelude"."Int","Prelude"."Int"),a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."(,)"("Prelude"."Int","Prelude"."Int")
Error evaluating "[(head (1,2)), 2]"
Type Error while checking term [1,head((2,3)),3]
In Term head((2,3))
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."(,)"("Prelude"."Int","Prelude"."Int"),a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."(,)"("Prelude"."Int","Prelude"."Int")
Error evaluating "[1,(head (2,3)), 3]"
Type Error while checking term [head([+,*]),++]
In Term [head([+,*]),++]
Expected Type is ->(a,->("Prelude"."[]"(a),"Prelude"."[]"(a)))
Instead of the Actual Type ->(->("Prelude"."Int",->("Prelude"."Int","Prelude"."Int")),->("Prelude"."[]"(->("Prelude"."[]"(a),->("Prelude"."[]"(a),"Prelude"."[]"(a)))),b))
Type Mismatch between "Prelude"."Int" and "Prelude"."[]"(0)
Error evaluating "[(head [(+),(*)]), (++)]"
((head [1]), 2) -> (1,2)
(1,(head [2])) -> (1,2)
(1,(head [2]),3,4,5) -> (1,2,3,4,5)
Type Error while checking term (head(1),2)
In Term head(1)
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."Int",a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."Int"
Error evaluating "((head 1), 2)"
Type Error while checking term (1,head(2))
In Term head(2)
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."Int",a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."Int"
Error evaluating "(1,(head 2))"
Type Error while checking term (1,head(2),3,4,5)
In Term head(2)
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."Int",a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."Int"
Error evaluating "(1,(head 2),3,4,5)"
[(head [1])..10] -> [1,2,3,4,5,6,7,8,9,10]
[1,(head [3])..10] -> [1,3,5,7,9]
[1,3..(head [10])] -> [1,3,5,7,9]
Type Error while checking term enumFromTo(head(1),10)
In Term head(1)
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."Int",a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."Int"
Error evaluating "[(head 1)..10]"
Type Error while checking term enumFromTo('a',10)
In Term enumFromTo('a',10)
Expected Type is ->("Prelude"."Int",->("Prelude"."Int","Prelude"."[]"("Prelude"."Int")))
Instead of the Actual Type ->("Prelude"."Char",->("Prelude"."Int",a))
Type Mismatch between "Prelude"."Int" and "Prelude"."Char"
Error evaluating "['a'..10]"
Type Error while checking term enumFromThenTo(1,head(3),10)
In Term head(3)
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."Int",a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."Int"
Error evaluating "[1,(head 3)..10]"
Type Error while checking term enumFromThenTo(1,'a',10)
In Term enumFromThenTo(1,'a',10)
Expected Type is ->("Prelude"."Int",->("Prelude"."Int",->("Prelude"."Int","Prelude"."[]"("Prelude"."Int"))))
Instead of the Actual Type ->("Prelude"."Int",->("Prelude"."Char",->("Prelude"."Int",a)))
Type Mismatch between "Prelude"."Int" and "Prelude"."Char"
Error evaluating "[1,'a'..10]"
Type Error while checking term enumFromThenTo(1,2,head(10))
In Term head(10)
Expected Type is ->("Prelude"."[]"(a),a)
Instead of the Actual Type ->("Prelude"."Int",a)
Type Mismatch between "Prelude"."[]"(0) and "Prelude"."Int"
Error evaluating "[1,2..(head 10)]"
Type Error while checking term enumFromThenTo(1,3,'a')
In Term enumFromThenTo(1,3,'a')
Expected Type is ->("Prelude"."Int",->("Prelude"."Int",->("Prelude"."Int","Prelude"."[]"("Prelude"."Int"))))
Instead of the Actual Type ->("Prelude"."Int",->("Prelude"."Int",->("Prelude"."Char",a)))
Type Mismatch between "Prelude"."Int" and "Prelude"."Char"
Error evaluating "[1,3..'a']"
Type Error while checking term [2,True]
In Term [2,True]
Expected Type is ->(a,->("Prelude"."[]"(a),"Prelude"."[]"(a)))
Instead of the Actual Type ->("Prelude"."Int",->("Prelude"."[]"("Prelude"."Bool"),a))
Type Mismatch between "Prelude"."Int" and "Prelude"."Bool"
Error evaluating "2:[True]"
Type Error while checking term [True,1]
In Term [True,1]
Expected Type is ->(a,->("Prelude"."[]"(a),"Prelude"."[]"(a)))
Instead of the Actual Type ->("Prelude"."Bool",->("Prelude"."[]"("Prelude"."Int"),a))
Type Mismatch between "Prelude"."Bool" and "Prelude"."Int"
Error evaluating "True:[1]"
Type Error while checking term fst(())
In Term fst(())
Expected Type is ->("Prelude"."(,)"(a,b),a)
Instead of the Actual Type ->("Prelude"."()",a)
Type Mismatch between "Prelude"."(,)"(0,1) and "Prelude"."()"
Error evaluating "fst ()"
Type Error while checking term fst(1)
In Term fst(1)
Expected Type is ->("Prelude"."(,)"(a,b),a)
Instead of the Actual Type ->("Prelude"."Int",a)
Type Mismatch between "Prelude"."(,)"(0,1) and "Prelude"."Int"
Error evaluating "fst (1)"
Type Error while checking term fst((1,2,3))
In Term fst((1,2,3))
Expected Type is ->("Prelude"."(,)"(a,b),a)
Instead of the Actual Type ->("Prelude"."(,,)"("Prelude"."Int","Prelude"."Int","Prelude"."Int"),a)
Type Mismatch between "Prelude"."(,)"(0,1) and "Prelude"."(,,)"("Prelude"."Int","Prelude"."Int","Prelude"."Int")
Error evaluating "fst (1,2,3)"
Type Error while checking term snd(())
In Term snd(())
Expected Type is ->("Prelude"."(,)"(a,b),b)
Instead of the Actual Type ->("Prelude"."()",a)
Type Mismatch between "Prelude"."(,)"(0,1) and "Prelude"."()"
Error evaluating "snd ()"
Type Error while checking term snd(1)
In Term snd(1)
Expected Type is ->("Prelude"."(,)"(a,b),b)
Instead of the Actual Type ->("Prelude"."Int",a)
Type Mismatch between "Prelude"."(,)"(0,1) and "Prelude"."Int"
Error evaluating "snd (1)"
Type Error while checking term snd((1,2,3))
In Term snd((1,2,3))
Expected Type is ->("Prelude"."(,)"(a,b),b)
Instead of the Actual Type ->("Prelude"."(,,)"("Prelude"."Int","Prelude"."Int","Prelude"."Int"),a)
Type Mismatch between "Prelude"."(,)"(0,1) and "Prelude"."(,,)"("Prelude"."Int","Prelude"."Int","Prelude"."Int")
Error evaluating "snd (1,2,3)"
-- Test end at Tue Aug 29 10:15:38 PDT 2006