-tcGuardedCmd env expr stk (reft, res_ty)
- = do { let (co, res_ty') = refineResType reft res_ty
- ; body <- tcCmd env expr (stk, res_ty')
- ; return (mkLHsWrap co body) }
+tcGuardedCmd env expr stk res_ty
+ = do { body <- tcCmd env expr (stk, res_ty)
+ ; return body
+ }