Remove the grammars directory. It was full of old grammars that don't compile these days. See the old source distributions if you want them.

24 files changed, 0 insertions, 139 deletions

diff --git a/grammars/multiple/City.gf b/grammars/multiple/City.gf
deleted file mode 100644
index b8023ac84..000000000
--- a/grammars/multiple/City.gf
+++ /dev/null
@@ -1,7 +0,0 @@
-abstract City = {
-  cat 
-    City ;
-  fun
-    MkCity : String -> City ;
-} ;    
-
diff --git a/grammars/multiple/CityEng.gf b/grammars/multiple/CityEng.gf
deleted file mode 100644
index 8c67ab675..000000000
--- a/grammars/multiple/CityEng.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-concrete CityEng of City = open Prelude in {
-  lin
-    MkCity s = s ;
-} ;    
-
diff --git a/grammars/multiple/Math.gf b/grammars/multiple/Math.gf
deleted file mode 100644
index 6e6a48db6..000000000
--- a/grammars/multiple/Math.gf
+++ /dev/null
@@ -1,7 +0,0 @@
-abstract Math = {
-  cat 
-    Number ;
-  fun
-    MkNumber : Int -> Number ;
-} ;    
-
diff --git a/grammars/multiple/MathEng.gf b/grammars/multiple/MathEng.gf
deleted file mode 100644
index 9d9bf3414..000000000
--- a/grammars/multiple/MathEng.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-concrete MathEng of Math = open Prelude in {
-  lin
-    MkNumber i = i ;
-} ;    
-
diff --git a/grammars/multiple/System.gf b/grammars/multiple/System.gf
deleted file mode 100644
index b3587c106..000000000
--- a/grammars/multiple/System.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-abstract System = {
-  cat Reply ;
-  fun Bye : Reply ;
-}
diff --git a/grammars/multiple/SystemCity.gf b/grammars/multiple/SystemCity.gf
deleted file mode 100644
index 08196f73d..000000000
--- a/grammars/multiple/SystemCity.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-abstract SystemCity = System, City ** {
-  fun
-    RDistance : City -> City -> Int -> Reply ;
-} ;
\ No newline at end of file
diff --git a/grammars/multiple/SystemCityEng.gf b/grammars/multiple/SystemCityEng.gf
deleted file mode 100644
index ddf15248a..000000000
--- a/grammars/multiple/SystemCityEng.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-concrete SystemCityEng of SystemCity = SystemEng, CityEng ** open
-  Prelude in {
-  lin
-    RDistance x y d = 
-      ss (["the distance from"] ++ x.s ++ "to" ++ y.s ++ "is" ++ d.s) ;
-} ;
diff --git a/grammars/multiple/SystemEng.gf b/grammars/multiple/SystemEng.gf
deleted file mode 100644
index 96f6d80c7..000000000
--- a/grammars/multiple/SystemEng.gf
+++ /dev/null
@@ -1,3 +0,0 @@
-concrete SystemEng of System = open Prelude in {
-  lin Bye = ss "bye" ;
-}
diff --git a/grammars/multiple/SystemMath.gf b/grammars/multiple/SystemMath.gf
deleted file mode 100644
index 7e2173111..000000000
--- a/grammars/multiple/SystemMath.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-abstract SystemMath = System, Math ** {
-  fun
-    RSum : Number -> Number -> Int -> Reply ;
-} ;
diff --git a/grammars/multiple/SystemMathEng.gf b/grammars/multiple/SystemMathEng.gf
deleted file mode 100644
index 11aca7952..000000000
--- a/grammars/multiple/SystemMathEng.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-concrete SystemMathEng of SystemMath = SystemEng, MathEng ** open
-  Prelude in {
-  lin
-    RSum x y d = 
-      ss (["the sum of"] ++ x.s ++ "and" ++ y.s ++ "is" ++ d.s) ;
-} ;
diff --git a/grammars/multiple/Top.gf b/grammars/multiple/Top.gf
deleted file mode 100644
index 67170f30a..000000000
--- a/grammars/multiple/Top.gf
+++ /dev/null
@@ -1,7 +0,0 @@
-abstract Top = User, System ** {
-  cat 
-    Move ;
-  fun
-    MUser : Query -> Move ;
-    MSystem : Reply -> Move ; 
-}
diff --git a/grammars/multiple/TopCity.gf b/grammars/multiple/TopCity.gf
deleted file mode 100644
index 894142b18..000000000
--- a/grammars/multiple/TopCity.gf
+++ /dev/null
@@ -1 +0,0 @@
-abstract TopCity = Top, UserCity, SystemCity ** {} ;
diff --git a/grammars/multiple/TopCityEng.gf b/grammars/multiple/TopCityEng.gf
deleted file mode 100644
index ef1f01ade..000000000
--- a/grammars/multiple/TopCityEng.gf
+++ /dev/null
@@ -1,3 +0,0 @@
---# -path=.:../prelude
-
-concrete TopCityEng of TopCity = TopEng, UserCityEng, SystemCityEng ** {} ;
diff --git a/grammars/multiple/TopEng.gf b/grammars/multiple/TopEng.gf
deleted file mode 100644
index 6265ed2c3..000000000
--- a/grammars/multiple/TopEng.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-
-concrete TopEng of Top = UserEng, SystemEng ** open Prelude in {
-  lin
-    MUser q = q ;
-    MSystem r = r ;
-}
diff --git a/grammars/multiple/TopMath.gf b/grammars/multiple/TopMath.gf
deleted file mode 100644
index 997e7299d..000000000
--- a/grammars/multiple/TopMath.gf
+++ /dev/null
@@ -1 +0,0 @@
-abstract TopMath = Top, UserMath, SystemMath ** {} ;
diff --git a/grammars/multiple/TopMathEng.gf b/grammars/multiple/TopMathEng.gf
deleted file mode 100644
index 5f803b33a..000000000
--- a/grammars/multiple/TopMathEng.gf
+++ /dev/null
@@ -1,3 +0,0 @@
---# -path=.:../prelude
-
-concrete TopMathEng of TopMath = TopEng, UserMathEng, SystemMathEng ** {} ;
diff --git a/grammars/multiple/User.gf b/grammars/multiple/User.gf
deleted file mode 100644
index 6822d2e75..000000000
--- a/grammars/multiple/User.gf
+++ /dev/null
@@ -1,7 +0,0 @@
-abstract User = {
-  cat
-    Query ;
-  fun
-    QQuit : Query ;
-} ;
-
diff --git a/grammars/multiple/UserCity.gf b/grammars/multiple/UserCity.gf
deleted file mode 100644
index ee650421d..000000000
--- a/grammars/multiple/UserCity.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-abstract UserCity = User, City ** {
-  fun
-    QDistance : City -> City -> Query ;
-} ;
-
diff --git a/grammars/multiple/UserCityEng.gf b/grammars/multiple/UserCityEng.gf
deleted file mode 100644
index a30b81510..000000000
--- a/grammars/multiple/UserCityEng.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-concrete UserCityEng of UserCity = UserEng, CityEng ** open Prelude in
-  {
-  lin
-    QDistance x y = ss (["what is the distance from"] ++ x.s ++ "to" ++ y.s) ;
-  }
-
diff --git a/grammars/multiple/UserEng.gf b/grammars/multiple/UserEng.gf
deleted file mode 100644
index fcc233ddd..000000000
--- a/grammars/multiple/UserEng.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-concrete UserEng of User = open Prelude in {
-  lin
-    QQuit = ss ["that's enough"] ;
-} ;
-
diff --git a/grammars/multiple/UserMath.gf b/grammars/multiple/UserMath.gf
deleted file mode 100644
index 0bb6ebf80..000000000
--- a/grammars/multiple/UserMath.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-abstract UserMath = User, Math ** {
-  fun
-    QSum : Number -> Number -> Query ;
-} ;
-
diff --git a/grammars/multiple/UserMathEng.gf b/grammars/multiple/UserMathEng.gf
deleted file mode 100644
index c1a190b47..000000000
--- a/grammars/multiple/UserMathEng.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-concrete UserMathEng of UserMath = UserEng, MathEng ** open Prelude in
-  {
-  lin
-    QSum x y = ss (["what is the sum of"] ++ x.s ++ "and" ++ y.s) ;
-  }
-
diff --git a/grammars/multiple/UserUnionCity.gf b/grammars/multiple/UserUnionCity.gf
deleted file mode 100644
index 68115c626..000000000
--- a/grammars/multiple/UserUnionCity.gf
+++ /dev/null
@@ -1 +0,0 @@
-abstract UserUnionCity = union User, City ;
diff --git a/grammars/multiple/map.txt b/grammars/multiple/map.txt
deleted file mode 100644
index 1700f967c..000000000
--- a/grammars/multiple/map.txt
+++ /dev/null
@@ -1,32 +0,0 @@
-Using multiple inheritance in GF. AR 15/9/2004.
-
-The following diagrams show inheritance between abstract syntaxes in two simple systems.
-
-                   TopCity
-                  /   |    \
-                 /    |     \
-      SystemCity   UserCity  Top
-        /      \   /     \
-  System       City      User
-
-
-                   TopMath
-                  /   |    \
-                 /    |     \
-      SystemMath   UserMath  Top
-        /      \   /     \
-  System       Math      User
-
-
-Idea of each module: 
-
-  User            -- User's moves on any domain
-  System          -- System's moves on any domain
-  Top             -- grammar covering both kinds of moves
-  X = Math, City  -- possible domains
-  UserX           -- User's domain specific moves
-  SystemX         -- System's domain specific moves
-  TopX            -- all moves on the domain X
-
-In parallel to the abstract syntax hierarchies, we have of course
-hierarchies of concrete syntaxes for any language; this directory contains Eng.