summaryrefslogtreecommitdiff
path: root/src/GF/Compile/Rebuild.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-11-14 19:13:33 +0000
committeraarne <aarne@cs.chalmers.se>2006-11-14 19:13:33 +0000
commit546e778ba8c9ea4109fbe278c6363818a43eaa0f (patch)
tree7be636d1b0a58a4fa02e5aa5ce1cdf86b65429b4 /src/GF/Compile/Rebuild.hs
parentf10d657df18261c688241c4463074f8bc31cf95b (diff)
internal representation for param value index
Diffstat (limited to 'src/GF/Compile/Rebuild.hs')
-rw-r--r--src/GF/Compile/Rebuild.hs26
1 files changed, 0 insertions, 26 deletions
diff --git a/src/GF/Compile/Rebuild.hs b/src/GF/Compile/Rebuild.hs
index 452a485c8..52224c4a1 100644
--- a/src/GF/Compile/Rebuild.hs
+++ b/src/GF/Compile/Rebuild.hs
@@ -91,29 +91,3 @@ checkCompleteInstance abs cnc = ifNull (return ()) (Bad . unlines) $
then id
else (("Error: no definition given to" +++ prt f):)
-{- ---- should not be needed
-qualifInstanceInfo :: [(Ident,Ident)] -> (Ident,Info) -> (Ident,Info)
-qualifInstanceInfo insts (c,i) = (c,qualInfo i) where
-
- qualInfo i = case i of
- ResOper pty pt -> ResOper (qualP pty) (qualP pt)
- CncCat pty pt pp -> CncCat (qualP pty) (qualP pt) (qualP pp)
- CncFun mp pt pp -> CncFun (qualLin mp) (qualP pt) (qualP pp) ---- mp
- ResParam (Yes ps) -> ResParam (yes (map qualParam ps))
- ResValue pty -> ResValue (qualP pty)
- _ -> i
- qualP pt = case pt of
- Yes t -> yes $ qual t
- May m -> may $ qualId m
- _ -> pt
- qualId x = maybe x id $ lookup x insts
- qual t = case t of
- Q m c -> Q (qualId m) c
- QC m c -> QC (qualId m) c
- _ -> composSafeOp qual t
- qualParam (p,co) = (p,[(x,qual t) | (x,t) <- co])
- qualLin (Just (c,(co,t))) = (Just (c,([(x,qual t) | (x,t) <- co], qual t)))
- qualLin Nothing = Nothing
-
- -- NB constructor patterns never appear in interfaces so we need not rename them
--}