summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values/def04.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-03 16:25:31 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-03 16:25:31 +0200
commit9c258737a3a4cfabec6804947ccf64a552db4c27 (patch)
treea60a28c73e6633767421bdd0ee91f65c07ec25a7 /testdata/language-features/basic-values/def04.out
parent28279936966115e65bfc02bd1cab564af947cf63 (diff)
use less wildcards
Diffstat (limited to 'testdata/language-features/basic-values/def04.out')
-rw-r--r--testdata/language-features/basic-values/def04.out8
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/language-features/basic-values/def04.out b/testdata/language-features/basic-values/def04.out
index 18c66ed9..e52f9d64 100644
--- a/testdata/language-features/basic-values/def04.out
+++ b/testdata/language-features/basic-values/def04.out
@@ -1,14 +1,14 @@
1------------ desugared source code 1------------ desugared source code
2fun 2fun
3 = \(a :: _) -> case'Bool 3 = \(a :: _) -> case'Bool
4 (\_ -> _ :: _) 4 (\_ -> _)
5 (case'Bool (\_ -> _ :: _) (_rhs '_') (_rhs '2') (fromInt 2 == a)) 5 (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a))
6 (_rhs '1') 6 (_rhs '1')
7 (fromInt 1 == a) 7 (fromInt 1 == a)
8fun2 8fun2
9 = \(a :: _) _ -> case'Bool 9 = \(a :: _) _ -> case'Bool
10 (\_ -> _ :: _) 10 (\_ -> _)
11 (case'Bool (\_ -> _ :: _) (_rhs '_') (_rhs '2') (fromInt 2 == a)) 11 (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a))
12 (_rhs '1') 12 (_rhs '1')
13 (fromInt 1 == a) 13 (fromInt 1 == a)
14main is not found 14main is not found