Changeset 81da3da4 for src/AST/Decl.hpp

Timestamp:

Dec 11, 2023, 4:18:13 AM (22 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

21ce2c7, 2554f24

Parents:

5ddb8bf (diff), 1c85ffc (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

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

src/AST/Decl.hpp

@@ -30 +30 @@
 #include "Visitor.hpp"
 #include "Common/utility.h"
-#include "Common/SemanticError.h"                                               // error_str
 
 // Must be included in *all* AST classes; should be #undef'd at the end of the file
@@ -135 +134 @@
         std::vector< ptr<Expr> > withExprs;
 
-        // The difference between the two constructors is in how they handle
-        // assertions. The first constructor uses the assertions from the type
-        // parameters, in the style of the old ast, and puts them on the type.
-        // The second takes an explicite list of assertions and builds a list of
-        // references to them on the type.
-
-        FunctionDecl( const CodeLocation & loc, const std::string & name, std::vector<ptr<TypeDecl>>&& forall,
+        /// Monomorphic Function Constructor:
+        FunctionDecl( const CodeLocation & locaction, const std::string & name,
                 std::vector<ptr<DeclWithType>>&& params, std::vector<ptr<DeclWithType>>&& returns,
                 CompoundStmt * stmts, Storage::Classes storage = {}, Linkage::Spec linkage = Linkage::Cforall,
                 std::vector<ptr<Attribute>>&& attrs = {}, Function::Specs fs = {}, ArgumentFlag isVarArgs = FixedArgs );
 
+        /// Polymorphic Function Constructor:
         FunctionDecl( const CodeLocation & location, const std::string & name,
                 std::vector<ptr<TypeDecl>>&& forall, std::vector<ptr<DeclWithType>>&& assertions,