Minnesota Extensible Language Tools Group

[silver:compiler:modification:concisefunctions]

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

Defined in this grammar:

abstract production shortFunDcl   (top::ValueDclInfo ::= ns::NamedSignature )

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

(Undocumented.)

abstract production shortFunParamDcl   (top::ValueDclInfo ::= fn::String ty::Type )

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

(Undocumented.)

function shortFunDef   (Def ::= sg::String sl::Location ns::NamedSignature )

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

(Undocumented.)

function shortFunParamDef   (Def ::= sg::String sl::Location fn::String ty::Type )

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

(Undocumented.)

terminal Fun_kwd

Contained in grammar [silver:compiler:modification:concisefunctions]. Defined at silver/compiler/modification/concisefunctions/ConciseFunctions.sv line 3.

(Undocumented.)

concrete production shortFunctionDcl   (top::AGDcl ::= 'fun' id::Name ns::FunctionSignature '=' e::Expr ';' )

Contained in grammar [silver:compiler:modification:concisefunctions]. Defined at silver/compiler/modification/concisefunctions/ConciseFunctions.sv line 13.

(Undocumented.)

monoid attribute shortFunctionDefs :: [Def]

Contained in grammar [silver:compiler:modification:concisefunctions]. Defined at silver/compiler/modification/concisefunctions/ConciseFunctions.sv line 59.

(Undocumented.)

synthesized attribute shortFunctionConstraintDefs :: [Def]

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

(Undocumented.)

synthesized attribute shortFunctionOccursDefs :: [OccursDclInfo]

Contained in grammar [silver:compiler:modification:concisefunctions]. Defined at silver/compiler/modification/concisefunctions/ConciseFunctions.sv line 61.

(Undocumented.)

abstract production shortFunParamReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:modification:concisefunctions]. Defined at silver/compiler/modification/concisefunctions/ConciseFunctions.sv line 83.

(Undocumented.)