• simonpj's avatar
    [project @ 1999-03-22 10:39:59 by simonpj] · 375c33b1
    simonpj 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.
TcMonoType.lhs 21.1 KB