/home/lrde/lrde-2005/vasseu_c/xt/bin/strc -I ../../src/syn -I /home/lrde/lrde-2
005/vasseu_c/xt/share/asfix-tools -I /home/lrde/lrde-2005/vasseu_c/xt/share/xtc
--main pack-boxedsdf --verbose 0 -i pack-boxedsdf.str -o pack-boxedsdf.c -c
** Warning: argument 'pack' of definition 'pack-modules' starts with
constant
type
** Warning: argument 'pack' of definition 'pack-modules' starts with
constant
type
** Warning: Starting with Stratego 0.9.3 the calling convention of
strategies has been changed such that the current term is the *last*
argument. For most strategy definitions this is not a problem.
Only strategies which explicitly declare the type of a higher-order
strategy argument are affected. The argument declarations
should be changed such that the current term is the last argument.
This change is currently done automatically by the compiler. In
the future source programs are expected to incorporate this change.
Jésus ?
--
Clement Vasseur
nitro(a)epita.fr