From 73e401cee21fa61dcf9900d8d2b40ddd39f4e612 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 27 Jun 2008 11:59:03 +0000
Subject: updated synopsis, removed GF/devel/

---
 devel/compiler/ex.src | 45 ---------------------------------------------
 1 file changed, 45 deletions(-)
 delete mode 100644 devel/compiler/ex.src

(limited to 'devel/compiler/ex.src')

diff --git a/devel/compiler/ex.src b/devel/compiler/ex.src
deleted file mode 100644
index 241fd96b4..000000000
--- a/devel/compiler/ex.src
+++ /dev/null
@@ -1,45 +0,0 @@
-param Num = Sg | Pl ;
-param Gen = Masc | Fem ;
-
-param AG = A Num Gen ;
-
-oper Agr = {g#0 : Gen ; n#1 : Num} ;
-
-oper CN = {s#1 : Num -> Str ; g#0 : Gen} ;
-oper NP = {s#1 : Str ; a#0 : Agr} ;
-
-oper artDef : Gen -> Str = \g -> table Gen {
-  (Masc) => "le" ;
-  (Fem) => "la"
-} ! $g ;
-
-lin Voiture : CN = {
-  s#1 = table Num {
-    (Sg) => "voiture" ;
-    (Pl) => "voitures"
-  } ;
-  g#0 = (Fem@)
-} ;
-
-
-lin Bus : CN = {
-  s#1 = table Num {$x => "bus"} ;
-  g#0 = (Masc@)
-} ;
-
-lin Indef : CN -> NP = \cn -> {
-  s#1 = table Gen {
-        (Masc) => "un" ;
-        $x     => "une"
-        } ! $cn.g#0 ++ $cn.s#1 ! (Sg@) ;
-  a#0 = {g#0 = $cn.g#0 ; n#1 = (Sg@)} 
-} ;
-
-
-lin Def : CN -> NP = \cn -> {
-  s#1 = &artDef $cn.g#0 ++ $cn.s#1 ! (Sg@) ;
-  a#0 = {g#0 = $cn.g#0 ; n#1 = (Sg@)} 
-} ;
-
-lin UneVoiture : NP = Indef Voiture ;
-lin LaVoiture : NP = Def Voiture ;
-- 
cgit v1.2.3