Skip to content
Snippets Groups Projects
Commit 8291f29e authored by Ben Gamari's avatar Ben Gamari
Browse files

rel-notes: Mention template variable matching proposal

parent 364142c3
No related branches found
No related tags found
No related merge requests found
......@@ -84,7 +84,9 @@ Compiler
the future extension ``RequiredTypeArguments``.
- Rewrite rules now support a limited form of higher order matching when a
pattern variable is applied to distinct locally bound variables. For example: ::
pattern variable is applied to distinct locally bound variables, as proposed in
`GHC Proposal #555 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0555-template-patterns.rst>`.
For example: ::
forall f. foo (\x -> f x)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment