Changeset 31f4837 for src/ResolvExpr/Unify.cpp

Timestamp:

May 13, 2024, 10:26:59 AM (5 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

e6f1a4b

Parents:

acb33f15 (diff), ca4f2b2 (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/ResolvExpr/Unify.cpp (moved) (moved from src/ResolvExpr/Unify.cc) (3 diffs)

src/ResolvExpr/Unify.cpp

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Unify.cc --
+// Unify.cpp --
 //
 // Author           : Richard C. Bilson
@@ -14 +14 @@
 //
 
-#include "Unify.h"
+#include "Unify.hpp"
 
 #include <cassert>                  // for assertf, assert
@@ -32 +32 @@
 #include "AST/Type.hpp"
 #include "AST/TypeEnvironment.hpp"
-#include "Common/Eval.h"            // for eval
+#include "Common/Eval.hpp"          // for eval
 #include "CommonType.hpp"           // for commonType
-#include "FindOpenVars.h"           // for findOpenVars
+#include "FindOpenVars.hpp"         // for findOpenVars
 #include "SpecCost.hpp"             // for SpecCost
-#include "Tuples/Tuples.h"          // for isTtype
-#include "typeops.h"                // for flatten, occurs
+#include "Tuples/Tuples.hpp"        // for isTtype
+#include "Typeops.hpp"              // for flatten, occurs
 
 namespace ast {