[silver:compiler:modification:primitivepattern]
Contents of [silver:compiler:modification:primitivepattern]
:
Defined in this grammar:
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 16.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 57.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 69.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 70.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 273.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 290.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 305.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 321.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 331.
(Undocumented.)
synthesized attribute contextPatternOccursDefs :: ([OccursDclInfo] ::= Context [TyVar] String Location String)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 332.
(Undocumented.)
aspect default production top::Context ::=
{#aspect_default_production_silver:compiler:definition:type:Context}
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 334.
(Undocumented.)
abstract production instPatternConstraintDcl
(top::InstDclInfo ::= fntc::String ty::Type oc::Context tvs::[TyVar] scrutineeTrans::String
)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 383.
(Undocumented.)
abstract production occursPatternConstraintDcl
(top::OccursDclInfo ::= fnat::String ntty::Type atty::Type oc::Context tvs::[TyVar] scrutineeTrans::String
)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 394.
(Undocumented.)
abstract production annoPatternConstraintDcl
(top::OccursDclInfo ::= fnat::String ntty::Type atty::Type oc::Context tvs::[TyVar] scrutineeTrans::String
)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 410.
(Undocumented.)
abstract production typeablePatternConstraintDcl
(top::InstDclInfo ::= ty::Type oc::Context tvs::[TyVar] scrutineeTrans::String
)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 425.
(Undocumented.)
abstract production inhSubsetPatternConstraintDcl
(top::InstDclInfo ::= i1::Type i2::Type oc::Context tvs::[TyVar] scrutineeTrans::String
)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/Types.sv line 436.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 22.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 26.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 31.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 37.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 38.
(Undocumented.)
concrete production matchPrimitiveConcrete
(top::Expr ::= 'match' e::Expr 'return' t::TypeExpr 'with' pr::PrimPatterns 'else' '->' f::Expr 'end'
)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 44.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 51.
(Undocumented.)
abstract production matchPrimitiveReal
(top::Expr ::= e::Expr t::TypeExpr pr::PrimPatterns f::Expr
)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 76.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 146.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 155.
(Undocumented.)
concrete production prodPattern
(top::PrimPattern ::= qn::QName '(' ns::VarBinders ')' '->' e::Expr
)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 170.
(Undocumented.)
abstract production prodPatternNormal
(top::PrimPattern ::= qn::Decorated QName ns::VarBinders e::Expr
)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 198.
(Undocumented.)
abstract production prodPatternGadt
(top::PrimPattern ::= qn::Decorated QName ns::VarBinders e::Expr
)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 281.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 376.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 401.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 426.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 451.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 476.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 501.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 15.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 20.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 38.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 39.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 41.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 43.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 44.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 46.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 49.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 51.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 53.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 55.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 74.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 103.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 113.
(Undocumented.)
Contained in grammar [silver:compiler:modification:primitivepattern]
. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 196.
(Undocumented.)