From c161e0e4df906185521f75aebcd26b117f8ab48f Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 3 Jun 2008 11:59:00 +0000 Subject: possible to inherit an overload group without excluding+opening --- src-3.0/GF/Compile/Extend.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src-3.0/GF/Compile/Extend.hs') diff --git a/src-3.0/GF/Compile/Extend.hs b/src-3.0/GF/Compile/Extend.hs index 0dcde340a..8344a1696 100644 --- a/src-3.0/GF/Compile/Extend.hs +++ b/src-3.0/GF/Compile/Extend.hs @@ -94,6 +94,8 @@ extendAnyInfo isc n o i j = liftM ResParam $ updn isc n mt1 mt2 (ResValue mt1, ResValue mt2) -> liftM ResValue $ updn isc n mt1 mt2 + (_, ResOverload ms t) | elem n ms -> + return $ ResOverload ms t (ResOper mt1 m1, ResOper mt2 m2) -> ---- extendResOper n mt1 m1 mt2 m2 liftM2 ResOper (updn isc n mt1 mt2) (updn isc n m1 m2) (CncCat mc1 mf1 mp1, CncCat mc2 mf2 mp2) -> -- cgit v1.2.3