Skip to content
Snippets Groups Projects
Normal view Permalink
l2lWhenOnId.mli 228 B
Newer Older
Erwan Jahier's avatar
Add a --when-on-ident option to be able to translate enums into ec/v4.
Erwan Jahier committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 
(** Time-stamp: <modified the 31/05/2016 (at 16:58) by Erwan Jahier> *)

(** Transforms equations of the form

   y = x when Toto(c);

   into 
  
   x when Toto_c ; 
   Toto_c=Toto(c);
    
*)

val doit : LicPrg.t -> LicPrg.t