[GHC] #8584: Pattern synonym type signatures
GHC
ghc-devs at haskell.org
Sun Dec 1 04:44:37 UTC 2013
#8584: Pattern synonym type signatures
------------------------------------+-------------------------------------
Reporter: cactus | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version:
Keywords: | Operating System: Unknown/Multiple
Architecture: Unknown/Multiple | Type of failure: None/Unknown
Difficulty: Unknown | Test Case:
Blocked By: 5144 | Blocking:
Related Tickets: |
------------------------------------+-------------------------------------
Currently, the only way to specify a type signature for a pattern synonym
is by adding type annotations to the right-hand side, like this:
{{{
{-# LANGUAGE PatternSynonyms, ScopedTypeVariables #-}
pattern Single x = ([x] :: [Int])
}}}
Bespoke syntax for adding type signatures for pattern synonyms would
probably be useful.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8584>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list