From 936cd1e30d66fb0cf28a32187227e2926ea2eca7 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 4 Apr 2013 11:04:33 +0000
Subject: add type constraints in dynamic types

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2221 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/syntax.dcl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 1bca9d6..0f77b44 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -875,11 +875,11 @@ cNotVarNumber :== -1
 
 		/* Auxiliary, used during type checking */
 
-					| EI_TempDynamicType 		!(Optional DynamicType) ![DynamicPtr] !AType ![TypeContext] !ExprInfoPtr !SymbIdent
+					| EI_TempDynamicType 		!(Optional DynamicType) ![DynamicPtr] !AType ![TypeContext] ![TypeContext] !ExprInfoPtr !SymbIdent
 					| EI_TempDynamicPattern 	![TypeVar] !DynamicType ![DynamicPtr] ![TempLocalVar] !AType ![TypeContext] !ExprInfoPtr !SymbIdent
 
 					| EI_TypeOfDynamic 			!TypeCodeExpression						/* Final */
-					| EI_TypeOfDynamicPattern 	![VarInfoPtr] !TypeCodeExpression		/* Final */
+					| EI_TypeOfDynamicPattern 	![VarInfoPtr] !TypeCodeExpression !Bool	/* Final */
 					| EI_TypeOfDynamicWithContexts !TypeCodeExpression !(VarContexts DictionaryAndClassType)
 
 					| EI_TypeCode 		!TypeCodeExpression
@@ -1056,6 +1056,7 @@ cNotVarNumber :== -1
 	{	dt_uni_vars 	:: ![ATypeVar]
 	,	dt_global_vars	:: ![TypeVar]
 	,	dt_type			:: !AType
+	,	dt_contexts		:: ![TypeContext]
 	}
 
 ::	KindHeap	:== Heap KindInfo
-- 
cgit v1.2.3