• Simon Peyton Jones's avatar
    Ensure we produce a FunTy for functions (Trac #7312) · 9991890d
    Simon Peyton Jones authored
    The issue here was with a function type written prefix
      (->) a b
    where we were not generating a FunTy, which blew the
    invariant that function types are always FunTys.  We
    can't look at the TyCon directly because it may be
    knot-tied, so we look at the name instead.
TcHsType.lhs 59.2 KB