summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values/case01.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/basic-values/case01.out')
-rw-r--r--testdata/language-features/basic-values/case01.out7
1 files changed, 6 insertions, 1 deletions
diff --git a/testdata/language-features/basic-values/case01.out b/testdata/language-features/basic-values/case01.out
index 8b4334e6..7a952e7a 100644
--- a/testdata/language-features/basic-values/case01.out
+++ b/testdata/language-features/basic-values/case01.out
@@ -1,11 +1,16 @@
1main is not found
1------------ desugared source code 2------------ desugared source code
2value1 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) 3value1 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil)
4
3value2 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) 5value2 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil)
6
4value3 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) 7value3 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil)
8
5value4 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) 9value4 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil)
10
6value5 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) 11value5 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil)
12
7value6 = _rhs ((\_ -> HNil) HNil) 13value6 = _rhs ((\_ -> HNil) HNil)
8main is not found
9------------ trace 14------------ trace
10value1 :: () 15value1 :: ()
11value2 :: () 16value2 :: ()