Changes in src/AST/Decl.cpp [c36a419:c7f9f53]

File:

• src/AST/Decl.cpp (modified) (2 diffs)

src/AST/Decl.cpp

@@ -21 +21 @@
 
 #include "Common/Eval.h"       // for eval
+#include "Common/SemanticError.h"
 
 #include "Fwd.hpp"             // for UniqueId
@@ -41 +42 @@
 
 FunctionDecl::FunctionDecl( const CodeLocation & loc, const std::string & name,
-        std::vector<ptr<TypeDecl>>&& forall,
         std::vector<ptr<DeclWithType>>&& params, std::vector<ptr<DeclWithType>>&& returns,
         CompoundStmt * stmts, Storage::Classes storage, Linkage::Spec linkage,
         std::vector<ptr<Attribute>>&& attrs, Function::Specs fs, ArgumentFlag isVarArgs )
-: DeclWithType( loc, name, storage, linkage, std::move(attrs), fs ),
-        type_params(std::move(forall)), assertions(),
-        params(std::move(params)), returns(std::move(returns)), stmts( stmts ) {
-        FunctionType * ftype = new FunctionType( isVarArgs );
-        for (auto & param : this->params) {
-                ftype->params.emplace_back(param->get_type());
-        }
-        for (auto & ret : this->returns) {
-                ftype->returns.emplace_back(ret->get_type());
-        }
-        for (auto & tp : this->type_params) {
-                ftype->forall.emplace_back(new TypeInstType(tp));
-                for (auto & ap: tp->assertions) {
-                        ftype->assertions.emplace_back(new VariableExpr(loc, ap));
-                }
-        }
-        this->type = ftype;
+: FunctionDecl( loc, name, {}, {}, std::move(params), std::move(returns),
+                stmts, storage, linkage, std::move(attrs), fs, isVarArgs ) {
 }