Re: [CIL users] A wish for 2.0

2013-10-15 Thread Gabriel Kerneis
Dear Pietro, On Tue, Oct 15, 2013 at 01:23:46PM +0200, Pietro Braione wrote: > How far is CIL from this ideal? Would be happy to hear that we are > already there. Not that far away. Let's imagine for a second that Simplify is split in a series of simpler passes with well defined interfaces (.mli

[CIL users] A wish for 2.0

2013-10-15 Thread Pietro Braione
Hello to all. I would like to express two personal wishes for 2.0, motivated by my personal experience with CIL and the recent support to plugins. I think that plugins should lead to a situation where: 1- complex CIL transformation passes are "unentangled" as compositions of basic ("primitive")