added tests for literals in the abstract syntax

2026-07-05 13:22:46 -06:00 · 2010-02-01 08:58:46 +00:00
parent b625b416ee
commit 884c55f7e6
3 changed files with 26 additions and 0 deletions
@@ -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 ;
+
+}
@@ -0,0 +1,6 @@
+i -src testsuite/compiler/typecheck/abstract/LitAbs.gf
+ai null
+ai empty
+ai other
+ai zero
+ai pi
@@ -0,0 +1,5 @@
+data null : CStr ""
+
+data empty : CStr ""
+
+data other : CStr "other"