Safe Haskell | Safe-Infered |
---|
One ounce of sanity checking is worth 10000000000000000 ounces of staring blindly at assembly code trying to find the problem..
- checkBlock :: Platform -> CmmBasicBlock -> NatBasicBlock Instr -> NatBasicBlock Instr
Documentation
checkBlock :: Platform -> CmmBasicBlock -> NatBasicBlock Instr -> NatBasicBlock InstrSource
Enforce intra-block invariants.