#7776: Can't make operator called ~# --------------------------------------+------------------------------------- Reporter: adrianmay | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (Parser) Version: 7.6.1 | Keywords: tilde hash sharp operator Os: Linux | Architecture: x86_64 (amd64) Failure: GHC rejects valid program | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- Comment(by ian@…): commit 01efdd6c4b066fbfdf17c6d2b1cad0fd651d334a {{{ Author: Ian Lynagh Date: Mon Mar 18 10:12:57 2013 +0000 Only steal ~# as a reserved operator when MagicHash is enabled; fixes #7776 compiler/parser/Lexer.x | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) }}} -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7776#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#7776: Can't make operator called ~# ----------------------------------------+----------------------------------- Reporter: adrianmay | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Parser) | Version: 7.6.1 Resolution: fixed | Keywords: tilde hash sharp operator Os: Linux | Architecture: x86_64 (amd64) Failure: GHC rejects valid program | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: ----------------------------------------+----------------------------------- Comment(by goldfire): I would argue that {{{~#}}} should never be user-visible syntax, as there is no use case for it. In source Haskell, {{{~#}}} is a type constructor of kind {{{k -> k -> #}}} but this type has no values. This certainly isn't blocking anything, but I was quite surprised that {{{~#}}} was available at all in source Haskell. For those of you unfamiliar with {{{~#}}}, that's the type constructor for GHC's internal notion of type equality --- it's an unlifted form of {{{~}}}. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7776#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler