From 6ae3322b373c52e59fb34360345d1c1e35049c5f Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 7 Nov 2003 14:50:25 +0000
Subject: [PATCH] Some patches.

---
 grammars/prelude/Coordination.gf       | 4 ++--
 grammars/resource/english/English.gf   | 2 ++
 grammars/resource/english/Paradigms.gf | 2 ++
 grammars/resource/english/ResEng.gf    | 2 ++
 4 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/grammars/prelude/Coordination.gf b/grammars/prelude/Coordination.gf
index d8265e3c2..6ed4af791 100644
--- a/grammars/prelude/Coordination.gf
+++ b/grammars/prelude/Coordination.gf
@@ -69,9 +69,9 @@ oper
 
   conjunctDistrTable2 : 
     (P,Q : Type) -> ConjunctionDistr -> ListTable2 P Q -> {s : P => Q => Str} = 
-    \_,_,or,xs ->
+    \P,Q,or,xs ->
     {s = 
-    table {p => table {q => or.s1++ xs.s1 ! p ! q ++ or.s2 ++ xs.s2 ! p ! q}}} ;
+    table P {p => table Q {q => or.s1++ xs.s1 ! p ! q ++ or.s2 ++ xs.s2 ! p ! q}}} ;
 
   ListTable3 : Type -> Type -> Type -> Type = \P,Q,R -> 
     {s1,s2 : P => Q => R => Str} ; 
diff --git a/grammars/resource/english/English.gf b/grammars/resource/english/English.gf
index 45b64d72f..6a3d4b9f6 100644
--- a/grammars/resource/english/English.gf
+++ b/grammars/resource/english/English.gf
@@ -1 +1,3 @@
+--# -path=.:../abstract:../../prelude
+
 resource English = reuse ResEng ;
diff --git a/grammars/resource/english/Paradigms.gf b/grammars/resource/english/Paradigms.gf
index 62eadfd0a..478377598 100644
--- a/grammars/resource/english/Paradigms.gf
+++ b/grammars/resource/english/Paradigms.gf
@@ -1,3 +1,5 @@
+--# -path=.:../abstract:../../prelude
+
 --1 English Lexical Paradigms
 --
 -- Aarne Ranta 2003
diff --git a/grammars/resource/english/ResEng.gf b/grammars/resource/english/ResEng.gf
index 9e2675008..1be1f7d57 100644
--- a/grammars/resource/english/ResEng.gf
+++ b/grammars/resource/english/ResEng.gf
@@ -1,3 +1,5 @@
+--# -path=.:../abstract:../../prelude
+
 --1 The Top-Level English Resource Grammar
 --
 -- Aarne Ranta 2002 -- 2003