Cleaned up names and paths in toy0 grammars.

3 files changed, 18 insertions, 3 deletions

diff --git a/examples/regulus/toy0/no-functor/Toy0.gf b/examples/regulus/toy0/no-functor/Toy0.gf
new file mode 100644
index 000000000..b1e2d6a40
--- /dev/null
+++ b/examples/regulus/toy0/no-functor/Toy0.gf
@@ -0,0 +1,15 @@
+-- toy0 grammar from Chapter 2 of the Regulus book
+abstract Toy0 = {
+
+  flags startcat=NP ;
+
+  cat 
+    NP ; 
+    Noun ; 
+    Spec ;
+
+  fun  
+    SpecNoun      : Spec -> Noun -> NP ;
+    One, Two      : Spec ;
+    Felis, Canis  : Noun ;
+}
diff --git a/examples/regulus/toy0/no-functor/Toy0Eng.gf b/examples/regulus/toy0/no-functor/Toy0Eng.gf
index 856da31c4..adc2068e1 100644
--- a/examples/regulus/toy0/no-functor/Toy0Eng.gf
+++ b/examples/regulus/toy0/no-functor/Toy0Eng.gf
@@ -1,4 +1,4 @@
---# -path=..:present:api:prelude
+--# -path=.:present:api:prelude
 concrete Toy0Eng of Toy0 = 
     open SyntaxEng, ParadigmsEng in {
 
diff --git a/examples/regulus/toy0/no-functor/Toy0Fin0.gf b/examples/regulus/toy0/no-functor/Toy0Fin.gf
index 9a1875124..4ebbf6f36 100644
--- a/examples/regulus/toy0/no-functor/Toy0Fin0.gf
+++ b/examples/regulus/toy0/no-functor/Toy0Fin.gf
@@ -1,6 +1,6 @@
---# -path=..:present:prelude
+--# -path=.:present:prelude
 
-concrete Toy0Fin0 of Toy0 = open SyntaxFin, ParadigmsFin in {
+concrete Toy0Fin of Toy0 = open SyntaxFin, ParadigmsFin in {
 
 lincat
   Spec = Det ;