diff options
| author | johnvg | 2016-06-06 13:41:12 +0000 |
|---|---|---|
| committer | johnvg | 2016-06-06 13:41:12 +0000 |
| commit | 8832af8606748580b43b926bff5c347274417284 (patch) | |
| tree | 8f06b6102f9214ecc55ac72bb65527e5c3c4a218 /frontend/syntax.dcl | |
| parent | fix previous commit (diff) | |
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
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
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 |