1
0
forked from GitHub/gf-core

Added ParadigmsEng.mkV : Str -> V -> V, which adds a prefix to an existing verb.

This commit is contained in:
bjorn
2008-11-26 13:33:22 +00:00
parent 93222bb0ed
commit 97a5fbca79

View File

@@ -247,7 +247,12 @@ oper
-- the third person singular present, the past indicative, and the -- the third person singular present, the past indicative, and the
-- past and present participles. -- past and present participles.
mkV : (go, goes, went, gone, going : Str) -> V mkV : (go, goes, went, gone, going : Str) -> V ;
-- Adds a prefix to an exisiting verb. This is most useful to create
-- prefix-variants of irregular verbs from $IrregEng$, e.g. "undertake".
mkV : Str -> V -> V ;
}; };
-- Verbs with a particle. -- Verbs with a particle.
@@ -612,11 +617,13 @@ mkSubj : Str -> Subj = \s -> {s = s ; lock_Subj = <>} ;
mkV : (stop, stopped : Str) -> V = reg2V ; mkV : (stop, stopped : Str) -> V = reg2V ;
mkV : (drink, drank, drunk : Str) -> V = irregV ; mkV : (drink, drank, drunk : Str) -> V = irregV ;
mkV : (run, ran, run, running : Str) -> V = irreg4V ; mkV : (run, ran, run, running : Str) -> V = irreg4V ;
mkV : (go, goes, went, gone, going : Str) -> V = mk5V mkV : (go, goes, went, gone, going : Str) -> V = mk5V ;
mkV : Str -> V -> V = prefixV
}; };
prepV2 : V -> Prep -> V2 ; prepV2 : V -> Prep -> V2 ;
dirV2 : V -> V2 ; dirV2 : V -> V2 ;
prefixV : Str -> V -> V = \p,v -> v ** { s = p + v.s } ;
mkV2 = overload { mkV2 = overload {
mkV2 : V -> V2 = dirV2 ; mkV2 : V -> V2 = dirV2 ;