Generalise blockGraph
authorSimon Marlow <marlowsd@gmail.com>
Thu, 15 Mar 2012 13:16:07 +0000 (13:16 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 15 Mar 2012 13:16:07 +0000 (13:16 +0000)
src/Compiler/Hoopl/Util.hs

index c1b0369..dba145c 100644 (file)
@@ -62,8 +62,10 @@ catNodeCOGraph f (GMany (JustO (BlockOC b n)) body x)
   = GMany NothingO (addBlock (BlockCC f b n) body) x
 
 
-blockGraph :: NonLocal n => Block n O x -> Graph n O x
+blockGraph :: NonLocal n => Block n e x -> Graph n e x
+blockGraph b@(BlockCO {}) = gUnitCO b
 blockGraph b@(BlockOC {}) = gUnitOC b
+blockGraph b@(BlockCC {}) = gUnitCC b
 blockGraph   (BNil  {})   = GNil
 blockGraph b@(BMiddle {}) = gUnitOO b
 blockGraph b@(BCat {})    = gUnitOO b