[silver:compiler:extension:patternmatching]

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

Defined in this grammar:

nonterminal Pattern

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 8.

(Undocumented.)


synthesized attribute patternVars :: [String]

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 15.

(Undocumented.)


inherited attribute patternVarEnv :: [String]

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 19.

(Undocumented.)


synthesized attribute patternIsVariable :: Boolean

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 23.

(Undocumented.)


synthesized attribute patternVariableName :: Maybe<String>

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 27.

(Undocumented.)


synthesized attribute patternSubPatternList :: [Decorated Pattern]

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

(Undocumented.)


synthesized attribute patternNamedSubPatternList :: [Pair<String Decorated Pattern>]

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

(Undocumented.)


synthesized attribute patternSortKey :: String

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 42.

(Undocumented.)


synthesized attribute isPrimitivePattern :: Boolean

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 50.

(Undocumented.)


synthesized attribute isBoolPattern :: Boolean

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 54.

(Undocumented.)


synthesized attribute isListPattern :: Boolean

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 58.

(Undocumented.)


synthesized attribute patternTypeName :: String

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 61.

(Undocumented.)


concrete production prodAppPattern_named   (top::Pattern ::= prod::QName '(' ps::PatternList ',' nps::NamedPatternList ')' )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 71.

(Undocumented.)


concrete production prodAppPattern   (top::Pattern ::= prod::QName '(' ps::PatternList ')' )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 98.

(Undocumented.)


concrete production propAppPattern_onlyNamed   (top::Pattern ::= prod::QName '(' nps::NamedPatternList ')' )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 104.

(Undocumented.)


concrete production wildcPattern   (top::Pattern ::= '_' )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 113.

(Undocumented.)


concrete production varPattern   (top::Pattern ::= v::Name )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 136.

(Undocumented.)


