Abstract

ion Types are named at top level, but there is no notion of polymorphism or quantification over types. 4.5 Essential Syntactic Structure There are fundamentally three kinds of statements in the language: type declarations, (parsing) action declarations, and function declarations. (Technically, there is a fourth kind of statement, the constraint declaration, but it is really a special case of the function declaration.) 4.5.1 Names and Scopes All scoping is lexical, block structured, and without overloading. Symbols may be multiply declared or defined. Potential name spaces consist of: 1. types (declared at top level) 2. labels (in products and sums) 3. actions (declared at top level) 4. functions (declared at top level, implicitly defined or built-in) 5. variables used as formal parameters of functions or that are bound in patterns 6. constraint violations (declared at top level) All name spaces are distinct, except for functions and variables which share a common namespace. However...

Citations