Module: Jade::Frontend::PatternAnalysis::Exhaustiveness

Extended by:
Exhaustiveness
Included in:
Exhaustiveness
Defined in:
lib/jade/frontend/pattern_analysis/exhaustiveness.rb

Instance Method Summary collapse

Instance Method Details

#assert(patterns, range, env, registry, expected) ⇒ Object 



7
8
9
10
11
12
13
14
 
# File 'lib/jade/frontend/pattern_analysis/exhaustiveness.rb', line 7

def assert(patterns, range, env, registry, expected)
  Matrix[
    patterns.map { [node_to_matrix_pattern(it)] },
    [expected],
  ]
    .missing_patterns(env)
    .then { to_errors(it, range, env) }
end