X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fcmm%2FZipCfg.hs;fp=compiler%2Fcmm%2FZipCfg.hs;h=85727a3bb494a973776b9222d90d90b87b37d490;hp=228504ce7c577b7ea953d3b639492448d9fe293d;hb=c886dd30160f26f69336adc7dfc3aab5b89a4dfb;hpb=ce9268f652cc4c46af75ae765f859480cf081cda diff --git a/compiler/cmm/ZipCfg.hs b/compiler/cmm/ZipCfg.hs index 228504c..85727a3 100644 --- a/compiler/cmm/ZipCfg.hs +++ b/compiler/cmm/ZipCfg.hs @@ -37,6 +37,8 @@ where #include "HsVersions.h" +import CmmExpr ( UserOfLocalRegs(..) ) --for an instance + import Outputable hiding (empty) import Panic import Unique @@ -140,6 +142,14 @@ data ZLast l -- so we don't want to pollute the 'l' type parameter with it | LastOther l +--So that we don't have orphan instances, this goes here or in CmmExpr. +--At least UserOfLocalRegs (ZLast Last) is needed (Last defined elsewhere), +--but there's no need for non-Haskell98 instances for that. +instance UserOfLocalRegs a => UserOfLocalRegs (ZLast a) where + foldRegsUsed f z (LastOther l) = foldRegsUsed f z l + foldRegsUsed _f z LastExit = z + + data ZHead m = ZFirst BlockId | ZHead (ZHead m) m -- ZHead is a (reversed) sequence of middle nodes labeled by a BlockId data ZTail m l = ZLast (ZLast l) | ZTail m (ZTail m l)