From a25ee154e760a424ef4aef46a6e3d6fdf1079cf1 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 15 Sep 2004 14:36:27 +0000
Subject: introducing multiple inheritance

---
 src/GF/Compile/Rebuild.hs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src/GF/Compile/Rebuild.hs')

diff --git a/src/GF/Compile/Rebuild.hs b/src/GF/Compile/Rebuild.hs
index 048af3c7c..491c9c9f2 100644
--- a/src/GF/Compile/Rebuild.hs
+++ b/src/GF/Compile/Rebuild.hs
@@ -34,12 +34,14 @@ rebuildModule ms mo@(i,mi) = do
             js' <- extendMod False i0 (jments m1) (jments m)
             --- to avoid double inclusions, in instance I of I0 = J0 ** ...
             case extends m of
-              Nothing -> return $ replaceJudgements m js'
-              Just j0 -> do 
+              [] -> return $ replaceJudgements m js'
+              j0:jj -> do 
                 m0 <- lookupModMod gr j0
                 let notInM0 c = not $ isInBinTree (fst c) $ mapTree fst $ jments m0
                 let js2 = sorted2tree $ filter notInM0 $ tree2list js'
-                return $ replaceJudgements m js2
+                if null jj 
+                  then return $ replaceJudgements m js2
+                  else Bad "FIXME: handle multiple inheritance in instance"
           return $ ModMod m'
         _ -> return mi
 
-- 
cgit v1.2.3