(con unit ())
test: true [Evaluate "U"]
(con bool True)
test: false [Evaluate "U"]
(con bool False)
test: churchZero [Evaluate "U"]
(delay (lam a!0 (lam b!0 a!2)))
test: churchSucc [Evaluate "U"]
(lam a!0 (delay (lam b!0 (lam c!0 [ c!1 [ [ (force a!3) b!2 ] c!1 ] ]))))
test: overapplication [Evaluate "U"]
(con integer 2)
test: factorial [Evaluate "U"]
(con integer 1)
test: fibonacci [Evaluate "U"]
(con integer 1)
test: NatRoundTrip [Evaluate "U"]
(con integer 1)
test: ScottListSum [Evaluate "U"]
(con integer 2)
test: IfIntegers [Evaluate "U"]
(con integer 0)
test: ApplyAdd1 [Evaluate "U"]
(con integer 14)
test: ApplyAdd2 [Evaluate "U"]
(con integer -11)
running failing tests using U...
test: DivideByZero [Evaluate "U"]
userError
running succeeding tests using TL
test: succInteger [Evaluate "TL"]
(lam a!0 (con integer) [ [ (builtin addInteger) a!1 ] (con integer 1) ])
test: unitval [Evaluate "TL"]
(con unit ())
test: true [Evaluate "TL"]
(con bool True)
test: false [Evaluate "TL"]
(con bool False)
test: churchZero [Evaluate "TL"]
(abs A!0 (type) (lam b!0 A!2 (lam c!0 (fun A!3 A!3) b!2)))
test: churchSucc [Evaluate "TL"]
(lam
  a!0
  (all B!0 (type) (fun B!1 (fun (fun B!1 B!1) B!1)))
  (abs
    B!0
    (type)
    (lam c!0 B!2 (lam d!0 (fun B!3 B!3) [ d!1 [ [ { a!4 B!3 } c!2 ] d!1 ] ]))
  )
)
test: overapplication [Evaluate "TL"]
(con integer 0)
test: factorial [Evaluate "TL"]
(con integer 2)
test: fibonacci [Evaluate "TL"]
(con integer 3)
test: NatRoundTrip [Evaluate "TL"]
(con integer 1)
test: ScottListSum [Evaluate "TL"]
(con integer 3)
test: IfIntegers [Evaluate "TL"]
(con integer 2)
test: ApplyAdd1 [Evaluate "TL"]
(con integer -6)
test: ApplyAdd2 [Evaluate "TL"]
(con integer -2)
running failing tests using TL
test: DivideByZero [Evaluate "TL"]
userError
Typechecking succeeding tests
test: succInteger [Typecheck]
(fun (con integer) (con integer))
test: unitval [Typecheck]
(con unit)
test: true [Typecheck]
(con bool)
test: false [Typecheck]
(con bool)
test: churchZero [Typecheck]
(all A!0 (type) (fun A!1 (fun (fun A!1 A!1) A!1)))
test: churchSucc [Typecheck]
(fun
  (all A!0 (type) (fun A!1 (fun (fun A!1 A!1) A!1)))
  (all A!0 (type) (fun A!1 (fun (fun A!1 A!1) A!1)))
)
test: overapplication [Typecheck]
(con integer)
test: factorial [Typecheck]
(con integer)
test: fibonacci [Typecheck]
(con integer)
test: NatRoundTrip [Typecheck]
(con integer)
test: ScottListSum [Typecheck]
(con integer)
test: IfIntegers [Typecheck]
(con integer)
test: ApplyAdd1 [Typecheck]
(con integer)
test: ApplyAdd2 [Typecheck]
(con integer)