Opened 2 months ago

Last modified 2 months ago

#13986 new bug

TypeApplications causes parse errors in @-patterns with certain Unicode characters

Reported by: Tikhon Owned by:
Priority: normal Milestone:
Component: Compiler (Parser) Version: 8.0.1
Keywords: TypeApplications Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: GHC rejects valid program Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description (last modified by Tikhon)

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.

Change History (2)

comment:1 Changed 2 months ago by Tikhon

Description: modified (diff)

comment:2 Changed 2 months ago by RyanGlScott

Keywords: TypeApplications added
Note: See TracTickets for help on using tickets.