fix(compiler): Don't panic when matching a tuple against an alias

Fixes gluon-lang#749
Marwes · Jun 9, 2019 · 777bd31 · 777bd31
1 parent 45427d5
commit 777bd31
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/tests/pattern_match.rs b/tests/pattern_match.rs
@@ -188,3 +188,17 @@ match (Some 10, 1) with
 "#,
 10
 }
+
+test_expr! {
+pattern_match_tuple_alias,
+r#"
+type MyType = (String, Int)
+
+let getName thing : MyType -> String =
+    let (name, count) = thing
+    name
+
+getName ("abc", 123)
+"#,
+"abc".to_string()
+}
diff --git a/vm/src/core/mod.rs b/vm/src/core/mod.rs
@@ -1675,6 +1675,8 @@ impl<'a, 'e> PatternTranslator<'a, 'e> {
                     }
                 }
                 ast::Pattern::Tuple { ref typ, ref elems } => {
+                    let typ = remove_aliases_cow(&self.0.env, &mut NullInterner, typ);
+
                     for (i, (elem, field_type)) in elems.iter().zip(typ.row_iter()).enumerate() {
                         if !add_duplicate_ident(
                             &mut replacements,