forked from GitHub/gf-rgl
normalize record types in overload resolution
This commit is contained in:
@@ -25,10 +25,11 @@ incomplete resource Overload = open Grammar in {
|
|||||||
mod : AdA -> A -> AP
|
mod : AdA -> A -> AP
|
||||||
= \m,a -> AdAP m (PositA a) ;
|
= \m,a -> AdAP m (PositA a) ;
|
||||||
mod : Quant -> N -> NP
|
mod : Quant -> N -> NP
|
||||||
= \q,n -> DetCN (DetSg (SgQuant q) NoOrd)
|
= \q,n -> DetCN (DetSg (SgQuant q)
|
||||||
(UseN n) ;
|
NoOrd) (UseN n) ;
|
||||||
mod : Quant -> CN -> NP
|
mod : Quant -> CN -> NP
|
||||||
= \q,n -> DetCN (DetSg (SgQuant q) NoOrd) n ;
|
= \q,n -> DetCN (DetSg
|
||||||
|
(SgQuant q) NoOrd) n ;
|
||||||
mod : Predet -> N -> NP
|
mod : Predet -> N -> NP
|
||||||
= \q,n -> PredetNP q (DetCN (DetPl
|
= \q,n -> PredetNP q (DetCN (DetPl
|
||||||
(PlQuant IndefArt) NoNum NoOrd) (UseN n)) ;
|
(PlQuant IndefArt) NoNum NoOrd) (UseN n)) ;
|
||||||
|
|||||||
Reference in New Issue
Block a user