Let var hygiene#8103

Closed

graydon wants to merge 67 commits intorust-lang:masterfrom

graydon:let-var-hygiene

Commits on Jul 31, 2013

disallow ident equality checks when contexts are not equal

jbclements
authored and
graydon
committed
rename resolve to mtwt_resolve

jbclements
authored and
graydon
committed
ident->name

jbclements
authored and
graydon
committed
compare macro tokens hygienically (commented out)

jbclements
authored and
graydon
committed
try removing basically dead code in resolve

jbclements
authored and
graydon
committed
add hygiene support fns, move them around.

jbclements
authored and
graydon
committed
one-line comment

jbclements
authored and
graydon
committed
update librustc to use name comparison in most cases, and mtwt_resolve comparison in others

jbclements
authored and
graydon
committed
make ifn macro non-capturing

jbclements
authored and
graydon
committed
resolve test case

jbclements
authored and
graydon
committed
flip the switch on let renaming

jbclements
authored and
graydon
committed
renaming test cases

jbclements
authored and
graydon
committed
comments in ast.rs

jbclements
authored and
graydon
committed
removed unneccessary SyntaxExpander structs

jbclements
authored and
graydon
committed
separate ItemDecorator from ItemDecorator

jbclements
authored and
graydon
committed
refactor so tt_fold only requires an ident->ident fn

jbclements
authored and
graydon
committed
adding test case to check marking/unmarking

jbclements
authored and
graydon
committed
comments only

jbclements
authored and
graydon
committed
remove FIXME #2888, now bug is fixed

jbclements
authored and
graydon
committed
added FIXME comment

jbclements
authored and
graydon
committed
drop back to a simple gensym approach for fresh-name.

jbclements
authored and
graydon
committed
comments

jbclements
authored and
graydon
committed
make comparison of special_idents non-hygienic

jbclements
authored and
graydon
committed
use empty_ctxt to simplify downstream

jbclements
authored and
graydon
committed
test case work

jbclements
authored and
graydon
committed
re-add debug version

jbclements
authored and
graydon
committed
re-add lost call to expand_block_elts

jbclements
authored and
graydon
committed
test case work

jbclements
authored and
graydon
committed
test case support fns, remove debugging test case

jbclements
authored and
graydon
committed
new test that uncovers bug in fold

jbclements
authored and
graydon
committed
fixed bug in fold's traversal of cast exprs

jbclements
authored and
graydon
committed
added test for ptr_eq on fresh_name-generated idents

jbclements
authored and
graydon
committed
added gensym_copy mechanism to ensure sharing of pointers in the interner

jbclements
authored and
graydon
committed
added IterBytes for 4-tuples

jbclements
authored and
graydon
committed
marking on both input and output from macros. nice shiny new test case framework

jbclements
authored and
graydon
committed
add test case for macro token comparison

jbclements
authored and
graydon
committed
comments

jbclements
authored and
graydon
committed
add temporarily unused ctxt field to mac_invoc_tt

jbclements
authored and
graydon
committed
rework fold so that fold_tts takes an ast_fold rather than a thunk, stop using closures in ident traversal

jbclements
authored and
graydon
committed
WIP: adding context to macros

jbclements
authored and
graydon
committed
add fold_mac field to fold.rs

jbclements
authored and
graydon
committed
add fold_mac clause to fun_to_ctxt_folder

jbclements
authored and
graydon
committed
capturing macros now implemented

jbclements
authored and
graydon
committed
comments

jbclements
authored and
graydon
committed
remove dead code

jbclements
authored and
graydon
committed
fix one remaining token comparison, refactor token comparison to avoid == check

jbclements
authored and
graydon
committed
added utility function

jbclements
authored and
graydon
committed
ident->name in NamedField, elsewhere

jbclements
authored and
graydon
committed
uncomment mtwt_resolve calls

jbclements
authored and
graydon
committed
memoization for resolve

jbclements
authored and
graydon
committed
whitespace, reindentation, and comments only

jbclements
authored and
graydon
committed
remove unneeded imports, clean up unused var warnings

jbclements
authored and
graydon
committed
ident->name

jbclements
authored and
graydon
committed
xfailed unhygienic test

jbclements
authored and
graydon
committed
ident->name

jbclements
authored and
graydon
committed
expose mtwt_marksof for testing

jbclements
authored and
graydon
committed
awesome new bug! added test case

jbclements
authored and
graydon
committed
comment on hygienic context extension train fns

jbclements
authored and
graydon
committed
comments

jbclements
authored and
graydon
committed
added string_to_tts

jbclements
authored and
graydon
committed
WIP: adding mark-cancelling for macro_rules

jbclements
authored and
graydon
committed
fixed a bug that caused double-expand-traversal of macros that expand into modules.

jbclements
authored and
graydon
committed
add display_sctable fn to ast_util

jbclements
authored and
graydon
committed
add test case, cleanup

jbclements
authored and
graydon
committed
make macro hygienic

jbclements
authored and
graydon
committed
add hygiene test, add copyright to another

jbclements
authored and
graydon
committed
comment fix

jbclements
authored and
graydon
committed