blob: 4cd3d62ead12c94505e2d477af1b46ae93313a47 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
Desugared:
Test.f :: for all d. d -> d
Test.f = /\ o88 -> \ x.104 -> x.104
Test.g :: for all d, e, f. d -> e -> f -> f
Test.g =
/\ o97 o98 t102 -> \ x.106 y.107 z.108 ->
let
fail.109 =
(error t102)
"\"ds002.hs\", line 16: pattern-matching failure [function binding]\n"S
in (Test.f t102) z.108
|
