• simonpj's avatar
    [project @ 2002-03-12 15:55:26 by simonpj] · 72c2f581
    simonpj authored
    ------------------------
    	Fix a type-invariant bug
    	------------------------
    
    We need to call Type.mkGenTyConApp from Type.mkAppTy, in
    case there's a partially applied type synonym.  Explanation
    with Type.mkAppTy.  All part of GHC's rather liberal treatment
    of type synonyms.
    
    Shown up by a program from Ralf Laemmel:
    
    	type Generic i o = forall x. i x -> o x
    	type Id x = x
    	comb :: Generic Id Id
    
    Test is typecheck/should_compile/tc149.hs
    72c2f581