Improving unicode menus, e.g. in Letter.

1 files changed, 161 insertions, 0 deletions

diff --git a/examples/letter/letter.Sve.gf b/examples/letter/letter.Sve.gf
new file mode 100644
index 000000000..fc95cc8f6
--- /dev/null
+++ b/examples/letter/letter.Sve.gf
@@ -0,0 +1,161 @@
+--1 An Swedish Concrete Syntax for Business and Love Letters
+--
+-- This file defines the Swedish syntax of the grammar set 
+-- whose abstract syntax is $letter.Abs.gf$. 
+
+
+include letter.Abs.gf ;
+
+flags lexer=textlit ; unlexer=textlit ;
+
+printname Letter = "Brev" ;
+printname MkLetter = "brevmall" ;
+
+param Sex = masc | fem ;
+param Gen = en | ett ;
+param Num = sg | pl ;
+param Kas = nom | acc ;
+param DepNum = depnum | cnum Num ;
+
+lintype SS     = {s : Str} ;
+lintype SSDep  = {s : Num => Sex => Str} ;      -- needs Num and Sex
+lintype SSSrc  = {s : Str ; n : Num ; x : Sex} ; -- gives Num and Sex
+lintype SSSrc2 = {s : Num => Sex => Str ; n : DepNum ; x : Sex} ; -- gives and needs
+lintype SSDep2 = {s : DepNum => Sex => Num => Sex => Str} ; -- needs Auth's & Recp's
+lintype SSSrcGen  = {s : Str ; n : Num ; g : Gen} ; -- gives Num and Gen
+
+
+oper 
+  ss : Str -> SS = \s -> {s = s} ;
+
+  constNX : Str -> Num -> Sex -> SSSrc2 = \str,num,sex -> 
+    {s =  table {_ => table {_ => str}} ; n = cnum num ; x = sex} ;
+
+  dep2num : DepNum -> Num -> Num = \dn,n -> case dn of {
+    depnum  => n ; 
+    cnum cn => cn
+    } ;
+
+lincat
+Letter     = SS ;
+Recipient  = SSSrc ;
+Author     = SSSrc2 ;
+Message    = SSDep2 ;
+Heading    = SSSrc ;
+Ending     = SSSrc2 ;
+Mode       = SSDep2 ;
+Sentence   = SSDep2 ;
+NounPhrase = SSSrcGen ;
+Position   = SSDep ;
+
+lin
+MkLetter head mess end = 
+  ss (head.s ++ "," ++ "<p>" ++ 
+      mess.s ! end.n ! end.x ! head.n ! head.x ++ "." ++ "<p>" ++ 
+      end.s ! head.n ! head.x) ;
+
+DearRec rec   = {s = kaer ! rec.n ! rec.x ++ rec.s ; n = rec.n ; x = rec.x} ;
+PlainRec rec  = rec ;
+HelloRec rec  = {s = "Hej" ++ rec.s ; n = rec.n ; x = rec.x} ;
+JustHello rec = {s = "Hej"          ; n = rec.n ; x = rec.x} ;
+
+ModeSent mode sent = 
+  {s = 
+    table {na => table {xa => table {nr => table {xr => 
+      mode.s ! na ! xa ! nr ! xr ++ sent.s ! na ! xa ! nr ! xr}}}}
+  } ;
+PlainSent sent = sent ;
+
+FormalEnding auth = 
+  {s = table {n => table {x => 
+     ["Med vänlig hälsning <p>"] ++ auth.s ! n ! x}} ; n = auth.n ; x = auth.x} ;
+
+InformalEnding auth = 
+  {s = table {n => table {x => 
+     ["Med hälsningar <p>"] ++ auth.s ! n ! x}} ; n = auth.n ; x = auth.x} ;
+
+ColleaguesHe  = {s = kollega ! pl ; n = pl ; x = masc} ;
+ColleaguesShe = {s = kollega ! pl ; n = pl ; x = fem} ;
+ColleagueHe  = {s = kollega ! sg ; n = sg ; x = masc} ;
+ColleagueShe = {s = kollega ! sg ; n = sg ; x = fem} ;
+DarlingHe    = {s = "älskling"  ; n = sg ; x = masc} ;
+DarlingShe   = {s = "älskling"  ; n = sg ; x = fem} ;
+NameHe s   = {s = s.s  ; n = sg ; x = masc} ;
+NameShe s  = {s = s.s  ; n = sg ; x = fem} ;
+
+Honour = {s = 
+    table {na => table {xa => table {nr => table {xr => 
+      jag ! dep2num na nr ! nom ++ ["har äran att meddela"] ++ 
+      du ! nr ! acc ++ "att"}}}}
+  } ;
+
+Regret = {s = 
+    table {na => table {xa => table {nr => table {xr => 
+      jag ! dep2num na nr ! nom ++ ["måste tyvärr meddela"] ++ 
+      du ! nr ! acc ++ "att"}}}}
+  } ;
+
+
+President = constNX ["Presidenten"] sg masc ;
+Mother    = constNX ["Mamma"] sg fem ;
+Spouse    = {s = table {
+                   sg => table {fem => ["din man"] ; masc => ["din hustru"]} ; 
+                   pl => table {fem => ["era män"] ; masc => ["era hustrur"]}
+                 } ; n = depnum ; x = masc} ; -- sex does not matter here
+Dean      = constNX ["Dekanus"] sg masc ;
+Name s    = constNX s.s sg masc ; ---
+
+BePromoted pos = {s = 
+    table {na => table {xa => table {nr => table {xr => 
+      du ! nr ! nom ++ ["har blivit"] ++ befordrad ! nr ++
+      "till" ++ pos.s ! nr ! xr}}}}
+  } ;
+GoBankrupt np = {s = 
+    table {na => table {xa => table {nr => table {xr => 
+      np.s ++ ["har gått i konkurs"]}}}}
+  } ;
+ILoveYou = {s = 
+    table {na => table {xa => table {nr => table {xr => 
+      jag ! dep2num na nr ! nom ++ ["älskar"] ++ du ! nr ! acc}}}}
+  } ;
+    
+Company      = {s = ["vårt företag"]          ; n = sg ; g = ett} ;
+Competitor   = {s = ["vår värsta konkurrent"] ; n = sg ; g = en} ;
+OurCustomers = {s = ["våra kunder"] ; n = pl ; g = en} ;
+
+Senior = {s = table {n => table {x => ["äldre forskare"]}}} ;
+ProjectManager = {s = 
+  table {
+    sg => table {_ => "projektchef"} ;
+    pl => table {_ => "projektchefer"}
+        }} ;
+
+oper 
+
+kaer : 
+  Num => Sex => Str =
+  table {
+    sg => table {masc => "Käre" ; fem => "Kära"} ;
+    pl => table {_ => "Kära"}
+        } ;
+
+kollega : 
+  Num => Str =
+  table {sg => "kollega" ; pl => "kollegor"} ;
+
+befordrad : 
+  Num => Str =
+  table {sg => "befordrad" ; pl => "befordrade"} ;
+
+jag : 
+  Num => Kas => Str =
+  table {
+    sg => table {nom => "jag" ; acc => "mig"} ;
+    pl => table {nom => "vi"  ; acc => "oss"}
+        } ;
+du : 
+  Num => Kas => Str =
+  table {
+    sg => table {nom => "du" ; acc => "dig"} ;
+    pl => table {nom => "ni" ; acc => "er"}
+        } ;