Skip to content
Blame Permalink
  • Simon Peyton Jones's avatar
    a9d9b8c0
    Use mkNakedFunTy in tcPatSynSig · a9d9b8c0
    Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed 
    As #22521 showed, in tcPatSynSig we make a "fake type" to
kind-generalise; and that type has unzonked type variables in it. So
we must not use `mkFunTy` (which checks FunTy's invariants) via
`mkPhiTy` when building this type.  Instead we need to use
`mkNakedFunTy`.

Easy fix.
    a9d9b8c0
    Use mkNakedFunTy in tcPatSynSig
    Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed 
    As #22521 showed, in tcPatSynSig we make a "fake type" to
kind-generalise; and that type has unzonked type variables in it. So
we must not use `mkFunTy` (which checks FunTy's invariants) via
`mkPhiTy` when building this type.  Instead we need to use
`mkNakedFunTy`.

Easy fix.