Changeset 8d182b1 for src/ResolvExpr/module.mk

Timestamp:

Nov 14, 2023, 12:19:09 PM (23 months ago)

Author:

caparson <caparson@…>

Branches:

master

Children:

1ccae59, 89a8bab

Parents:

df8ba61a (diff), 5625427 (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/module.mk (modified) (5 diffs)

src/ResolvExpr/module.mk

@@ -18 +18 @@
       ResolvExpr/AdjustExprType.cc \
       ResolvExpr/AdjustExprType.hpp \
-      ResolvExpr/Alternative.cc \
-      ResolvExpr/AlternativeFinder.cc \
-      ResolvExpr/AlternativeFinder.h \
-      ResolvExpr/Alternative.h \
       ResolvExpr/Candidate.cpp \
       ResolvExpr/CandidateFinder.cpp \
@@ -35 +31 @@
       ResolvExpr/CurrentObject.cc \
       ResolvExpr/CurrentObject.h \
-      ResolvExpr/ExplodedActual.cc \
-      ResolvExpr/ExplodedActual.h \
       ResolvExpr/ExplodedArg.cpp \
       ResolvExpr/ExplodedArg.hpp \
       ResolvExpr/FindOpenVars.cc \
       ResolvExpr/FindOpenVars.h \
-      ResolvExpr/Occurs.cc \
       ResolvExpr/PolyCost.cc \
       ResolvExpr/PolyCost.hpp \
@@ -50 +43 @@
       ResolvExpr/RenameVars.cc \
       ResolvExpr/RenameVars.h \
-      ResolvExpr/ResolveAssertions.cc \
-      ResolvExpr/ResolveAssertions.h \
       ResolvExpr/Resolver.cc \
       ResolvExpr/Resolver.h \
@@ -61 +52 @@
       ResolvExpr/SpecCost.cc \
       ResolvExpr/SpecCost.hpp \
-      ResolvExpr/TypeEnvironment.cc \
-      ResolvExpr/TypeEnvironment.h \
       ResolvExpr/typeops.h \
       ResolvExpr/Unify.cc \
@@ -69 +58 @@
 
 SRC += $(SRC_RESOLVEXPR) \
-        ResolvExpr/AlternativePrinter.cc \
-        ResolvExpr/AlternativePrinter.h \
         ResolvExpr/CandidatePrinter.cpp \
         ResolvExpr/CandidatePrinter.hpp \