From f4dce6cfd71d2a1dc2e281f19cae85e62aaf6b8e Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Tue, 19 Jun 2018 23:16:39 -0400
Subject: Allow :info for (~) in GHCi

`(~)` is not an identifier according to GHC's parser, which
is why GHCi's `:info` command wouldn't work on it. To rectify this,
we apply the same fix that was put in place for `(->)`: add `(~)` to
GHC's `identifier` parser production.

Test Plan: make test TEST=T10059

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, mpickering, carter

GHC Trac Issues: #10059

Differential Revision: https://phabricator.haskell.org/D4877
---
 compiler/parser/Parser.y | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'compiler/parser')

diff --git a/compiler/parser/Parser.y b/compiler/parser/Parser.y
index 066ee421fb..0e93dd043b 100644
--- a/compiler/parser/Parser.y
+++ b/compiler/parser/Parser.y
@@ -626,7 +626,9 @@ identifier :: { Located RdrName }
         | qvarop                        { $1 }
         | qconop                        { $1 }
     | '(' '->' ')'      {% ams (sLL $1 $> $ getRdrName funTyCon)
-                               [mj AnnOpenP $1,mu AnnRarrow $2,mj AnnCloseP $3] }
+                               [mop $1,mu AnnRarrow $2,mcp $3] }
+    | '(' '~' ')'       {% ams (sLL $1 $> $ eqTyCon_RDR)
+                               [mop $1,mj AnnTilde $2,mcp $3] }
 
 -----------------------------------------------------------------------------
 -- Backpack stuff
-- 
cgit v1.2.1