Code

Let var hygiene#8103

Code

Closed

graydon wants to merge 67 commits intorust-lang:masterrust-lang/rust:masterfrom

graydon:let-var-hygienegraydon/rust:let-var-hygieneCopy head branch name to clipboard

Commits

Commits on Jul 31, 2013

• disallow ident equality checks when contexts are not equal

  

  jbclements

  authored and

  graydon

  committed
  df3dc14

  Copy full SHA for df3dc14

• rename resolve to mtwt_resolve

  

  jbclements

  authored and

  graydon

  committed
  d1cec3f

  Copy full SHA for d1cec3f

• ident->name

  

  jbclements

  authored and

  graydon

  committed
  5fa9fcb

  Copy full SHA for 5fa9fcb

• compare macro tokens hygienically (commented out)

  

  jbclements

  authored and

  graydon

  committed
  b3dfd26

  Copy full SHA for b3dfd26

• try removing basically dead code in resolve

  

  jbclements

  authored and

  graydon

  committed
  a2ede2d

  Copy full SHA for a2ede2d

• add hygiene support fns, move them around.

  Show description for 718dae8
  

  jbclements

  authored and

  graydon

  committed
  718dae8

  Copy full SHA for 718dae8

• one-line comment

  

  jbclements

  authored and

  graydon

  committed
  7c7df2b

  Copy full SHA for 7c7df2b

• update librustc to use name comparison in most cases, and mtwt_resolve comparison in others

  

  jbclements

  authored and

  graydon

  committed
  88fb3c0

  Copy full SHA for 88fb3c0

• make ifn macro non-capturing

  

  jbclements

  authored and

  graydon

  committed
  d1d35c5

  Copy full SHA for d1d35c5

• resolve test case

  Show description for 2638ecf
  

  jbclements

  authored and

  graydon

  committed
  2638ecf

  Copy full SHA for 2638ecf

• flip the switch on let renaming

  

  jbclements

  authored and

  graydon

  committed
  245f4c9

  Copy full SHA for 245f4c9

• renaming test cases

  

  jbclements

  authored and

  graydon

  committed
  5a9a3aa

  Copy full SHA for 5a9a3aa

• comments in ast.rs

  

  jbclements

  authored and

  graydon

  committed
  9c742a9

  Copy full SHA for 9c742a9

• removed unneccessary SyntaxExpander structs

  

  jbclements

  authored and

  graydon

  committed
  64af970

  Copy full SHA for 64af970

• separate ItemDecorator from ItemDecorator

  

  jbclements

  authored and

  graydon

  committed
  cbd0674

  Copy full SHA for cbd0674

• refactor so tt_fold only requires an ident->ident fn

  

  jbclements

  authored and

  graydon

  committed
  1bf6981

  Copy full SHA for 1bf6981

• adding test case to check marking/unmarking

  

  jbclements

  authored and

  graydon

  committed
  f33b706

  Copy full SHA for f33b706

• comments only

  

  jbclements

  authored and

  graydon

  committed
  085ef4a

  Copy full SHA for 085ef4a

• remove FIXME #2888, now bug is fixed

  

  jbclements

  authored and

  graydon

  committed
  785d6d7

  Copy full SHA for 785d6d7

• added FIXME comment

  

  jbclements

  authored and

  graydon

  committed
  5c4ba21

  Copy full SHA for 5c4ba21

• drop back to a simple gensym approach for fresh-name.

  Show description for 6ac5129
  

  jbclements

  authored and

  graydon

  committed
  6ac5129

  Copy full SHA for 6ac5129

• comments

  

  jbclements

  authored and

  graydon

  committed
  4bec5c5

  Copy full SHA for 4bec5c5

• make comparison of special_idents non-hygienic

  

  jbclements

  authored and

  graydon

  committed
  d062536

  Copy full SHA for d062536

• use empty_ctxt to simplify downstream

  

  jbclements

  authored and

  graydon

  committed
  5d75868

  Copy full SHA for 5d75868

• test case work

  

  jbclements

  authored and

  graydon

  committed
  ab72113

  Copy full SHA for ab72113

• re-add debug version

  

  jbclements

  authored and

  graydon

  committed
  c819ed7

  Copy full SHA for c819ed7

• re-add lost call to expand_block_elts

  

  jbclements

  authored and

  graydon

  committed
  37ef9b2

  Copy full SHA for 37ef9b2

• test case work

  

  jbclements

  authored and

  graydon

  committed
  e3c1cd1

  Copy full SHA for e3c1cd1

• test case support fns, remove debugging test case

  

  jbclements

  authored and

  graydon

  committed
  2e8d6a7

  Copy full SHA for 2e8d6a7

• new test that uncovers bug in fold

  

  jbclements

  authored and

  graydon

  committed
  7c9edf8

  Copy full SHA for 7c9edf8

• fixed bug in fold's traversal of cast exprs

  

  jbclements

  authored and

  graydon

  committed
  e16e843

  Copy full SHA for e16e843

• added test for ptr_eq on fresh_name-generated idents

  

  jbclements

  authored and

  graydon

  committed
  bc603da

  Copy full SHA for bc603da

