mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-27 08:58:55 -06:00
an optimization which would be relevant with the new compiler
This commit is contained in:
@@ -13,9 +13,9 @@ incomplete concrete NounScand of Noun =
|
|||||||
let
|
let
|
||||||
g = cn.g ;
|
g = cn.g ;
|
||||||
m = cn.isMod ;
|
m = cn.isMod ;
|
||||||
dd = case <det.det,detDef,m> of {
|
dd = case <detDef,det.det,m> of {
|
||||||
<DDef Def, Indef, True> => DDef Indef ;
|
<Indef, DDef Def, True> => DDef Indef ;
|
||||||
<d,_,_> => d
|
<_,d,_> => d
|
||||||
}
|
}
|
||||||
in {
|
in {
|
||||||
s = \\c => det.s ! m ! g ++
|
s = \\c => det.s ! m ! g ++
|
||||||
|
|||||||
Reference in New Issue
Block a user