#13986: TypeApplications causes parse errors in @-patterns with certain Unicode characters -------------------------------------+------------------------------------- Reporter: Tikhon | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Parser) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by Tikhon: Old description:

The following function definition works without TypeApplications but fails to parse with the extension enabled:

{{{#!hs {-# LANGUAGE TypeApplications #-} module Mininal where

foo x₁@True = 10 }}}

It also parses correctly with "x" in place of "x₁".

New description: The following function definition works without TypeApplications but fails to parse with the extension enabled: {{{#!hs {-# 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. }}} -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13986#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#13986: TypeApplications causes parse errors in @-patterns with certain Unicode characters -------------------------------------+------------------------------------- Reporter: Tikhon | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Parser) | Keywords: Resolution: | TypeApplications Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | https://phabricator.haskell.org/D4105 -------------------------------------+------------------------------------- Changes (by harpocrates): * differential: => https://phabricator.haskell.org/D4105 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13986#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#13986: TypeApplications causes parse errors in @-patterns with certain Unicode characters -------------------------------------+------------------------------------- Reporter: Tikhon | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.0.1 (Parser) | Keywords: Resolution: fixed | TypeApplications Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHC rejects | Test Case: valid program | parser/should_compile/T13986.hs Blocked By: | Blocking: Related Tickets: | Differential Rev(s): phab:D4105 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * testcase: => parser/should_compile/T13986.hs * status: new => closed * differential: https://phabricator.haskell.org/D4105 => phab:D4105 * resolution: => fixed * milestone: => 8.4.1 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13986#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler