lookupTyFixityRn op' `thenRn` \ fix ->
mkHsOpTyRn op' fix ty1' ty2'
+rnHsType doc (HsParTy ty)
+ = rnHsType doc ty `thenRn` \ ty' ->
+ returnRn (HsParTy ty')
rnHsType doc (HsNumTy i)
| i == 1 = returnRn (HsNumTy i)
returnRn (HsOpTy ty1 op1 ty2)
mkHsOpTyRn op fix ty1 ty2 -- Default case, no rearrangment
- = ASSERT( not_op_ty ty1 )
- returnRn (HsOpTy ty1 op ty2)
+ = returnRn (HsOpTy ty1 op ty2)
mkHsFunTyRn ty1 ty2 -- Precedence of function arrow is 0
= returnRn (HsFunTy ty1 ty2) -- so no rearrangement reqd. Change