added Predef.SOFT_BIND. This special token allows zero or more spaces between ordinary tokens. It is also used in the English RGL to attach the commas to the previous word.

2013-11-12 09:54:57 +00:00
parent 72f6c2cfdd
commit 26b65e5785
10 changed files with 17 additions and 20 deletions
--- a/src/english/NumeralEng.gf
+++ b/src/english/NumeralEng.gf
@@ -69,7 +69,7 @@ lin pot3plus n m = {

  oper
    commaIf : DTail -> Str = \t -> case t of {
-      T3 => "," ;
+      T3 => frontComma ;
      _ => []
      } ;