Skip to content
Snippets Groups Projects
  • Erwan Jahier's avatar
    3f2aa6c4
    Replace constants by their values. · 3f2aa6c4
    Erwan Jahier authored
    The rationale for this change is that this is necessary for constants
    appearing static  arg to  be replaced. One  problem is that  they are
    handled in exactly  the same way as top-level  constants, which could
    be left  un-expanded. I could make  something in order  to not expand
    those top-levelconstants, but is it worth the trouble ?
    
    To do that,  I have changed sligthly the  representation of Eff.ARRAY
    (the elements  are now  attached to the  constructor itself,  and the
    operands  is empty)  and  the one  of  array constant  (we attach  to
    Array_const_eff  a  list  instead  of  an  array,  for  the  sake  of
    homogeneity) with what is done in Eff.val_eff.
    3f2aa6c4
    History
    Replace constants by their values.
    Erwan Jahier authored
    The rationale for this change is that this is necessary for constants
    appearing static  arg to  be replaced. One  problem is that  they are
    handled in exactly  the same way as top-level  constants, which could
    be left  un-expanded. I could make  something in order  to not expand
    those top-levelconstants, but is it worth the trouble ?
    
    To do that,  I have changed sligthly the  representation of Eff.ARRAY
    (the elements  are now  attached to the  constructor itself,  and the
    operands  is empty)  and  the one  of  array constant  (we attach  to
    Array_const_eff  a  list  instead  of  an  array,  for  the  sake  of
    homogeneity) with what is done in Eff.val_eff.