From 4147cc9bb6a8589fb7a365894baa087aeb02df8b Mon Sep 17 00:00:00 2001
From: ronny
Date: Mon, 14 Oct 2002 23:06:24 +0000
Subject: new type code and type code constructor representation clean-up and
 renamed functions from StdDynamic

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

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 99a579d..11b070c 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -1278,7 +1278,6 @@ cIsNotStrict	:== False
 	{	dyn_expr		:: !Expression
 	,	dyn_opt_type	:: !Optional DynamicType
 	,	dyn_info_ptr	:: !ExprInfoPtr
-//	,	dyn_uni_vars	:: ![VarInfoPtr]			/* filled after type checking */
 	,	dyn_type_code	:: !TypeCodeExpression		/* filled after type checking */
 	}	
 
@@ -1302,10 +1301,11 @@ instance == OverloadedListType
 						| TCE_Var 			!VarInfoPtr
 						| TCE_TypeTerm		!VarInfoPtr
 						| TCE_Constructor	!Index			![TypeCodeExpression]
+						| TCE_App			!TypeCodeExpression !TypeCodeExpression
 						| TCE_Selector		![Selection]	!VarInfoPtr
 						| TCE_UniType 		![VarInfoPtr] 	!TypeCodeExpression
 
-::	GlobalTCType = GTT_Basic !BasicType	| GTT_Constructor !TypeSymbIdent !String !Bool | GTT_Function
+::	GlobalTCType = GTT_Basic !BasicType	| GTT_Constructor !SymbIdent !Bool | GTT_PredefTypeConstructor !(Global Index) | GTT_Function
 	
 
 ::	FunctionPattern	= FP_Basic !BasicValue !(Optional FreeVar)
-- 
cgit v1.2.3