<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>pattern_matching_spec.sl - Coverage</title>
<link rel="stylesheet" href="../assets/style.css">
</head>
<body>
<div class="container">
<header>
<h1>pattern_matching_spec.sl</h1>
<a href="../index.html" class="back-link">← Back to Dashboard</a>
</header>
<section class="source-view">
<table>
<tbody>
<tr class="code-line">
<td class="line-num">1</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// ============================================================================</pre></td>
</tr><tr class="code-line">
<td class="line-num">2</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Pattern Matching Test Suite</pre></td>
</tr><tr class="code-line">
<td class="line-num">3</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// ============================================================================</pre></td>
</tr><tr class="code-line">
<td class="line-num">4</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">5</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>describe("Pattern Matching", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">6</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("match with literal patterns", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">7</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn describe(x) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">8</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return match x {</pre></td>
</tr><tr class="code-line">
<td class="line-num">9</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> 0 => "zero",</pre></td>
</tr><tr class="code-line">
<td class="line-num">10</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> 1 => "one",</pre></td>
</tr><tr class="code-line">
<td class="line-num">11</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> _ => "other"</pre></td>
</tr><tr class="code-line">
<td class="line-num">12</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> };</pre></td>
</tr><tr class="code-line">
<td class="line-num">13</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">14</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(describe(0), "zero");</pre></td>
</tr><tr class="code-line">
<td class="line-num">15</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(describe(1), "one");</pre></td>
</tr><tr class="code-line">
<td class="line-num">16</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(describe(99), "other");</pre></td>
</tr><tr class="code-line">
<td class="line-num">17</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">18</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">19</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("match with variable binding", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">20</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn describe(x) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">21</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return match x {</pre></td>
</tr><tr class="code-line">
<td class="line-num">22</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> 0 => "zero",</pre></td>
</tr><tr class="code-line">
<td class="line-num">23</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> n => "number: " + str(n)</pre></td>
</tr><tr class="code-line">
<td class="line-num">24</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> };</pre></td>
</tr><tr class="code-line">
<td class="line-num">25</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">26</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(describe(0), "zero");</pre></td>
</tr><tr class="code-line">
<td class="line-num">27</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(describe(42), "number: 42");</pre></td>
</tr><tr class="code-line">
<td class="line-num">28</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">29</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">30</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("match with guards", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">31</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn classify(x) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">32</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return match x {</pre></td>
</tr><tr class="code-line">
<td class="line-num">33</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> n if n < 0 => "negative",</pre></td>
</tr><tr class="code-line">
<td class="line-num">34</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> n if n == 0 => "zero",</pre></td>
</tr><tr class="code-line">
<td class="line-num">35</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> n if n > 0 => "positive"</pre></td>
</tr><tr class="code-line">
<td class="line-num">36</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> };</pre></td>
</tr><tr class="code-line">
<td class="line-num">37</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">38</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(classify(-5), "negative");</pre></td>
</tr><tr class="code-line">
<td class="line-num">39</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(classify(0), "zero");</pre></td>
</tr><tr class="code-line">
<td class="line-num">40</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(classify(5), "positive");</pre></td>
</tr><tr class="code-line">
<td class="line-num">41</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">42</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">43</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("match with array patterns", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">44</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn first(arr) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">45</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return match arr {</pre></td>
</tr><tr class="code-line">
<td class="line-num">46</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> [] => "empty",</pre></td>
</tr><tr class="code-line">
<td class="line-num">47</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> [x] => "single: " + str(x),</pre></td>
</tr><tr class="code-line">
<td class="line-num">48</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> [x, y] => "pair: " + str(x) + ", " + str(y),</pre></td>
</tr><tr class="code-line">
<td class="line-num">49</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> _ => "many"</pre></td>
</tr><tr class="code-line">
<td class="line-num">50</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> };</pre></td>
</tr><tr class="code-line">
<td class="line-num">51</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">52</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(first([]), "empty");</pre></td>
</tr><tr class="code-line">
<td class="line-num">53</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(first([1]), "single: 1");</pre></td>
</tr><tr class="code-line">
<td class="line-num">54</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(first([1, 2]), "pair: 1, 2");</pre></td>
</tr><tr class="code-line">
<td class="line-num">55</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(first([1, 2, 3]), "many");</pre></td>
</tr><tr class="code-line">
<td class="line-num">56</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">57</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">58</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("match with hash patterns", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">59</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn get_name(person) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">60</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return match person {</pre></td>
</tr><tr class="code-line">
<td class="line-num">61</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> {name: n, age: a} => n + " is " + str(a),</pre></td>
</tr><tr class="code-line">
<td class="line-num">62</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> {name: n} => n,</pre></td>
</tr><tr class="code-line">
<td class="line-num">63</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> _ => "unknown"</pre></td>
</tr><tr class="code-line">
<td class="line-num">64</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> };</pre></td>
</tr><tr class="code-line">
<td class="line-num">65</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">66</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(get_name({name: "Alice", age: 30}), "Alice is 30");</pre></td>
</tr><tr class="code-line">
<td class="line-num">67</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(get_name({name: "Bob"}), "Bob");</pre></td>
</tr><tr class="code-line">
<td class="line-num">68</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(get_name({foo: "bar"}), "unknown");</pre></td>
</tr><tr class="code-line">
<td class="line-num">69</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">70</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">71</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("nested match", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">72</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn evaluate(x) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">73</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> if (x < 0) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">74</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> if (x == -1) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">75</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return "negative one";</pre></td>
</tr><tr class="code-line">
<td class="line-num">76</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">77</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return "negative";</pre></td>
</tr><tr class="code-line">
<td class="line-num">78</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">79</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> if (x == 0) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">80</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return "zero";</pre></td>
</tr><tr class="code-line">
<td class="line-num">81</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">82</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return "positive: " + str(x);</pre></td>
</tr><tr class="code-line">
<td class="line-num">83</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">84</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(evaluate(-1), "negative one");</pre></td>
</tr><tr class="code-line">
<td class="line-num">85</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(evaluate(-5), "negative");</pre></td>
</tr><tr class="code-line">
<td class="line-num">86</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(evaluate(0), "zero");</pre></td>
</tr><tr class="code-line">
<td class="line-num">87</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(evaluate(5), "positive: 5");</pre></td>
</tr><tr class="code-line">
<td class="line-num">88</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">89</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">90</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("match with multiple guards", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">91</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn fizzbuzz(n) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">92</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return match n {</pre></td>
</tr><tr class="code-line">
<td class="line-num">93</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> n if n % 15 == 0 => "fizzbuzz",</pre></td>
</tr><tr class="code-line">
<td class="line-num">94</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> n if n % 5 == 0 => "buzz",</pre></td>
</tr><tr class="code-line">
<td class="line-num">95</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> n if n % 3 == 0 => "fizz",</pre></td>
</tr><tr class="code-line">
<td class="line-num">96</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> n => str(n)</pre></td>
</tr><tr class="code-line">
<td class="line-num">97</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> };</pre></td>
</tr><tr class="code-line">
<td class="line-num">98</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">99</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(fizzbuzz(3), "fizz");</pre></td>
</tr><tr class="code-line">
<td class="line-num">100</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(fizzbuzz(5), "buzz");</pre></td>
</tr><tr class="code-line">
<td class="line-num">101</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(fizzbuzz(15), "fizzbuzz");</pre></td>
</tr><tr class="code-line">
<td class="line-num">102</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(fizzbuzz(7), "7");</pre></td>
</tr><tr class="code-line">
<td class="line-num">103</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">104</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>});</pre></td>
</tr>
</tbody>
</table>
</section>
</div>
</body>
</html>