GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 03:32:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

removed an extra dangling c3 preposition in Eng and Swe

Browse Source
This commit is contained in:
aarne
2014-03-11 22:11:35 +00:00
parent 81c169b8d7
commit 772afa082f
2 changed files with 21 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
lib/src/experimental/PredInstanceEng.gf
View File

@@ -19,10 +19,17 @@ oper
initPrVerbPhraseV : initPrVerbPhraseV :
{s : Str ; a : Anteriority} -> {s : Str ; t : STense} -> {s : Str ; p : Polarity} -> PrVerb -> PrVerbPhrase = {s : Str ; a : Anteriority} -> {s : Str ; t : STense} -> {s : Str ; p : Polarity} -> PrVerb -> PrVerbPhrase =
\a,t,p,v -> initBasePrVerbPhraseV a t p v ** { \a,t,p,v -> initBasePrVerbPhraseV a t p v ** {
qforms = \\agr => qformsV (a.s ++ t.s ++ p.s) t.t a.a p.p agr v qforms = \\agr => qformsV (a.s ++ t.s ++ p.s) t.t a.a p.p agr v
} ; } ;
initPrVerbPhraseVContracted :
{s : Str ; a : Anteriority} -> {s : Str ; t : STense} -> {s : Str ; p : Polarity} -> PrVerb -> PrVerbPhrase =
\a,t,p,v -> initPrVerbPhraseV a t p v ** {
v = \\agr => tenseVContracted (a.s ++ t.s ++ p.s) t.t a.a p.p active agr v ;
qforms = \\agr => qformsV (a.s ++ t.s ++ p.s) t.t a.a p.p agr v
} ;
initPrClause : PrClause = initBasePrClause ** { initPrClause : PrClause = initBasePrClause ** {
qforms = <[],[]> ; qforms = <[],[]> ;
@@ -196,13 +203,17 @@ oper
case o of { case o of {
Act => tenseActV sta t a p agr v ; Act => tenseActV sta t a p agr v ;
Pass => tensePassV sta t a p agr v Pass => tensePassV sta t a p agr v
} {- } ;
| ---- leaving out these variants makes compilation time go down from 900ms to 300ms.
---- leaving out these variants makes compilation time go down from 900ms to 300ms.
---- parsing time of "she sleeps" goes down from 300ms to 60ms. 4/2/2014 ---- parsing time of "she sleeps" goes down from 300ms to 60ms. 4/2/2014
tenseVContracted : Str -> STense -> Anteriority -> Polarity -> SVoice -> VAgr -> PrVerb -> Str * Str * Str =
\sta,t,a,p,o,agr,v ->
case o of { case o of {
Act => tenseActVContracted sta t a p agr v ; Act => tenseActVContracted sta t a p agr v ;
Pass => tensePassVContracted sta t a p agr v Pass => tensePassVContracted sta t a p agr v
-} ; } ;
tenseActV : Str -> STense -> Anteriority -> Polarity -> VAgr -> PrVerb -> Str * Str * Str = \sta,t,a,p,agr,v -> tenseActV : Str -> STense -> Anteriority -> Polarity -> VAgr -> PrVerb -> Str * Str * Str = \sta,t,a,p,agr,v ->
let vt : ResEng.VForm = case <t,agr> of { let vt : ResEng.VForm = case <t,agr> of {
@@ -221,6 +232,7 @@ oper
_ => case p of { _ => case p of {
Pos => <[], sta ++ v.s ! VVF vt, []> ; -- this is the deviating case Pos => <[], sta ++ v.s ! VVF vt, []> ; -- this is the deviating case
Neg => <do_Aux vt Pos, not_Str p, sta ++ v.s ! VVF VInf> Neg => <do_Aux vt Pos, not_Str p, sta ++ v.s ! VVF VInf>
----slow | <do_Aux vt Neg, [], sta ++ v.s ! VVF VInf>
} }
} ; } ;
@@ -301,7 +313,9 @@ oper
----- dangerous variants for PMCFG generation - keep apart as long as possible ----- dangerous variants for PMCFG generation - keep apart as long as possible
be_Aux : Str -> STense -> Anteriority -> Polarity -> VAgr -> Str * Str * Str = \sta,t,a,p,agr -> be_Aux : Str -> STense -> Anteriority -> Polarity -> VAgr -> Str * Str * Str = \sta,t,a,p,agr ->
be_AuxL sta t a p agr | be_AuxC sta t a p agr ; be_AuxL sta t a p agr
| be_AuxC sta t a p agr ;
be_AuxL : Str -> STense -> Anteriority -> Polarity -> VAgr -> Str * Str * Str = \sta,t,a,p,agr -> be_AuxL : Str -> STense -> Anteriority -> Polarity -> VAgr -> Str * Str * Str = \sta,t,a,p,agr ->
let let
beV = tenseActV sta t a p agr be_V beV = tenseActV sta t a p agr be_V
@@ -362,7 +376,7 @@ oper
that_Compl : Str = "that" | [] ; that_Compl : Str = "that" | [] ;
-- this part is usually the same in all reconfigurations -- this part is usually the same in all reconfigurations
restCl : PrClause -> Str = \cl -> cl.v.p3 ++ cl.adj ++ cl.obj1 ++ cl.obj2 ++ cl.adv ++ cl.ext ++ cl.c3 ; restCl : PrClause -> Str = \cl -> cl.v.p3 ++ cl.adj ++ cl.obj1 ++ cl.obj2 ++ cl.adv ++ cl.ext ;
addObj2VP : PrVerbPhrase -> (Agr => Str) -> PrVerbPhrase = \vp,obj -> vp ** { addObj2VP : PrVerbPhrase -> (Agr => Str) -> PrVerbPhrase = \vp,obj -> vp ** {

2
lib/src/experimental/PredInstanceSwe.gf
View File

@@ -123,7 +123,7 @@ oper
that_Compl : Str = "att" | [] ; that_Compl : Str = "att" | [] ;
-- this part is usually the same in all reconfigurations -- this part is usually the same in all reconfigurations
restCl : PrClause -> Str = \cl -> cl.v.p3 ++ cl.adj ++ cl.obj1 ++ cl.obj2 ++ cl.adv ++ cl.ext ++ cl.c3 ; restCl : PrClause -> Str = \cl -> cl.v.p3 ++ cl.adj ++ cl.obj1 ++ cl.obj2 ++ cl.adv ++ cl.ext ;
negAdV : {s : Str ; p : Polarity} -> Str = \p -> p.s ++ case p.p of {Pos => [] ; Neg => inte_Str} ; negAdV : {s : Str ; p : Polarity} -> Str = \p -> p.s ++ case p.p of {Pos => [] ; Neg => inte_Str} ;