forked from GitHub/gf-core
slight improvement of Fre compile mem and time
This commit is contained in:
@@ -76,14 +76,13 @@ instance DiffFre of DiffRomance = open CommonRomance, PhonoFre, Prelude in {
|
|||||||
CPron a => argPron a.g a.n a.p Acc ;
|
CPron a => argPron a.g a.n a.p Acc ;
|
||||||
_ => []
|
_ => []
|
||||||
} ;
|
} ;
|
||||||
pdat = case dat of {
|
|
||||||
CPron a => argPron a.g a.n a.p dative ;
|
|
||||||
_ => []
|
|
||||||
} ;
|
|
||||||
in
|
in
|
||||||
case dat of {
|
case dat of {
|
||||||
CPron {p = P3} => <pacc ++ pdat,[]> ;
|
CPron a => let pdat = argPron a.g a.n a.p dative in case a.p of {
|
||||||
_ => <pdat ++ pacc, []>
|
P3 => <pacc ++ pdat,[]> ;
|
||||||
|
_ => <pdat ++ pacc,[]>
|
||||||
|
} ;
|
||||||
|
_ => <pacc, []>
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
@@ -13,11 +13,11 @@ incomplete concrete RelativeRomance of Relative =
|
|||||||
s = \\ag =>
|
s = \\ag =>
|
||||||
(mkClause
|
(mkClause
|
||||||
(rp.s ! False ! {g = ag.g ; n = ag.n} ! Nom)
|
(rp.s ! False ! {g = ag.g ; n = ag.n} ! Nom)
|
||||||
(
|
(case rp.a of {
|
||||||
case rp.a of {
|
|
||||||
RNoAg => ag ;
|
RNoAg => ag ;
|
||||||
RAg a => a ** {p = P3}
|
RAg a => a ** {p = P3}
|
||||||
}) vp).s
|
})
|
||||||
|
vp).s
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
RelSlash rp slash = {
|
RelSlash rp slash = {
|
||||||
|
|||||||
Reference in New Issue
Block a user