Changes in src/AST/Decl.cpp [b230091:7d7ef6f]

File:

• src/AST/Decl.cpp (modified) (1 diff)

src/AST/Decl.cpp

@@ -68 +68 @@
         }
         for (auto & tp : this->type_params) {
-                ftype->forall.emplace_back(new TypeInstType(tp));
+                ftype->forall.emplace_back(new TypeInstType(tp->name, tp));
                 for (auto & ap: tp->assertions) {
                         ftype->assertions.emplace_back(new VariableExpr(loc, ap));