resources and new instantiation syntax

2005-02-04 19:17:57 +00:00
parent 37430796a7
commit 9dee30b9b8
34 changed files with 1115 additions and 471 deletions
--- a/resource/scandinavian/TypesScand.gf
+++ b/resource/scandinavian/TypesScand.gf
@@ -96,9 +96,16 @@ oper
 oper Verbum : Type = {s : VerbForm => Str} ;

 param
-  VFin ;
- 
-  VInf ;
+  VFin =
+   Pres Voice
+ | Pret Voice
+ | Imper Voice ;
+
+  VInf = 
+   Inf Voice
+ | Supin Voice
+ | PtPret AdjFormPos Case
+ ;

  VerbForm = 
     VF VFin