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 @@
+f y@(x:xs) = x:y
+
+g x@3 y = x + y
+
+--main has different type as expected
+--main  ::  {a} -> {b : 'Num ('MatVecScalarElem a)} -> {c : 'Num a} -> {d:'Int} -> {e : 'Num a}->'Bool
+main :: Bool
+main = g 3 1 == 5