Skip to content
  • Simon Peyton Jones's avatar
    Fix another obscure pattern-synonym crash · 40cbab9a
    Simon Peyton Jones authored
    This one, discovered by Iceland Jack (Trac #14507), shows
    that a pattern-bound coercion can show up in the argument
    type(s) of the matcher of a pattern synonym.
    
    The error message isn't great, but at least we now rightly
    reject the program.
    40cbab9a