add test for string literal size

ucsd-progsys · Jul 14, 2015 · 8ae41ba · 8ae41ba
1 parent c681594
commit 8ae41ba
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/tests/neg/lit.hs b/tests/neg/lit.hs
@@ -0,0 +1,4 @@
+module Lit where
+
+{-@ test :: {v:Int | v == 30} @-}
+test = length "cat"
diff --git a/tests/pos/lit.hs b/tests/pos/lit.hs
@@ -0,0 +1,4 @@
+module Lit where
+
+{-@ test :: {v:Int | v == 3} @-}
+test = length "cat"