diff --git a/testsuite/compiler/typecheck/abstract/LitAbs.gf b/testsuite/compiler/typecheck/abstract/LitAbs.gf
new file mode 100644
index 000000000..03f850232
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LitAbs.gf
@@ -0,0 +1,15 @@
+abstract LitAbs = {
+
+cat CStr String ;
+    CInt Int ;
+    CFloat Float ;
+
+data empty : CStr "" ;
+     null  : CStr [] ;
+     other : CStr "other" ;
+
+data zero : CInt 0 ;
+
+data pi : CFloat 3.14 ;
+
+}
\ No newline at end of file
diff --git a/testsuite/compiler/typecheck/abstract/LitAbs.gfs b/testsuite/compiler/typecheck/abstract/LitAbs.gfs
new file mode 100644
index 000000000..ce10daa20
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LitAbs.gfs
@@ -0,0 +1,6 @@
+i -src testsuite/compiler/typecheck/abstract/LitAbs.gf
+ai null
+ai empty
+ai other
+ai zero
+ai pi
\ No newline at end of file
diff --git a/testsuite/compiler/typecheck/abstract/LitAbs.gfs.gold b/testsuite/compiler/typecheck/abstract/LitAbs.gfs.gold
new file mode 100644
index 000000000..83dda9094
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LitAbs.gfs.gold
@@ -0,0 +1,5 @@
+data null : CStr ""

+data empty : CStr ""

+data other : CStr "other"

+data zero : CInt 0

+data pi : CFloat 3.14