Changeset c92bdcc for src/AST/TypeEnvironment.cpp

Timestamp:

May 10, 2024, 4:06:07 PM (5 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

0f612d2

Parents:

41c8312

Message:

Updated the rest of the names in src/ (except for the generated files).

File:

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

src/AST/TypeEnvironment.cpp

@@ -29 +29 @@
 #include "Print.hpp"
 #include "Type.hpp"
-#include "Common/Indenter.h"
-#include "ResolvExpr/typeops.h"    // for occurs
-#include "ResolvExpr/WidenMode.h"
-#include "ResolvExpr/Unify.h"      // for unifyInexact
-#include "Tuples/Tuples.h"         // for isTtype
+#include "Common/Indenter.hpp"
+#include "ResolvExpr/Typeops.hpp"    // for occurs
+#include "ResolvExpr/WidenMode.hpp"
+#include "ResolvExpr/Unify.hpp"      // for unifyInexact
+#include "Tuples/Tuples.hpp"         // for isTtype
 #include "CompilationState.hpp"