From 8832af8606748580b43b926bff5c347274417284 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 6 Jun 2016 13:41:12 +0000
Subject: set FI_HasTypeCodes in fi_properties if a function contains type
 codes and should be converted in module convertDynamics, instead of storing a
 list with one nilPtr in fi_dynamics, remove unnecessary Let expressions with
 unused variables by initializing with VI_NotUsed instead of VI_Empty

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

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index a64a78d..066c32d 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -666,6 +666,7 @@ FI_MemberInstanceRequiresTypeInDefMod :== 16
 FI_GenericFun :== 32
 FI_Unused :== 64				// used in module trans
 FI_UnusedUsed :== 128			// used in module trans
+FI_HasTypeCodes :== 256
 
 ::	FunInfo =
 	{	fi_calls			:: ![FunCall]
@@ -794,6 +795,7 @@ pIsSafe			:== True
 				VI_ExpressionOrBody !Expression !SymbIdent !TransformedBody ![FreeVar] ![TypeVar] ![TypeVar] | /* used during fusion */
 				VI_Dictionary !SymbIdent ![Expression] !Type | /* used during fusion */
 				VI_Extended !ExtendedVarInfo !VarInfo |
+				VI_NotUsed |
 // MdM
 				VI_CPSExprVar !CheatCompiler /* a pointer to a variable in CleanProverSystem is stored here, using a cast */
 // ... MdM
-- 
cgit v1.2.3