diff options
author | Andor Penzes <andor.penzes@gmail.com> | 2016-02-02 22:13:50 +0100 |
---|---|---|
committer | Andor Penzes <andor.penzes@gmail.com> | 2016-02-02 22:13:50 +0100 |
commit | 4e9d189f117a2cfdf55f48ace81d25af71eb126d (patch) | |
tree | 9c19589346c5f4c90eacd97440df6527736d1481 /testdata/language-features/as-pattern/as-pattern01.lc | |
parent | a743b6332b73d8427af7f721e98648cb33a5c248 (diff) |
Add some as-patterns tests.
Diffstat (limited to 'testdata/language-features/as-pattern/as-pattern01.lc')
-rw-r--r-- | testdata/language-features/as-pattern/as-pattern01.lc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testdata/language-features/as-pattern/as-pattern01.lc b/testdata/language-features/as-pattern/as-pattern01.lc new file mode 100644 index 00000000..5bb6c9b0 --- /dev/null +++ b/testdata/language-features/as-pattern/as-pattern01.lc | |||
@@ -0,0 +1,8 @@ | |||
1 | f y@(x:xs) = x:y | ||
2 | |||
3 | g x@3 y = x + y | ||
4 | |||
5 | --main has different type as expected | ||
6 | --main :: {a} -> {b : 'Num ('MatVecScalarElem a)} -> {c : 'Num a} -> {d:'Int} -> {e : 'Num a}->'Bool | ||
7 | main :: Bool | ||
8 | main = g 3 1 == 5 | ||