correction in Scand definiteness with Ord

This commit is contained in:
aarne
2010-05-15 17:10:41 +00:00
parent 2839944f03
commit 3f8930f115

View File

@@ -51,7 +51,10 @@ incomplete concrete NounScand of Noun =
sp = \\b,g => quant.s ! num.n ! b ! True ! g ++
num.s ! g ++ ord.s ;
n = num.n ;
det = DDef detDef ---- quant.det
det = case quant.det of {
DDef Def => DDef detDef ;
d => d
}
} ;
DetQuant quant num =