-
Simon Peyton Jones authored
Fix the HsForAll case in TcMonoType.tc_type_kind so that it permits types like f :: forall a. Num a => (# a->a, a->a #) Previously it insisted that the body of a for-all was a boxed type, but 'f' makes perfect sense, and indeed occurs in interface files as a result of CPR analysis.
375c33b1