Changes in src/ResolvExpr/module.mk [c6b4432:d3652df]

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 \
@@ -31 +35 @@
       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 \
@@ -43 +50 @@
       ResolvExpr/RenameVars.cc \
       ResolvExpr/RenameVars.h \
+      ResolvExpr/ResolveAssertions.cc \
+      ResolvExpr/ResolveAssertions.h \
       ResolvExpr/Resolver.cc \
       ResolvExpr/Resolver.h \
@@ -52 +61 @@
       ResolvExpr/SpecCost.cc \
       ResolvExpr/SpecCost.hpp \
+      ResolvExpr/TypeEnvironment.cc \
+      ResolvExpr/TypeEnvironment.h \
       ResolvExpr/typeops.h \
       ResolvExpr/Unify.cc \
@@ -58 +69 @@
 
 SRC += $(SRC_RESOLVEXPR) \
+        ResolvExpr/AlternativePrinter.cc \
+        ResolvExpr/AlternativePrinter.h \
         ResolvExpr/CandidatePrinter.cpp \
         ResolvExpr/CandidatePrinter.hpp \