diff options
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 |