Skip to content
  • Ryan Scott's avatar
    Fix #13968 by consulting isBuiltInOcc_maybe · d774b4e2
    Ryan Scott authored
    Summary:
    We were unconditionally reporting `Illegal binding of built-in syntax`
    in an error message, but this error doesn't make sense in certain Template
    Haskell scenarios which can trigger it. Let's give a more sensible error
    message by first checking if the name we're binding really is built-in syntax,
    using the handy `isBuiltInOcc_maybe` function.
    
    Test Plan: make test TEST=T13968
    
    Reviewers: bgamari, austin, goldfire
    
    Reviewed By: goldfire
    
    Subscribers: goldfire, rwbarton, thomie
    
    GHC Trac Issues: #13968
    
    Differential Revision: https://phabricator.haskell.org/D3789
    d774b4e2