blob: 0db25c87ea98799c092c055f9a2f2acdf91ea51d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
Desugared:
Test.v :: for all d. <Num d> -> d
Test.v =
/\ t78 -> \ dict.79 ->
let dict.77 = dict.79
in
let
{- CoRec -}
v.75 =
let
fail.81 =
(error t78)
"\"ds006.hs\", line 6: pattern-matching failure [function binding]\n"S
in
(+ t78)
dict.77 v.75 ((fromInteger t78) dict.79 (MkInteger! 1##))
{- end CoRec -}
in v.75
|
