55 Commits

Author	SHA1	Message	Date
Roberto Raggi	f895cbb472	Sorry this was not supposed to be committed. ... Revert "Revert "Try to fix the type rewriter."" This reverts commit c9bc1e7c64.	2010-07-20 15:10:02 +02:00
Roberto Raggi	c9bc1e7c64	Revert "Try to fix the type rewriter." ... This reverts commit 33b19f0210.	2010-07-20 14:23:46 +02:00
Roberto Raggi	33b19f0210	Try to fix the type rewriter.	2010-07-19 20:12:16 +02:00
Roberto Raggi	55936532c2	Disable the copy of SemanticEnvironment.	2010-07-19 19:24:31 +02:00
Roberto Raggi	fff4203a46	Introduced helpers to rewrite types and names. ... Done-with: Erik Verbruggen	2010-07-16 11:04:52 +02:00