1 files changed, 16 insertions, 0 deletions
diff --git a/examples/regulus/toy0/no-functor/Toy0Fin.gf b/examples/regulus/toy0/no-functor/Toy0Fin.gf
new file mode 100644
index 000000000..4ebbf6f36
--- /dev/null
+++ b/examples/regulus/toy0/no-functor/Toy0Fin.gf
@@ -0,0 +1,16 @@
+--# -path=.:present:prelude
+
+concrete Toy0Fin of Toy0 = open SyntaxFin, ParadigmsFin in {
+
+lincat
+  Spec = Det ;
+  Noun = N ;
+  NP   = Utt ;
+lin
+  SpecNoun spec noun = mkUtt (SyntaxFin.mkNP spec noun) ;
+
+  One = mkDet one_Quant ;
+  Two = mkDet (mkNum n2_Numeral) ;
+  Felis = mkN "kissa" ;
+  Canis = mkN "koira" ;
+}