Add unit test for literals (fails)

testsuite/lpgf/README.md

@@ -104,11 +104,17 @@ Max memory: 328.20 MB
 - size: 3.01 MB  Phrasebook.lpgf
 Max memory: 1.33 GB
 
-**Baseline LPGF String**
+**Baseline LPGF String instead of Text**
 - compile: 12.124689s
 - size: 3.01 MB  Phrasebook.lpgf
 Max memory: 1.34 GB
 
+**Baseline LPGF with impossible pruning**
+- compile: 7.406503s
+- size: 3.01 MB  Phrasebook.lpgf
+Max memory: 1.13 GB
+
+
 **B -extractStrings**
 - compile: 13.822735s
 - size: 5.78 MB  Phrasebook.lpgf

testsuite/lpgf/mkTreebank.sh

@@ -21,7 +21,7 @@ done < $TREES
 
 echo "Writing $TREEBANK"
 : > $TREEBANK
-gf --crun $ABSNAME.pgf < "$SCRIPT" > /dev/null
+gf --crun "$ABSNAME.pgf" < "$SCRIPT" > /dev/null
 
 echo "Removing $SCRIPT"
 rm "$SCRIPT"

testsuite/lpgf/unittests/Literals.gf

@@ -0,0 +1,7 @@
+abstract Literals = {
+  cat S ;
+  fun
+    mkString : String -> S ;
+    mkInt : Int -> S ;
+    mkFloat : Float -> S ;
+}

testsuite/lpgf/unittests/Literals.treebank

@@ -0,0 +1,9 @@
+Literals: mkString "hello"
+LiteralsCnc: hello
+
+Literals: mkInt 123
+LiteralsCnc: 123
+
+Literals: mkFloat 30.809000
+LiteralsCnc: 30.809000
+

testsuite/lpgf/unittests/Literals.trees

@@ -0,0 +1,3 @@
+mkString "hello"
+mkInt 123
+mkFloat 30.809

testsuite/lpgf/unittests/LiteralsCnc.gf

@@ -0,0 +1,7 @@
+concrete LiteralsCnc of Literals = open Prelude in {
+  lincat S = SS ;
+  lin
+    mkString s = s ;
+    mkInt s = s ;
+    mkFloat s = s ;
+}