Remove CStr [] which causes error, update gold

3 files changed, 13 insertions, 7 deletions

diff --git a/testsuite/compiler/typecheck/abstract/LitAbs.gf b/testsuite/compiler/typecheck/abstract/LitAbs.gf
index 03f850232..08230b8cf 100644
--- a/testsuite/compiler/typecheck/abstract/LitAbs.gf
+++ b/testsuite/compiler/typecheck/abstract/LitAbs.gf
@@ -5,7 +5,7 @@ cat CStr String ;
     CFloat Float ;

 

 data empty : CStr "" ;

-     null  : CStr [] ;

+    -- null  : CStr [] ; -- Commented out by IL 06/2021: causes parse error

      other : CStr "other" ;

 

 data zero : CInt 0 ;

diff --git a/testsuite/compiler/typecheck/abstract/LitAbs.gfs b/testsuite/compiler/typecheck/abstract/LitAbs.gfs
index ce10daa20..71c4cca29 100644
--- a/testsuite/compiler/typecheck/abstract/LitAbs.gfs
+++ b/testsuite/compiler/typecheck/abstract/LitAbs.gfs
@@ -1,5 +1,4 @@
 i -src testsuite/compiler/typecheck/abstract/LitAbs.gf

-ai null

 ai empty

 ai other

 ai zero

diff --git a/testsuite/compiler/typecheck/abstract/LitAbs.gfs.gold b/testsuite/compiler/typecheck/abstract/LitAbs.gfs.gold
index 83dda9094..2d1e93979 100644
--- a/testsuite/compiler/typecheck/abstract/LitAbs.gfs.gold
+++ b/testsuite/compiler/typecheck/abstract/LitAbs.gfs.gold
@@ -1,5 +1,12 @@
-data null : CStr ""


-data empty : CStr ""


-data other : CStr "other"


-data zero : CInt 0


-data pi : CFloat 3.14


+data empty : CStr "" ;

+Probability: 0.5

+

+data other : CStr "other" ;

+Probability: 0.5

+

+data zero : CInt 0 ;

+Probability: 1.0

+

+data pi : CFloat 3.14 ;

+Probability: 1.0

+