abstract production errorPattern   (top::Pattern ::= msg::[Message] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 170.

(Undocumented.)


aspect default production top::Pattern ::= {#aspect_default_production_silver:compiler:extension:patternmatching:Pattern}

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 187.

(Undocumented.)


concrete production nestedPatterns   (top::Pattern ::= '(' p::Pattern ')' )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 200.

(Undocumented.)


concrete production intPattern   (top::Pattern ::= num::Int_t )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 211.

(Undocumented.)


concrete production fltPattern   (top::Pattern ::= num::Float_t )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 225.

(Undocumented.)


concrete production strPattern   (top::Pattern ::= str::String_t )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 239.

(Undocumented.)


concrete production truePattern   (top::Pattern ::= 'true' )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 253.

(Undocumented.)


concrete production falsePattern   (top::Pattern ::= 'false' )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 267.

(Undocumented.)


abstract production nilListPattern   (top::Pattern ::= '[' ']' )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 281.

(Undocumented.)


concrete production consListPattern   (top::Pattern ::= hp::Pattern '::' tp::Pattern )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 295.

(Undocumented.)


concrete production listPattern   (top::Pattern ::= '[' ps::PatternList ']' )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 313.

(Undocumented.)


synthesized attribute asListPattern :: Pattern

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 320.

(Undocumented.)


synthesized attribute namedPatternList :: [Pair<String Decorated Pattern>]

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 339.

(Undocumented.)


nonterminal NamedPatternList

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 341.

(Undocumented.)


concrete production namedPatternList_one   (top::NamedPatternList ::= p::NamedPattern )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 344.

(Undocumented.)


concrete production namedPatternList_more   (top::NamedPatternList ::= p::NamedPattern ',' ps::NamedPatternList )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 354.

(Undocumented.)


abstract production namedPatternList_nil   (top::NamedPatternList ::= )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 367.

(Undocumented.)


nonterminal NamedPattern

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 377.

(Undocumented.)


concrete production namedPattern   (top::NamedPattern ::= qn::QName '=' p::Pattern )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 380.

(Undocumented.)


fun buildPatternList   (PatternList ::= plst::[Pattern] loc::Location )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/PatternTypes.sv line 399.

(Undocumented.)


terminal Case_kwd

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 18.

(Undocumented.)


terminal Of_kwd

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 20.

(Undocumented.)


terminal Arrow_kwd

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 21.

(Undocumented.)


terminal Vbar_kwd

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 22.

(Undocumented.)


terminal Opt_Vbar_t

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 23.

(Undocumented.)


terminal When_kwd

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 24.

(Undocumented.)


terminal Matches_kwd

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 25.

(Undocumented.)


nonterminal MRuleList

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

(Undocumented.)


synthesized attribute matchRuleList :: [AbstractMatchRule]

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 33.

(Undocumented.)


inherited attribute matchRulePatternSize :: Integer

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

(Undocumented.)


nonterminal MatchRule

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

(Undocumented.)


nonterminal AbstractMatchRule

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 39.

(Undocumented.)


synthesized attribute headPattern :: Decorated Pattern

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 42.

(Undocumented.)


synthesized attribute isVarMatchRule :: Boolean

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 44.

(Undocumented.)


synthesized attribute expandHeadPattern :: (AbstractMatchRule ::= [String])

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 46.

(Undocumented.)


synthesized attribute hasCondition :: Boolean

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 48.

(Undocumented.)


synthesized attribute count :: Integer

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 50.

(Undocumented.)


nonterminal PatternList

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 53.

(Undocumented.)


synthesized attribute patternList :: [Decorated Pattern]

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 57.

(Undocumented.)


concrete production caseExpr_c   (top::Expr ::= 'case' es::Exprs 'of' Opt_Vbar_t ml::MRuleList 'end' )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 73.

(Undocumented.)


abstract production caseExpr   (top::Expr ::= es::[Expr] ml::[AbstractMatchRule] complete::Boolean failExpr::Expr retType::Type )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 95.

(Undocumented.)


function getFreeVars   (attribute frame occurs on a, attribute freeVars {frame} occurs on a => ts:Set<String> ::= frame::BlockContext x::a )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 174.

(Undocumented.)


fun initialSegmentPatternType   (Pair<[AbstractMatchRule] [AbstractMatchRule]> ::= lst::[AbstractMatchRule] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 186.

(Undocumented.)


function splitPatternGroups   ([[AbstractMatchRule]] ::= ml::[AbstractMatchRule] env::Env )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 216.

(Undocumented.)


function compileCaseExpr   (Expr ::= es::[Expr] ml::[AbstractMatchRule] failExpr::Expr retType::Type env::Env )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 283.

(Undocumented.)


function compilePatternGroups   (Expr ::= matchEs::[Expr] ruleGroups::[[AbstractMatchRule]] finalFail::Expr retType::Type env::Env )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 333.

(Undocumented.)


function allConCaseTransform   (PrimPattern ::= currExpr::Expr restExprs::[Expr] failCase::Expr retType::Type mrs::[AbstractMatchRule] env::Env )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 407.

(Undocumented.)


function checkOverlappingPatterns   ([Message] ::= es::[Expr] ml::[AbstractMatchRule] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 446.

(Undocumented.)


fun checkOverlappingMixedCaseMatches   ([Message] ::= es::[Expr] ml::[AbstractMatchRule] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 506.

(Undocumented.)


function allConCaseCheckOverlapping   ([Message] ::= es::[Expr] mrs::[AbstractMatchRule] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 520.

(Undocumented.)


function checkCompleteness   (Maybe<[Pattern]> ::= lst::[[Decorated Pattern]] env::Env flowEnv::FlowEnv )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 559.

(Undocumented.)


fun generateWildcards   ([Pattern] ::= n::Integer )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 627.

(Undocumented.)


fun decoratePattList   ([Decorated Pattern] ::= lst::[Pattern] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 635.

(Undocumented.)


fun groupAllPattsByHead   ([[[Decorated Pattern]]] ::= pattLists::[[Decorated Pattern]] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 646.

(Undocumented.)


fun groupAllPattsByHeadHelp   (Pair<[[Decorated Pattern]] [[Decorated Pattern]]> ::= item::[Decorated Pattern] rest::[[Decorated Pattern]] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 653.

(Undocumented.)


function generatePrimitiveMissingPattern   (Maybe<Pattern> ::= patts::[Decorated Pattern] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 668.

(Undocumented.)


fun generateMissingIntegerPattern   (Pattern ::= lst::[Integer] initial::Integer )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 697.

(Undocumented.)


fun generateMissingFloatPattern   (Pattern ::= lst::[Float] initial::Float )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 701.

(Undocumented.)


fun generateMissingStringPattern   (Pattern ::= lst::[String] initial::String )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 705.

(Undocumented.)


function checkPrimitiveCompleteness   (Maybe<[Pattern]> ::= conPatts::[[Decorated Pattern]] varPatts::[[Decorated Pattern]] env::Env flowEnv::FlowEnv )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 712.

(Undocumented.)


function checkBooleanCompleteness   (Maybe<[Pattern]> ::= conPatts::[[Decorated Pattern]] varPatts::[[Decorated Pattern]] env::Env flowEnv::FlowEnv )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 757.

(Undocumented.)


function checkListCompleteness   (Maybe<[Pattern]> ::= conPatts::[[Decorated Pattern]] varPatts::[[Decorated Pattern]] env::Env flowEnv::FlowEnv )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 806.

(Undocumented.)


function checkNonterminalCompleteness   (Maybe<[Pattern]> ::= conPatts::[[Decorated Pattern]] varPatts::[[Decorated Pattern]] env::Env flowEnv::FlowEnv )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 869.

(Undocumented.)


function checkAllProdGroupsComplete   (Maybe<[Pattern]> ::= conGrps::[[[Decorated Pattern]]] varPatts::[[Decorated Pattern]] env::Env flowEnv::FlowEnv )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 943.

(Undocumented.)


function checkAllProdsRepresented   (Maybe<Pattern> ::= givenPatts::[Decorated Pattern] requiredProds::[String] env::Env )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 976.

(Undocumented.)


concrete production mRuleList_one   (top::MRuleList ::= m::MatchRule )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1011.

(Undocumented.)


concrete production mRuleList_cons   (top::MRuleList ::= h::MatchRule '|' t::MRuleList )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1019.

(Undocumented.)


concrete production matchRule_c   (top::MatchRule ::= pt::PatternList '->' e::Expr )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1027.

(Undocumented.)


concrete production matchRuleWhen_c   (top::MatchRule ::= pt::PatternList 'when' cond::Expr '->' e::Expr )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1045.

(Undocumented.)


concrete production matchRuleWhenMatches_c   (top::MatchRule ::= pt::PatternList 'when' cond::Expr 'matches' p::Pattern '->' e::Expr )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1063.

(Undocumented.)


abstract production matchRule   (top::AbstractMatchRule ::= pl::[Decorated Pattern] cond::Maybe<Pair<Expr Maybe<Pattern>>> e::Expr )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1082.

(Undocumented.)


concrete production patternList_one   (top::PatternList ::= p::Pattern )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1125.

(Undocumented.)


concrete production patternList_snoc   (top::PatternList ::= ps::PatternList ',' p::Pattern )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1136.

(Undocumented.)


abstract production patternList_more   (top::PatternList ::= p::Pattern ',' ps1::PatternList )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1143.

(Undocumented.)


concrete production patternList_nil   (top::PatternList ::= )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1157.

(Undocumented.)


function appendPatternList   (PatternList ::= p1::PatternList p2::PatternList )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1170.

(Undocumented.)


function patternListVars   (Name ::= p::Decorated Pattern )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1183.

(Undocumented.)


fun convStringsToVarBinders   (VarBinders ::= s::[Name] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1193.

(Undocumented.)


fun exprFromName   (Expr ::= n::Name )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1197.

(Undocumented.)


fun foldPrimPatterns   (PrimPatterns ::= l::[PrimPattern] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1199.

(Undocumented.)


function bindHeadPattern   (AbstractMatchRule ::= headExpr::Expr headType::Type absRule::AbstractMatchRule )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1212.

(Undocumented.)


function dropHeadPattern   (AbstractMatchRule ::= absRule::AbstractMatchRule )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1238.

(Undocumented.)


fun makeLet   (Expr ::= s::String t::Type e::Expr o::Expr )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1248.

(Undocumented.)


instance Eq AbstractMatchRule

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1254.

(Undocumented.)


instance Eq AbstractMatchRule.eq

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1255.

(Undocumented.)


instance Ord AbstractMatchRule

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1258.

(Undocumented.)


instance Ord AbstractMatchRule.lte

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1259.

(Undocumented.)


fun groupMRules   ([[AbstractMatchRule]] ::= l::[AbstractMatchRule] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1268.

(Undocumented.)


fun buildMatchWhenConditionals   (Expr ::= ml::[AbstractMatchRule] failExpr::Expr )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1275.

(Undocumented.)


fun areUselessPatterns   (Boolean ::= ml::[AbstractMatchRule] )

Contained in grammar [silver:compiler:extension:patternmatching]. Defined at silver/compiler/extension/patternmatching/Case.sv line 1304.

(Undocumented.)