Minnesota Extensible Language Tools Group

[silver:compiler:modification:let_fix]

Contents of [silver:compiler:modification:let_fix]:

Defined in this grammar:

abstract production lexicalLocalDcl   (top::ValueDclInfo ::= fn::String ty::Type fi::Maybe<VertexType> fd::[FlowVertex] rs::[(String,UniqueRefSite)] )

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/DclInfo.sv line 5.

(Undocumented.)

fun lexicalLocalDef   (Def ::= sg::String sl::Location fn::String ty::Type fi::Maybe<VertexType> fd::[FlowVertex] rs::[(String,UniqueRefSite)] )

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/DclInfo.sv line 24.

(Undocumented.)

terminal Let_kwd

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 4.

(Undocumented.)

terminal In_kwd

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 9.

(Undocumented.)

concrete production letp_c   (top::Expr ::= 'let' la::LetAssigns 'in' e::Expr 'end' )

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 12.

(Undocumented.)

nonterminal LetAssigns

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 20.

(Undocumented.)

synthesized attribute letAssignExprs :: AssignExpr

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 22.

(Undocumented.)

concrete production assignsListCons   (top::LetAssigns ::= ae::AssignExpr ',' list::LetAssigns )

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 24.

(Undocumented.)

concrete production assignListSingle   (top::LetAssigns ::= ae::AssignExpr )

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 30.

(Undocumented.)

abstract production letp   (top::Expr ::= la::AssignExpr e::Expr )

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 41.

(Undocumented.)

monoid attribute boundNames :: [String]

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 60.

(Undocumented.)

nonterminal AssignExpr

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 62.

(Undocumented.)

abstract production appendAssignExpr   (top::AssignExpr ::= a1::AssignExpr a2::AssignExpr )

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 68.

(Undocumented.)

concrete production assignExpr   (top::AssignExpr ::= id::Name '::' t::TypeExpr '=' e::Expr )

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 78.

(Undocumented.)

abstract production lexicalLocalReference   (top::Expr ::= q::Decorated! QName fi::Maybe<VertexType> fd::[FlowVertex] rs::[(String,UniqueRefSite)] )

Contained in grammar [silver:compiler:modification:let_fix]. Defined at silver/compiler/modification/let_fix/Let.sv line 122.

(Undocumented.)