Pinyin versions of chinese, named Cmn; mostly automatically generated

2026-09-24 03:06:02 -06:00 · 2012-10-15 12:51:55 +00:00
parent 8c7d3bb6e0
commit 39b53acb5c
28 changed files with 1812 additions and 2 deletions
@@ -0,0 +1,36 @@
+--# -path=.:../abstract:../common
+
+concrete SymbolCmn of Symbol = CatCmn ** open Prelude, ResCmn in {
+
+  flags coding = utf8;
+
+ lin
+  SymbPN i = i ;
+  IntPN i  = i ;
+  FloatPN i = i ;
+  NumPN i = i ;
+  CNIntNP cn i = {
+    s = cn.s ++ i.s ;
+    c = cn.c
+    } ;
+  CNSymbNP det cn xs = ss (det.s ++ cn.s ++ xs.s) ; ----  
+  CNNumNP cn i = {
+    s = cn.s ++ i.s ;
+    c = cn.c
+    } ;
+
+  SymbS sy = sy ; 
+  SymbNum sy = sy ;
+  SymbOrd sy = sy ;
+
+lincat 
+
+  Symb, [Symb] = SS ;
+
+lin
+  MkSymb s = s ;
+
+  BaseSymb = infixSS "" ;
+  ConsSymb = infixSS "" ;
+
+}