msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

syntax interfaces

Browse Source
This commit is contained in:
aarne
2007-05-31 18:46:29 +00:00
parent e7b7def313
commit 06acca1f67
1 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/GF/Compile/Rebuild.hs
View File

@@ -49,13 +49,11 @@ rebuildModule ms mo@(i,mi) = do
--- to avoid double inclusions, in instance I of I0 = J0 ** ... --- to avoid double inclusions, in instance I of I0 = J0 ** ...
case extends m of case extends m of
[] -> return $ replaceJudgements m js' [] -> return $ replaceJudgements m js'
j0:jj -> do j0s -> do
m0 <- lookupModMod gr j0 m0s <- mapM (lookupModMod gr) j0s
let notInM0 c _ = not $ isInBinTree c $ jments m0 let notInM0 c _ = all (not . isInBinTree c . jments) m0s
let js2 = filterBinTree notInM0 js' let js2 = filterBinTree notInM0 js'
if null jj return $ replaceJudgements m js2
then return $ replaceJudgements m js2
else Bad "FIXME: handle multiple inheritance in instance"
return $ ModMod m' return $ ModMod m'
_ -> return mi _ -> return mi