Fix unbound vars in match

arshajii · arshajii · commit ac5f4ec42805 · 2019-12-16T00:21:10.000-05:00
diff --git a/compiler/lang/patterns.cpp b/compiler/lang/patterns.cpp
@@ -43,6 +43,8 @@ Var *Wildcard::getVar() { return var; }
 Value *Wildcard::codegen(BaseFunc *base, types::Type *type, Value *val,
                          BasicBlock *&block) {
   LLVMContext &context = block->getContext();
+  BasicBlock *preamble = base->getPreamble();
+  var->store(base, type->defaultValue(preamble), preamble);
   var->store(base, val, block);
   return ConstantInt::get(IntegerType::getInt1Ty(context), 1);
 }

Original file line number	Diff line number	Diff line change
`@@ -43,6 +43,8 @@ Var *Wildcard::getVar() { return var; }`
`43`	`43`	`Value Wildcard::codegen(BaseFunc base, types::Type type, Value val,`
`44`	`44`	`BasicBlock *&block) {`
`45`	`45`	`LLVMContext &context = block->getContext();`
	`46`	`+ BasicBlock *preamble = base->getPreamble();`
	`47`	`+ var->store(base, type->defaultValue(preamble), preamble);`
`46`	`48`	`var->store(base, val, block);`
`47`	`49`	`return ConstantInt::get(IntegerType::getInt1Ty(context), 1);`
`48`	`50`	`}`