Fix punctuation to use SOFT_BIND and BIND in the whole RGL

2017-06-30 15:28:27 +02:00
parent f79e27c688
commit a49ce31f8d
26 changed files with 57 additions and 95 deletions
--- a/lib/src/catalan/CompatibilityCat.gf
+++ b/lib/src/catalan/CompatibilityCat.gf
@@ -6,6 +6,6 @@ concrete CompatibilityCat of Compatibility = CatCat ** open Prelude, CommonRoman

 lin
    NumInt n = {s = \\_ => n.s ; isNum = True ; n = Pl} ;
-    OrdInt n = {s = \\_ => n.s ++ "."} ; ---
+    OrdInt n = {s = \\_ => n.s ++ SOFT_BIND ++ "."} ; ---

 }