Changeset bf4fe05 for src/ResolvExpr/Unify.cpp

Timestamp:

May 13, 2024, 7:07:06 AM (17 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

ca4f2b2

Parents:

ec20ab9 (diff), 5f225f5 (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:

fix merge

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 {