|
|
|---|
|
|
|
|---|
Fixtype of static information for variables and constants.
This is a product type introduced by fty::defprod.
This is the information that a static environment associates to an identifier that is either a variable or a constant in scope. The information consists of a type, and a flag indicating if it is a constant or not (i.e. a variable).
As far as variables and constants are concerned, instead of defining this fixtype, we could instead, in ident-sinfo, have separate summands for variables and constants that just contain a type. However, we can use this fixtype to capture the parameter information for functions: this is why we define this fixtype this way, and consequently ident-sinfo has just one summand for both variables and constants.