From c3f4c3eba7b7d98f48cfe56711eb18611bb89515 Mon Sep 17 00:00:00 2001 From: krasimir Date: Fri, 28 May 2010 14:15:15 +0000 Subject: refactoring in GF.Grammar.Grammar --- src/compiler/GF/Compile/Update.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/compiler/GF/Compile/Update.hs') diff --git a/src/compiler/GF/Compile/Update.hs b/src/compiler/GF/Compile/Update.hs index 1da650340..e8f49ad0c 100644 --- a/src/compiler/GF/Compile/Update.hs +++ b/src/compiler/GF/Compile/Update.hs @@ -142,10 +142,10 @@ extendMod gr isCompl (name,cond) base old new = foldM try new $ Map.toList old Just j -> case unifyAnyInfo name i j of Ok k -> return $ updateTree (c,k) new Bad _ -> do (base,j) <- case j of - AnyInd _ m -> lookupOrigInfo gr m c + AnyInd _ m -> lookupOrigInfo gr (m,c) _ -> return (base,j) (name,i) <- case i of - AnyInd _ m -> lookupOrigInfo gr m c + AnyInd _ m -> lookupOrigInfo gr (m,c) _ -> return (name,i) fail $ render (text "cannot unify the information" $$ nest 4 (ppJudgement Qualified (c,i)) $$ -- cgit v1.2.3