Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
One ounce of sanity checking is worth 10000000000000000 ounces of staring blindly at assembly code trying to find the problem..
Synopsis
- checkBlock :: CmmBlock -> NatBasicBlock Instr -> NatBasicBlock Instr
Documentation
checkBlock :: CmmBlock -> NatBasicBlock Instr -> NatBasicBlock Instr Source #
Enforce intra-block invariants.