Commits on Apr 6, 2014

1. syntax: Tweak parsing lifetime bounds on closures …

   In summary these are some example transitions this change makes:
   
       'a ||       => ||: 'a
       proc:Send() => proc():Send
   
   The intended syntax for closures is to put the lifetime bound not at the front
   but rather in the list of bounds. Currently there is no official support in the
   AST for bounds that are not 'static, so this case is currently specially handled
   in the parser to desugar to what the AST is expecting. Additionally, this moves
   the bounds on procedures to the correct position, which is after the argument
   list.
   
   The current grammar for closures and procedures is:
   
       procedure := 'proc' [ '<' lifetime-list '>' ] '(' arg-list ')'
                           [ ':' bound-list ] [ '->' type ]
       closure := [ 'unsafe' ] ['<' lifetime-list '>' ] '|' arg-list '|'
                           [ ':' bound-list ] [ '->' type ]
       lifetime-list := lifetime | lifetime ',' lifetime-list
       arg-list := ident ':' type | ident ':' type ',' arg-list
       bound-list := bound | bound '+' bound-list
       bound := path | lifetime
   
   This does not currently handle the << ambiguity in `Option<<'a>||>`, I am
   deferring that to a later patch. Additionally, this removes the support for the
   obsolete syntaxes of ~fn and &fn.
   
   Closes rust-lang#10553
   Closes rust-lang#10767
   Closes rust-lang#11209
   Closes rust-lang#11210
   Closes rust-lang#11211

   

   alexcrichton committed Apr 6, 2014
   5 Configuration menu

   • View commit details
   • Copy full SHA for d1c584e
   • Browse repository at this point

   Copy the full SHA

   d1c584e View commit details

   Browse the repository at this point in the history