TypeApplications causes parse errors in @-patterns with certain Unicode characters
The following function definition works without TypeApplications but fails to parse with the extension enabled:
{-# LANGUAGE TypeApplications #-}
module Mininal where
foo x₁@True = 10
It also parses correctly with "x" in place of "x₁".
Parse error:
Minimal.hs:5:1-11: error: …
Parse error in pattern: foo x₁ @True
Compilation failed.