This pull request activates hygiene for 'let' bindings. argument bindings come soon#7745

Closed

jbclements wants to merge 67 commits intorust-lang:masterfrom

jbclements:let-var-hygiene

Commits on Jul 28, 2013

disallow ident equality checks when contexts are not equal
jbclements
committed
rename resolve to mtwt_resolve
jbclements
committed
ident->name
jbclements
committed
compare macro tokens hygienically (commented out)
jbclements
committed
try removing basically dead code in resolve
jbclements
committed
add hygiene support fns, move them around.
jbclements
committed
one-line comment
jbclements
committed
update librustc to use name comparison in most cases, and mtwt_resolve comparison in others
jbclements
committed
make ifn macro non-capturing
jbclements
committed
resolve test case
jbclements
committed
flip the switch on let renaming
jbclements
committed
renaming test cases
jbclements
committed
comments in ast.rs
jbclements
committed
removed unneccessary SyntaxExpander structs
jbclements
committed
separate ItemDecorator from ItemDecorator
jbclements
committed
refactor so tt_fold only requires an ident->ident fn
jbclements
committed
adding test case to check marking/unmarking
jbclements
committed
comments only
jbclements
committed
remove FIXME #2888, now bug is fixed
jbclements
committed
added FIXME comment
jbclements
committed
drop back to a simple gensym approach for fresh-name.
jbclements
committed
comments
jbclements
committed
make comparison of special_idents non-hygienic
jbclements
committed
use empty_ctxt to simplify downstream
jbclements
committed
test case work
jbclements
committed
re-add debug version
jbclements
committed
re-add lost call to expand_block_elts
jbclements
committed
test case work
jbclements
committed
test case support fns, remove debugging test case
jbclements
committed
new test that uncovers bug in fold
jbclements
committed
fixed bug in fold's traversal of cast exprs
jbclements
committed
added test for ptr_eq on fresh_name-generated idents
jbclements
committed
added gensym_copy mechanism to ensure sharing of pointers in the interner
jbclements
committed
added IterBytes for 4-tuples
jbclements
committed
marking on both input and output from macros. nice shiny new test case framework
jbclements
committed
add test case for macro token comparison
jbclements
committed
comments
jbclements
committed
add temporarily unused ctxt field to mac_invoc_tt
jbclements
committed
rework fold so that fold_tts takes an ast_fold rather than a thunk, stop using closures in ident traversal
jbclements
committed
WIP: adding context to macros
jbclements
committed
add fold_mac field to fold.rs
jbclements
committed
add fold_mac clause to fun_to_ctxt_folder
jbclements
committed
capturing macros now implemented
jbclements
committed
comments
jbclements
committed
remove dead code
jbclements
committed
fix one remaining token comparison, refactor token comparison to avoid == check
jbclements
committed
added utility function
jbclements
committed
ident->name in NamedField, elsewhere
jbclements
committed
uncomment mtwt_resolve calls
jbclements
committed
memoization for resolve
jbclements
committed
whitespace, reindentation, and comments only
jbclements
committed
remove unneeded imports, clean up unused var warnings
jbclements
committed
ident->name
jbclements
committed
xfailed unhygienic test
jbclements
committed
ident->name
jbclements
committed
expose mtwt_marksof for testing
jbclements
committed
awesome new bug! added test case
jbclements
committed
comment on hygienic context extension train fns
jbclements
committed
comments
jbclements
committed
added string_to_tts
jbclements
committed
WIP: adding mark-cancelling for macro_rules
jbclements
committed
fixed a bug that caused double-expand-traversal of macros that expand into modules.
jbclements
committed
add display_sctable fn to ast_util
jbclements
committed
add test case, cleanup
jbclements
committed
make macro hygienic
jbclements
committed
add hygiene test, add copyright to another
jbclements
committed
comment fix
jbclements
committed