Skip to content
  • Simon Peyton Jones's avatar
    Fix TcUnify.subFunTys in AppTy case · c362e216
    Simon Peyton Jones authored
    subFunTys wasn't dealing correctly with the case where the type
    to be split was of form (a ty1), where a is a type variable.
    
    This shows up when compiling 
    	Control.Arrow.Transformer.Stream
    in package arrows.
    
    This commit fixes it.
    
    c362e216