Minnesota Extensible Language Tools Group

[silver:compiler:extension:data]

Contents of [silver:compiler:extension:data]:

Defined in this grammar:

concrete production dataDcl   (top::AGDcl ::= 'data' id::Name tl::BracketedOptTypeExprs '=' ctors::DataConstructors ';' )

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 3.

(Undocumented.)

concrete production dataDclWith   (top::AGDcl ::= 'data' id::Name tl::BracketedOptTypeExprs '=' ctors::DataConstructors 'with' attrs::QNames ';' )

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 16.

(Undocumented.)

synthesized attribute ctorDcls :: AGDcl

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 29.

(Undocumented.)

inherited attribute ntName :: String

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 30.

(Undocumented.)

inherited attribute ntTypeArgs :: BracketedOptTypeExprs

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 31.

(Undocumented.)

terminal DataConstructorOr_t

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 31.

(Undocumented.)

nonterminal DataConstructors

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 35.

(Undocumented.)

concrete production consDataConstructor   (top::DataConstructors ::= h::DataConstructor '|' t::DataConstructors )

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 38.

(Undocumented.)

concrete production oneDataConstructor   (top::DataConstructors ::= h::DataConstructor )

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 45.

(Undocumented.)

concrete production nilDataConstructor   (top::DataConstructors ::= )

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 52.

(Undocumented.)

nonterminal DataConstructor

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 59.

(Undocumented.)

concrete production dataConstructor   (top::DataConstructor ::= id::Name rhs::ProductionRHS )

Contained in grammar [silver:compiler:extension:data]. Defined at silver/compiler/extension/data/DataDcl.sv line 62.

(Undocumented.)