Stg.Machine.Evaluate.ValidTransitions

rule1_functionApp

rule2_enterNonUpdatable

rule3_let

rule4_case

rule5_constructorApp

rule6_algebraicNormalMatch

rule7_algebraicUnboundDefaultMatch

rule8_algebraicBoundDefaultMatch

rule9_primitiveLiteralEval

rule10_primitiveLiteralApp

rule11_primitiveNormalMatch

rule12_primitiveBoundDefaultMatch

rule13_primitiveUnboundDefaultMatch

rule14_primop

rule15_enterUpdatable

rule16_missingReturnUpdate

rule17_missingArgUpdate

rule17a_missingArgUpdate

rule1819_casePrimopShortcut