Skip to content
  • Simon Peyton Jones's avatar
    Deal with large extra-contraints wildcards · 3c74a512
    Simon Peyton Jones authored
    For reasons explained in TcHsType
    Note [Extra-constraint holes in partial type signatures],
    if we had
      f :: (_) => blahs
    and the '_' was filled in by more than a 62-tuple of contraints,
    GHC crashed.
    
    The same Note explains the hacky solution I have adopted to
    evade this.  Maybe there is some better way, but I couldn't
    see one that didn't involve a great deal of work. And the problem
    is a very narrow one!  If the hack bites us we'll need to think
    again.
    3c74a512