Skip to content

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.
Edited by Tikhon
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information