| RSLV_NO_FLAGS |
|
| RSLV_NO_CHK_USE_TYPE |
Don't check validity of identType in at_ident case. This is used when the resolver does not have enough contextual information to expect the correct identType (ex: for at_select) |
| RSLV_INCOMPLETE_OK |
Use of an incomplete identifier in this context is okay (ex: within a lambda abstraction |
| RSLV_INCOMPLETE_NO_CHK |
No longer need to perform incompleteness checking The closure-conversion pass introduces some carefully crafted code using internal constructors that appear incomplete the following restrictions. Since there cannot be any incompleteness errors at that point, incompleteness checking is disabled. |
| RSLV_NEW_TV_OK |
Use of new type variables is okay in this context. This is true in the context of expressions, where annotation with new variables is permitted. But, within structure/union definitions, onlt variables bound in the parameter list should be used. |
| RSLV_IS_INTERFACE |
We are processing an interface unit of compilation. |
| RSLV_BIND_PUBLIC |
A name binding is public. |
| RSLV_USE_ONLY_PUBLIC |
Only public bindings must be used for name resolution. |
| RSLV_NO_RESOLVE_DECL |
Don't warn about unused proclaimations in source module; disabled in the unified UOC past polyinstantiation. |
| RSLV_WITHIN_DEFUNION |
Currently processing a defunion (used to check that tagtype declarations onty occur on defunions. |
| RSLV_SYM_NO_PRELUDE |
Dont' import prelude. |
| RSLV_SWITCHED_ID_OK |
Used to mark legal contexts (only on the left of a select) where a identifier that represents a deconstructed (matched) value in a switch statement can be used. |
| RSLV_WITHIN_CATCH |
Processing a catch block. |
| RSLV_WITHIN_CATCH_MC |
Processing a Catch block with multiple exceptions. |
