summaryrefslogtreecommitdiff
path: root/ghc/compiler/tests/deSugar/ds004.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'ghc/compiler/tests/deSugar/ds004.stderr')
-rw-r--r--ghc/compiler/tests/deSugar/ds004.stderr31
1 files changed, 31 insertions, 0 deletions
diff --git a/ghc/compiler/tests/deSugar/ds004.stderr b/ghc/compiler/tests/deSugar/ds004.stderr
new file mode 100644
index 0000000000..5890e923b5
--- /dev/null
+++ b/ghc/compiler/tests/deSugar/ds004.stderr
@@ -0,0 +1,31 @@
+Desugared:
+{- plain CoRec -}
+Test.nodups :: for all d. <Eq d> -> [d] -> [d]
+Test.nodups =
+ /\ t95 -> \ dict.90 ds.103 ->
+ let
+ fail.104 =
+ (error [t95])
+ "\"ds004.hs\", line 9: pattern-matching failure [function binding]\n"S
+ in
+ case ds.103 of {
+ Nil -> Nil! t95
+ (:) x.105 ds.106 ->
+ case ds.106 of {
+ Nil -> :! t95 x.105 (Nil! t95)
+ (:) x.107 xs.108 ->
+ let y.109 = x.105
+ in
+ case ((== t95) dict.90 y.109 x.107) of {
+ True ->
+ (Test.nodups t95) dict.90 ((: t95) x.107 xs.108)
+ False ->
+ (: t95)
+ y.109
+ ((Test.nodups t95)
+ dict.90 ((: t95) x.107 xs.108))
+ }
+ }
+ }
+{- end plain CoRec -}
+