[GHC] #12363: Type application for infix
GHC
ghc-devs at haskell.org
Wed Jan 18 13:57:54 UTC 2017
#12363: Type application for infix
-------------------------------------+-------------------------------------
Reporter: Iceland_jack | Owner:
Type: feature request | Status: new
Priority: lowest | Milestone:
Component: Compiler | Version: 8.0.1
(Parser) | Keywords:
Resolution: | TypeApplications
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by rwbarton):
The fact that type application "telescopes" are normally only applied to
single identifiers also helps my brain gloss over the parsing/precedence
irregularities here. It's easy enough to read `+ @Int` as a unit.
I know the manual says you can write things like `f x @Bool` meaning `(f
x) @Bool` if `f` has a suitable type, though I wonder if there are any
real uses for that.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12363#comment:18>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list