blob: b6bde121fe01fe7b40b0d1f5f248704da2908d06 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
------------ desugared source code
fun
= \(a :: _) -> 'BoolCase
\_ -> _ :: _
(_rhs (fun (fromInt 0)))
(_rhs 'a')
(fromInt 0 == a)
main is not found
------------ trace
fun :: [32mforall a . ([32mNum [32m[32ma[0;32m[0;32m[0;32m, [32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> Char[0m
------------ tooltips
testdata/language-features/recursion/simplerec01.lc 1:1-1:4 forall a . (Num a, Eq a, Num a) => a -> Char
testdata/language-features/recursion/simplerec01.lc 1:9-1:12 Char
testdata/language-features/recursion/simplerec01.lc 1:9-2:14 Bool -> Char | _a -> _a
testdata/language-features/recursion/simplerec01.lc 2:9-2:12 _e
testdata/language-features/recursion/simplerec01.lc 2:13-2:14 _b
|