diff options
Diffstat (limited to 'src/GF/Source/SourceToGrammar.hs')
| -rw-r--r-- | src/GF/Source/SourceToGrammar.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/GF/Source/SourceToGrammar.hs b/src/GF/Source/SourceToGrammar.hs index 28cb9025b..8435540e4 100644 --- a/src/GF/Source/SourceToGrammar.hs +++ b/src/GF/Source/SourceToGrammar.hs @@ -305,6 +305,14 @@ transResDef x = case x of | (p,pars) <- pardefs'] ++ [(f, G.ResValue (yes (M.mkProdSimple co (G.Cn p),Nothing))) | (p,pars) <- pardefs', (f,co) <- pars] + +{- + ---- encoding of AnyInd without changing syntax. AR 20/9/2007 + DefOper [DDef [c] (EApp (EInt status) (EIdent mo))] -> do + c' <- transName c + mo' <- transIdent mo + return $ Left [(c',G.AnyInd (status==1) mo')] +-} DefOper defs -> do defs' <- liftM concat $ mapM getDefs defs returnl $ concatMap mkOverload [(f, G.ResOper pt pe) | (f,(pt,pe)) <- defs'] |