• added gensym_copy mechanism to ensure sharing of pointers in the interner

  Show description for 2621899
  

  jbclements

  authored and

  graydon

  committed
  2621899

  Copy full SHA for 2621899

• added IterBytes for 4-tuples

  

  jbclements

  authored and

  graydon

  committed
  bbe90c7

  Copy full SHA for bbe90c7

• marking on both input and output from macros. nice shiny new test case framework

  

  jbclements

  authored and

  graydon

  committed
  a3b918c

  Copy full SHA for a3b918c

• add test case for macro token comparison

  

  jbclements

  authored and

  graydon

  committed
  35d4c72

  Copy full SHA for 35d4c72

• comments

  

  jbclements

  authored and

  graydon

  committed
  a6d45e6

  Copy full SHA for a6d45e6

• add temporarily unused ctxt field to mac_invoc_tt

  

  jbclements

  authored and

  graydon

  committed
  5058ce7

  Copy full SHA for 5058ce7

• 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
  5b7a7f5

  Copy full SHA for 5b7a7f5

• WIP: adding context to macros

  

  jbclements

  authored and

  graydon

  committed
  e1dc79a

  Copy full SHA for e1dc79a

• add fold_mac field to fold.rs

  

  jbclements

  authored and

  graydon

  committed
  252a56f

  Copy full SHA for 252a56f

• add fold_mac clause to fun_to_ctxt_folder

  

  jbclements

  authored and

  graydon

  committed
  87cc948

  Copy full SHA for 87cc948

• capturing macros now implemented

  

  jbclements

  authored and

  graydon

  committed
  a2c97fa

  Copy full SHA for a2c97fa

• comments

  

  jbclements

  authored and

  graydon

  committed
  03a1d76

  Copy full SHA for 03a1d76

• remove dead code

  

  jbclements

  authored and

  graydon

  committed
  9d1f421

  Copy full SHA for 9d1f421

• fix one remaining token comparison, refactor token comparison to avoid == check

  

  jbclements

  authored and

  graydon

  committed
  99507d4

  Copy full SHA for 99507d4

• added utility function

  

  jbclements

  authored and

  graydon

  committed
  e5ac12a

  Copy full SHA for e5ac12a

• ident->name in NamedField, elsewhere

  

  jbclements

  authored and

  graydon

  committed
  d47303c

  Copy full SHA for d47303c

• uncomment mtwt_resolve calls

  

  jbclements

  authored and

  graydon

  committed
  4efcfe5

  Copy full SHA for 4efcfe5

• memoization for resolve

  

  jbclements

  authored and

  graydon

  committed
  d2ff2a6

  Copy full SHA for d2ff2a6

• whitespace, reindentation, and comments only

  

  jbclements

  authored and

  graydon

  committed
  ae3bb6a

  Copy full SHA for ae3bb6a

• remove unneeded imports, clean up unused var warnings

  

  jbclements

  authored and

  graydon

  committed
  b97b2b5

  Copy full SHA for b97b2b5

• ident->name

  

  jbclements

  authored and

  graydon

  committed
  34b1f85

  Copy full SHA for 34b1f85

• xfailed unhygienic test

  

  jbclements

  authored and

  graydon

  committed
  cc17a51

  Copy full SHA for cc17a51

• ident->name

  

  jbclements

  authored and

  graydon

  committed
  b0c4676

  Copy full SHA for b0c4676

• expose mtwt_marksof for testing

  

  jbclements

  authored and

  graydon

  committed
  679d247

  Copy full SHA for 679d247

• awesome new bug! added test case

  

  jbclements

  authored and

  graydon

  committed
  93d97c5

  Copy full SHA for 93d97c5

• comment on hygienic context extension train fns

  

  jbclements

  authored and

  graydon

  committed
  f2ba71a

  Copy full SHA for f2ba71a

• comments

  

  jbclements

  authored and

  graydon

  committed
  b0a9101

  Copy full SHA for b0a9101

• added string_to_tts

  

  jbclements

  authored and

  graydon

  committed
  6a29010

  Copy full SHA for 6a29010

• WIP: adding mark-cancelling for macro_rules

  

  jbclements

  authored and

  graydon

  committed
  8b32e8f

  Copy full SHA for 8b32e8f

• fixed a bug that caused double-expand-traversal of macros that expand into modules.

  

  jbclements

  authored and

  graydon

  committed
  0e05c12

  Copy full SHA for 0e05c12

• add display_sctable fn to ast_util

  

  jbclements

  authored and

  graydon

  committed
  362b375

  Copy full SHA for 362b375

• add test case, cleanup

  

  jbclements

  authored and

  graydon

  committed
  d950fd8

  Copy full SHA for d950fd8

• make macro hygienic

  

  jbclements

  authored and

  graydon

  committed
  67a3c1b

  Copy full SHA for 67a3c1b

• add hygiene test, add copyright to another

  

  jbclements

  authored and

  graydon

  committed
  5196e85

  Copy full SHA for 5196e85

• comment fix

  

  jbclements

  authored and

  graydon

  committed
  348327d

  Copy full SHA for 348327d