Message3170

Author moritz
Recipients jendrik, malte, moritz
Date 2014-05-19.16:55:52
Content
Used the suggested changes, with some modification to the numbers (allow initial
signs, and a leading dot).

Nearly done. Looks like I can get rid of the external dependency tree.hh.

Jendrik, could you run a few performance regression tests for me if I push the
code to some repository?

Btw, what is the current policy on the 'move' keyword? There are a few places in
parse tree transformation where this would be useful (but of course not necessary).
History
Date User Action Args
2014-05-19 16:55:52moritzsetmessageid: <1400511352.42.0.823492050528.issue288@unibas.ch>
2014-05-19 16:55:52moritzsetrecipients: + moritz, malte, jendrik
2014-05-19 16:55:52moritzlinkissue288 messages
2014-05-19 16:55:52moritzcreate