Allow as-patterns in pattern synonym declarations.
ClosedPublic

Authored by mpickering on Dec 19 2015, 4:17 PM.

Details

Summary

We can allow them if they contain no free variables. This patch just allows
them in one direction and no to be used as builders as the original ticket
suggests.

Test Plan

./validate

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
mpickering updated this revision to Diff 5857.Dec 19 2015, 4:17 PM
mpickering retitled this revision from to Allow as-patterns in pattern synonym declarations..
mpickering edited the test plan for this revision. (Show Details)
mpickering updated the Trac tickets for this revision.
mpickering updated this object.
mpickering updated this revision to Diff 5861.Dec 19 2015, 6:59 PM
mpickering edited edge metadata.
  • Update test output
bgamari accepted this revision.Dec 20 2015, 4:52 AM
bgamari edited edge metadata.

Looks good to me.

This revision is now accepted and ready to land.Dec 20 2015, 4:52 AM
This revision was automatically updated to reflect the committed changes.