GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-27 08:58:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

removed comment from ResGer

Browse Source
This commit is contained in:
Hans Leiss
2019-07-01 17:39:42 +02:00
parent 03e404e518
commit d3c6dddf2c
1 changed files with 2 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
src/german/ResGer.gf
View File

@@ -502,8 +502,8 @@ resource ResGer = ParamX ** open Prelude in {
VPC : Type = {
s : Bool => Agr => VPForm => { -- True = prefix glued to verb
fin : Str ; -- hat|wird
inf : Str -- gelesen, lesen können|lesen (können),gelesen haben,
} -- HL 11/6/2019 todo: Fut Anter: haben lesen können = lesen gekonnt haben
inf : Str -- wollen,gelesen|lesen wollen,gelesen haben,
} -- HL 11/6/2019 todo: Fut Anter: haben lesen wollen = lesen gewollt haben
} ;
VP : Type = {
@@ -575,22 +575,6 @@ resource ResGer = ParamX ** open Prelude in {
VPInfinit Simul => vf True [] (verb.s ! VInf b)
}
} ;
-- Remark (HL): something needs to be done for modal verbs:
-- vf : Bool -> Str -> Str -> Str -> {fin : Str ; inf : Str * Str} = \b,fin,inf,inf2 -> {
-- fin = fin ;
-- inf = <verb.particle ++ if_then_Str b [] auf ++ inf, inf2> --- negation of main b
-- } ; -- HL: {fin: wird, inf: <geschlafen haben, []>},
-- -- {fin: wird, inf: <wollen,haben>=gewollt haben}
-- -- but this does not work with (PassV2 v2)
-- VPFinite m t Anter => case t of { --
-- Fut => case isAux of { -- HL 6/2019, Duden 318: Ersatzinfinitiv
-- False => vf True (wird m a) (vpart ++ haben) ; -- wird (nicht) schlafen gekonnt haben
-- True => vf True (wird m a) vpart haben } ; -- => wird (nicht) haben schlafen können
-- Cond => case isAux of { --
-- False => vf True (wuerde a) (vpart ++ haben) [] ; --
-- True => vf True (wuerde a) vpart haben } -- HL: würde (nicht) haben schlafen können
-- } ;
-- But this doesn't fit to (PassV2 v2).
predVGen : Bool -> Verb -> VPSlash = \isAux, verb -> {
s = {