1 files changed, 1 insertions, 1 deletions

diff --git a/testdata/language-features/as-pattern/as-pattern01.lc b/testdata/language-features/as-pattern/as-pattern01.lc
index 5bb6c9b0..491a3d50 100644
--- a/testdata/language-features/as-pattern/as-pattern01.lc
+++ b/testdata/language-features/as-pattern/as-pattern01.lc
@@ -5,4 +5,4 @@ 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
+main = g 3 1 == 5  -- TODO: (5 :: Int)