#
# ChangeLog for src/AST/ForallSubstitutor.hpp
#
# Generated by Trac 1.2.1
# Sep 5, 2024, 2:18:06 PM

Sat, 12 Dec 2020 04:20:45 GMT Fangren Yu <f37yu@…> [361bf01]
	* src/AST/Convert.cpp (modified)
	* src/AST/ForallSubstitutor.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeEnvironment.cpp (modified)
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/GenPoly/GenPoly.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/RenameVars.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)

	remove ParameterizedType and put content into FunctionType


Thu, 24 Sep 2020 19:56:16 GMT Fangren Yu <f37yu@…> [954c954]
	* doc/proposals/function_type_change.md (added)
	* src/AST/Convert.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/ForallSubstitutor.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SpecCost.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)

	Move function argument and return variable declarations from ...


Thu, 27 Jun 2019 21:16:54 GMT Aaron Moss <a3moss@…> [e0e9a0b]
	* src/AST/Decl.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/ForallSubstitutionTable.cpp (added)
	* src/AST/ForallSubstitutionTable.hpp (added)
	* src/AST/ForallSubstitutor.hpp (added)
	* src/AST/Node.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/module.mk (modified)
	* src/Common/ScopedMap.h (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)

	Somewhat deeper clone for types with forall qualifiers.
	* Added ...