From 546e778ba8c9ea4109fbe278c6363818a43eaa0f Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 14 Nov 2006 19:13:33 +0000 Subject: internal representation for param value index --- src/GF/Source/GrammarToSource.hs | 2 +- src/GF/Source/SourceToGrammar.hs | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) (limited to 'src/GF/Source') diff --git a/src/GF/Source/GrammarToSource.hs b/src/GF/Source/GrammarToSource.hs index 38c658dc4..a20eb7830 100644 --- a/src/GF/Source/GrammarToSource.hs +++ b/src/GF/Source/GrammarToSource.hs @@ -90,7 +90,7 @@ trAnyDef (i,info) = let i' = tri i in case info of ResOper pty ptr -> [P.DefOper [trDef i' pty ptr]] ResParam pp -> [P.DefPar [case pp of - Yes ps -> P.ParDefDir i' [P.ParConstr (tri c) (map trDecl co) | (c,co) <- ps] + Yes (ps,_) -> P.ParDefDir i' [P.ParConstr (tri c) (map trDecl co) | (c,co) <- ps] May b -> P.ParDefIndir i' $ tri b _ -> P.ParDefAbs i']] diff --git a/src/GF/Source/SourceToGrammar.hs b/src/GF/Source/SourceToGrammar.hs index c77a9f47b..dadf8c3af 100644 --- a/src/GF/Source/SourceToGrammar.hs +++ b/src/GF/Source/SourceToGrammar.hs @@ -293,8 +293,9 @@ transResDef x = case x of pardefs' <- mapM transParDef pardefs returnl $ [(p, G.ResParam (if null pars then nope -- abstract param type - else (yes pars))) | (p,pars) <- pardefs'] - ++ [(f, G.ResValue (yes (M.mkProdSimple co (G.Cn p)))) | + else (yes (pars,Nothing)))) + | (p,pars) <- pardefs'] + ++ [(f, G.ResValue (yes (M.mkProdSimple co (G.Cn p),Nothing))) | (p,pars) <- pardefs', (f,co) <- pars] DefOper defs -> do defs' <- liftM concat $ mapM getDefs defs -- cgit v1.2.3