File tree Expand file tree Collapse file tree 2 files changed +10
-3
lines changed
Expand file tree Collapse file tree 2 files changed +10
-3
lines changed Original file line number Diff line number Diff line change @@ -121,7 +121,7 @@ concrete CatEus of Cat = CommonX ** open ResEus, Prelude in {
121121 N = ResEus. Noun ;
122122 N2 = ResEus. Noun2 ;
123123 N3 = ResEus. Noun3 ;
124- PN = ResEus. PNoun ;
124+ PN, LN , GN , SN = ResEus. PNoun ;
125125
126126
127127linref
Original file line number Diff line number Diff line change 4242 } ;
4343
4444 mkPN : Str -> PN = \ s -> lin PN (mkPNoun s) ;
45-
45+ mkLN : Str -> LN = \ s -> lin LN (mkPNoun s) ;
46+ mkGN : Str -> GN = \ s -> lin GN (mkPNoun s) ;
47+ mkSN : Str -> SN = \ s -> lin SN (mkPNoun s) ;
48+
4649 mkN2 = overload {
4750 mkN2 : Str -> N2 = \ s -> lin N2 (mkNoun2 s genitive) ;
4851 mkN2 : Str -> Case -> N2 = \ s, cas -> lin N2 (mkNoun2 s cas) ;
101104 mkV2A : Str -> V2A = \ s -> lin V2A (mkVerbDu s) ; -- Nor-nork
102105 mkVQ : Str -> VQ = \ s -> lin VQ (mkVerbDu s) ; -- Nor-nork
103106 mkVS : Str -> VS = \ s -> lin VS (mkVerbDu s) ; -- Nor-nork
104-
107+ mkVV : V -> VV = \ v -> v ;
105108
106109 mkV2V : Str -> V2V = \ s -> lin V2V (mkVerbDio s) ; -- ??? TODO check valency
107110 mkV2S : Str -> V2S = \ s -> lin V2S (mkVerbDio s) ; -- Nor-nori-nork: (mutilari) (neska datorrela) erantzun diot
@@ -154,6 +157,10 @@ oper
154157
155158 mkAdA : Str -> AdA = \ s -> lin AdA {s = s} ;
156159
160+ oper mkAdN : Str -> AdN = \ s -> lin AdN {s= s} ;
161+
162+ oper mkInterj : Str -> Interj = \ s -> lin Interj {s= s} ;
163+ oper mkVoc : Str -> Voc = \ s -> lin Voc {s= s} ;
157164
158165--.
159166-------------------------------------------------------------------------------
You can’t perform that action at this time.
0 commit comments