From f11aea0fc01263ec50416631e0d57be20353e66f Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 10 May 2002 13:34:18 +0000
Subject: [PATCH] [project @ 2002-05-10 13:34:18 by simonpj] Remove {| |}
 syntax from expressions; never fully implemented

---
 ghc/compiler/parser/Parser.y |   11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/ghc/compiler/parser/Parser.y b/ghc/compiler/parser/Parser.y
index 3ecaff1..7b26472 100644
--- a/ghc/compiler/parser/Parser.y
+++ b/ghc/compiler/parser/Parser.y
@@ -1,6 +1,6 @@
 {-								-*-haskell-*-
 -----------------------------------------------------------------------------
-$Id: Parser.y,v 1.96 2002/04/29 14:03:57 simonmar Exp $
+$Id: Parser.y,v 1.97 2002/05/10 13:34:18 simonpj Exp $
 
 Haskell grammar.
 
@@ -1006,11 +1006,16 @@ aexp	:: { RdrNameHsExpr }
 	| aexp1				{ $1 }
 
 aexp1	:: { RdrNameHsExpr }
-        : var_or_con '{|' gentype '|}'          { (HsApp $1 (HsType $3)) }
-  	| aexp1 '{' fbinds '}' 			{% (mkRecConstrOrUpdate $1 
+        : aexp1 '{' fbinds '}' 			{% (mkRecConstrOrUpdate $1 
 							(reverse $3)) }
   	| aexp2					{ $1 }
 
+-- Here was the syntax for type applications that I was planning
+-- but there are difficulties (e.g. what order for type args)
+-- so it's not enabled yet.
+-- 	| var_or_con '{|' gentype '|}'          { (HsApp $1 (HsType $3)) }
+
+
 var_or_con :: { RdrNameHsExpr }
         : qvar                          { HsVar $1 }
         | gcon                          { HsVar $1 }
-- 
1.7.10.4