From f68bf9e82b8b829e8c55d659ba82b94bcd4e62c8 Mon Sep 17 00:00:00 2001
From: martinw
Date: Wed, 15 Dec 1999 14:41:04 +0000
Subject: bugfix

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@67 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/parse.icl | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/frontend/parse.icl b/frontend/parse.icl
index 0ce8eda..4990d9f 100644
--- a/frontend/parse.icl
+++ b/frontend/parse.icl
@@ -1138,9 +1138,11 @@ where
 		# name					= td_name.id_name
 		  pState				= verify_annot_attr annot td_attribute name pState
 		  (exi_vars, pState)	= optionalQuantifiedVariables ExistentialQuantifier pState
- 		  (token, pState)		= nextToken TypeContext pState
+// MW  		  (token, pState)		= nextToken TypeContext pState
+ 		  (token, pState)		= nextToken GeneralContext pState
  		  (token, pState)		= case token of	// Make the ':' optional for now to handle 1.3 files
- 		  							ColonToken	-> nextToken TypeContext (parseWarning "type RHS" ":-symbol after extential quantified variable should be removed" pState)
+// MW  		  							ColonToken	-> nextToken TypeContext (parseWarning "type RHS" ":-symbol after extential quantified variable should be removed" pState)
+ 		  							ColonToken	-> nextToken GeneralContext (parseWarning "type RHS" ":-symbol after extential quantified variable should be removed" pState)
  		  							_			-> (token, pState)
  		= case token of
   			CurlyOpenToken
@@ -1203,7 +1205,8 @@ where
 		  (token, pState) = nextToken TypeContext pState
 		| token == BarToken
 			# (exi_vars, pState) = optionalQuantifiedVariables ExistentialQuantifier pState
-			  (token, pState) = nextToken TypeContext pState
+// MW 			  (token, pState) = nextToken TypeContext pState
+			  (token, pState) = nextToken GeneralContext pState
 			  (cons_list, pState) = want_constructor_list exi_vars token pState
 			= ([cons : cons_list], pState)
 		// otherwise
@@ -1628,7 +1631,8 @@ where
 
 optionalQuantifiedVariables :: !QuantifierKind !*ParseState -> *(![ATypeVar],!*ParseState)
 optionalQuantifiedVariables req_quant pState
-	# (token, pState) = nextToken TypeContext pState
+// MW 	# (token, pState) = nextToken TypeContext pState
+	# (token, pState) = nextToken GeneralContext pState
 	  (optional_quantifier, pState) = try token pState
 	= case optional_quantifier of
 		Yes off_quant
-- 
cgit v1.2.3