From 8ae41baccf6bc64f24d131a8b8649c6bd9316bf8 Mon Sep 17 00:00:00 2001
From: Ranjit Jhala <jhala@cs.ucsd.edu>
Date: Tue, 14 Jul 2015 17:02:58 -0500
Subject: [PATCH] add test for string literal size

---
 tests/neg/lit.hs | 4 ++++
 tests/pos/lit.hs | 4 ++++
 2 files changed, 8 insertions(+)
 create mode 100644 tests/neg/lit.hs
 create mode 100644 tests/pos/lit.hs

diff --git a/tests/neg/lit.hs b/tests/neg/lit.hs
new file mode 100644
index 0000000000..9f228334cb
--- /dev/null
+++ 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
new file mode 100644
index 0000000000..39ffac4d7b
--- /dev/null
+++ b/tests/pos/lit.hs
@@ -0,0 +1,4 @@
+module Lit where
+
+{-@ test :: {v:Int | v == 3} @-}
+test = length "cat"