adjust to new world of Top, Bot, Pointed; use WithBot synonym
authorNorman Ramsey <nr@cs.tufts.edu>
Fri, 23 Apr 2010 04:08:20 +0000 (00:08 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Fri, 23 Apr 2010 04:08:20 +0000 (00:08 -0400)
src/Compiler/Hoopl/Passes/Dominator.hs

index c4cbc86..24678f2 100644 (file)
@@ -10,10 +10,9 @@ where
 
 import Data.Maybe
 
-import Compiler.Hoopl hiding (Top, Bot)
-import Compiler.Hoopl.Pointed
+import Compiler.Hoopl
 
-type Doms = Pointed O C DPath
+type Doms = WithBot DPath
 -- ^ List of labels, extended with a standard bottom element
 
 -- | The fact that goes into the entry of a dominator analysis: the first node