-
Erwan Jahier authored
Indeed, ite are polymorphic, and thus inventing names during soc instanciation is error-prone, ugly, innefficient, and increase the code size. Moreover, using C ite to translate them online (ie, without going trough a soc) is straigforward # of unexpected failures 104->101.
Erwan Jahier authoredIndeed, ite are polymorphic, and thus inventing names during soc instanciation is error-prone, ugly, innefficient, and increase the code size. Moreover, using C ite to translate them online (ie, without going trough a soc) is straigforward # of unexpected failures 104->101.
l2lRmPoly.mli 527 B
(* Time-stamp: <modified the 30/06/2014 (at 10:26) by Erwan Jahier> *)
(** Remove overloading of nodes used with iterators.
nb: it actually does not remove remove polymorphism actually -> TODO: Rename this module.
nb2 : only if/then/else is truely polymorphic.
nb :
- il est préférable d'appeler
ce module AVANT L2lAliasType,
sinon on risque d'avoir des alias bizarres, du style :
'anynum_4_7_int'
au lieu de
'int_4_7'
Mais bon, normalement c'est quand même correct ...
*)
val doit : LicPrg.t -> LicPrg.t