[Projects] XRM r96: Remove spurious backslashes.

Repository: https://svn.lrde.epita.fr/svn/xrm I need to fix gplize.sh.

ChangeLog: 2006-12-03 SIGOURE Benoit sigoure.benoit@lrde.epita.fr

Remove spurious backslashes. * src/lib/native/ceil.c, * src/lib/native/floor.c, * src/lib/native/libstr-reals.h, * src/lib/native/power.c, * src/lib/native/rand.c, * src/lib/pctl/pp/pctl-filter.str, * src/lib/pctl/pp/pctl-formula.str, * src/lib/pctl/pp/pctl-label.str, * src/lib/pctl/pp/pctl-path.str, * src/lib/pctl/pp/pctl-properties-file.str, * src/lib/pctl/pp/pctl-property.str, * src/lib/pctl/pp/pctl-reward.str, * src/lib/pctl/pp/pctl-to-abox.str, * src/lib/pctl/pp/pp-pctl-to-box.str, * src/lib/prism/pp/helpers.str, * src/lib/prism/pp/pp-prism-to-box.str, * src/lib/prism/pp/prism-command.str, * src/lib/prism/pp/prism-conflicts.str, * src/lib/prism/pp/prism-constant.str, * src/lib/prism/pp/prism-declaration.str, * src/lib/prism/pp/prism-expression.str, * src/lib/prism/pp/prism-formula.str, * src/lib/prism/pp/prism-global.str, * src/lib/prism/pp/prism-init.str, * src/lib/prism/pp/prism-module.str, * src/lib/prism/pp/prism-modulesfile.str, * src/lib/prism/pp/prism-modulesfiletype.str, * src/lib/prism/pp/prism-reward.str, * src/lib/prism/pp/prism-systemcomposition.str, * src/lib/prism/pp/prism-to-abox.str, * src/lib/prism/pp/prism-update.str, * src/lib/xpctl/pp/pp-xpctl-to-box.str, * src/lib/xpctl/pp/xpctl-to-abox.str, * src/lib/xrm/pp/pp-xrm-to-box.str, * src/lib/xrm/pp/xrm-arrays.str, * src/lib/xrm/pp/xrm-constant.str, * src/lib/xrm/pp/xrm-expression.str, * src/lib/xrm/pp/xrm-formula.str, * src/lib/xrm/pp/xrm-meta-for.str, * src/lib/xrm/pp/xrm-meta-if.str, * src/lib/xrm/pp/xrm-module.str, * src/lib/xrm/pp/xrm-properties.str, * src/lib/xrm/pp/xrm-to-abox.str, * src/str/array-decl-desugar.str, * src/str/builtin-rand.str, * src/str/check-meta-vars.str, * src/str/collect-static-const-decl.str, * src/str/desugar-array-access.str, * src/str/eval-meta-code.str, * src/str/flatten-array-access.str, * src/str/ice.str, * src/str/inline.str, * src/str/log-timed.str, * src/str/prism-desugar.str, * src/str/properties-in-xrm.str, * src/str/reals.str, * src/str/signatures.str, * src/str/type-check.str, * src/str/xrm-front.str, * src/str/xrm-to-prism.str, * src/tools/parse-pctl.str, * src/tools/parse-prism.str, * src/tools/parse-xpctl.str, * src/tools/parse-xrm.str, * src/tools/parser-common.str, * src/tools/pp-pctl.str, * src/tools/pp-prism.str, * src/tools/pp-xpctl.str, * src/tools/pp-xrm.str: Here.

lib/native/ceil.c | 2 +- lib/native/floor.c | 2 +- lib/native/libstr-reals.h | 2 +- lib/native/power.c | 2 +- lib/native/rand.c | 2 +- lib/pctl/pp/pctl-filter.str | 2 +- lib/pctl/pp/pctl-formula.str | 2 +- lib/pctl/pp/pctl-label.str | 2 +- lib/pctl/pp/pctl-path.str | 2 +- lib/pctl/pp/pctl-properties-file.str | 2 +- lib/pctl/pp/pctl-property.str | 2 +- lib/pctl/pp/pctl-reward.str | 2 +- lib/pctl/pp/pctl-to-abox.str | 2 +- lib/pctl/pp/pp-pctl-to-box.str | 2 +- lib/prism/pp/helpers.str | 2 +- lib/prism/pp/pp-prism-to-box.str | 2 +- lib/prism/pp/prism-command.str | 2 +- lib/prism/pp/prism-conflicts.str | 2 +- lib/prism/pp/prism-constant.str | 2 +- lib/prism/pp/prism-declaration.str | 2 +- lib/prism/pp/prism-expression.str | 2 +- lib/prism/pp/prism-formula.str | 2 +- lib/prism/pp/prism-global.str | 2 +- lib/prism/pp/prism-init.str | 2 +- lib/prism/pp/prism-module.str | 2 +- lib/prism/pp/prism-modulesfile.str | 2 +- lib/prism/pp/prism-modulesfiletype.str | 2 +- lib/prism/pp/prism-reward.str | 2 +- lib/prism/pp/prism-systemcomposition.str | 2 +- lib/prism/pp/prism-to-abox.str | 2 +- lib/prism/pp/prism-update.str | 2 +- lib/xpctl/pp/pp-xpctl-to-box.str | 2 +- lib/xpctl/pp/xpctl-to-abox.str | 2 +- lib/xrm/pp/pp-xrm-to-box.str | 2 +- lib/xrm/pp/xrm-arrays.str | 2 +- lib/xrm/pp/xrm-constant.str | 2 +- lib/xrm/pp/xrm-expression.str | 2 +- lib/xrm/pp/xrm-formula.str | 2 +- lib/xrm/pp/xrm-meta-for.str | 2 +- lib/xrm/pp/xrm-meta-if.str | 2 +- lib/xrm/pp/xrm-module.str | 2 +- lib/xrm/pp/xrm-properties.str | 2 +- lib/xrm/pp/xrm-to-abox.str | 2 +- str/array-decl-desugar.str | 2 +- str/builtin-rand.str | 2 +- str/check-meta-vars.str | 2 +- str/collect-static-const-decl.str | 2 +- str/desugar-array-access.str | 2 +- str/eval-meta-code.str | 2 +- str/flatten-array-access.str | 2 +- str/ice.str | 2 +- str/inline.str | 2 +- str/log-timed.str | 2 +- str/prism-desugar.str | 2 +- str/properties-in-xrm.str | 2 +- str/reals.str | 2 +- str/signatures.str | 2 +- str/type-check.str | 2 +- str/xrm-front.str | 2 +- str/xrm-to-prism.str | 2 +- tools/parse-pctl.str | 2 +- tools/parse-prism.str | 2 +- tools/parse-xpctl.str | 2 +- tools/parse-xrm.str | 2 +- tools/parser-common.str | 2 +- tools/pp-pctl.str | 2 +- tools/pp-prism.str | 2 +- tools/pp-xpctl.str | 2 +- tools/pp-xrm.str | 2 +- 69 files changed, 69 insertions(+), 69 deletions(-)

Index: src/tools/parse-pctl.str =================================================================== --- src/tools/parse-pctl.str (revision 94) +++ src/tools/parse-pctl.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module parse-pctl imports libstratego-xtc Index: src/tools/parse-xrm.str =================================================================== --- src/tools/parse-xrm.str (revision 94) +++ src/tools/parse-xrm.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module parse-xrm imports libstratego-xtc Index: src/tools/pp-pctl.str =================================================================== --- src/tools/pp-pctl.str (revision 94) +++ src/tools/pp-pctl.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ // Code mostly from pp-java by Martin Bravenboer martin@cs.uu.nl

module pp-pctl Index: src/tools/parse-prism.str =================================================================== --- src/tools/parse-prism.str (revision 94) +++ src/tools/parse-prism.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module parse-prism imports libstratego-xtc Index: src/tools/parse-xpctl.str =================================================================== --- src/tools/parse-xpctl.str (revision 94) +++ src/tools/parse-xpctl.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module parse-xpctl imports libstratego-xtc Index: src/tools/parser-common.str =================================================================== --- src/tools/parser-common.str (revision 94) +++ src/tools/parser-common.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ // used by parse-* to factor common strategies

module parser-common Index: src/tools/pp-xrm.str =================================================================== --- src/tools/pp-xrm.str (revision 94) +++ src/tools/pp-xrm.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ // Code mostly from pp-java by Martin Bravenboer martin@cs.uu.nl

module pp-xrm Index: src/tools/pp-prism.str =================================================================== --- src/tools/pp-prism.str (revision 94) +++ src/tools/pp-prism.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ // Code mostly from pp-java by Martin Bravenboer martin@cs.uu.nl

module pp-prism Index: src/tools/pp-xpctl.str =================================================================== --- src/tools/pp-xpctl.str (revision 94) +++ src/tools/pp-xpctl.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ // Code mostly from pp-java by Martin Bravenboer martin@cs.uu.nl

module pp-xpctl Index: src/lib/pctl/pp/pctl-properties-file.str =================================================================== --- src/lib/pctl/pp/pctl-properties-file.str (revision 94) +++ src/lib/pctl/pp/pctl-properties-file.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-properties-file

rules Index: src/lib/pctl/pp/pctl-to-abox.str =================================================================== --- src/lib/pctl/pp/pctl-to-abox.str (revision 94) +++ src/lib/pctl/pp/pctl-to-abox.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-to-abox imports libstratego-xtc Index: src/lib/pctl/pp/pctl-label.str =================================================================== --- src/lib/pctl/pp/pctl-label.str (revision 94) +++ src/lib/pctl/pp/pctl-label.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-label

rules Index: src/lib/pctl/pp/pctl-property.str =================================================================== --- src/lib/pctl/pp/pctl-property.str (revision 94) +++ src/lib/pctl/pp/pctl-property.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-property

rules Index: src/lib/pctl/pp/pctl-reward.str =================================================================== --- src/lib/pctl/pp/pctl-reward.str (revision 94) +++ src/lib/pctl/pp/pctl-reward.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-reward

rules Index: src/lib/pctl/pp/pp-pctl-to-box.str =================================================================== --- src/lib/pctl/pp/pp-pctl-to-box.str (revision 94) +++ src/lib/pctl/pp/pp-pctl-to-box.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pp-pctl-to-box imports Box Index: src/lib/pctl/pp/pctl-filter.str =================================================================== --- src/lib/pctl/pp/pctl-filter.str (revision 94) +++ src/lib/pctl/pp/pctl-filter.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-filter

rules Index: src/lib/pctl/pp/pctl-path.str =================================================================== --- src/lib/pctl/pp/pctl-path.str (revision 94) +++ src/lib/pctl/pp/pctl-path.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-path

rules Index: src/lib/pctl/pp/pctl-formula.str =================================================================== --- src/lib/pctl/pp/pctl-formula.str (revision 94) +++ src/lib/pctl/pp/pctl-formula.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-formula

rules Index: src/lib/native/floor.c =================================================================== --- src/lib/native/floor.c (revision 94) +++ src/lib/native/floor.c (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */

#include <math.h> #include "libstr-reals.h" Index: src/lib/native/rand.c =================================================================== --- src/lib/native/rand.c (revision 94) +++ src/lib/native/rand.c (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */

#include <stdlib.h> #include "libstr-reals.h" Index: src/lib/native/libstr-reals.h =================================================================== --- src/lib/native/libstr-reals.h (revision 94) +++ src/lib/native/libstr-reals.h (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */

#ifndef LIBSTR_REALS_H_ # define LIBSTR_REALS_H_ Index: src/lib/native/ceil.c =================================================================== --- src/lib/native/ceil.c (revision 94) +++ src/lib/native/ceil.c (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */

#include <math.h> #include <stdio.h> Index: src/lib/native/power.c =================================================================== --- src/lib/native/power.c (revision 94) +++ src/lib/native/power.c (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */

#include <math.h> #include "libstr-reals.h" Index: src/lib/xrm/pp/xrm-formula.str =================================================================== --- src/lib/xrm/pp/xrm-formula.str (revision 94) +++ src/lib/xrm/pp/xrm-formula.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-formula

rules Index: src/lib/xrm/pp/xrm-to-abox.str =================================================================== --- src/lib/xrm/pp/xrm-to-abox.str (revision 94) +++ src/lib/xrm/pp/xrm-to-abox.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-to-abox imports libstratego-xtc Index: src/lib/xrm/pp/xrm-meta-for.str =================================================================== --- src/lib/xrm/pp/xrm-meta-for.str (revision 94) +++ src/lib/xrm/pp/xrm-meta-for.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-meta-for

rules Index: src/lib/xrm/pp/xrm-meta-if.str =================================================================== --- src/lib/xrm/pp/xrm-meta-if.str (revision 94) +++ src/lib/xrm/pp/xrm-meta-if.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-meta-if

rules Index: src/lib/xrm/pp/xrm-module.str =================================================================== --- src/lib/xrm/pp/xrm-module.str (revision 94) +++ src/lib/xrm/pp/xrm-module.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-module

rules Index: src/lib/xrm/pp/pp-xrm-to-box.str =================================================================== --- src/lib/xrm/pp/pp-xrm-to-box.str (revision 94) +++ src/lib/xrm/pp/pp-xrm-to-box.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pp-xrm-to-box imports Box Index: src/lib/xrm/pp/xrm-constant.str =================================================================== --- src/lib/xrm/pp/xrm-constant.str (revision 94) +++ src/lib/xrm/pp/xrm-constant.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-constant

rules Index: src/lib/xrm/pp/xrm-properties.str =================================================================== --- src/lib/xrm/pp/xrm-properties.str (revision 94) +++ src/lib/xrm/pp/xrm-properties.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-properties

rules Index: src/lib/xrm/pp/xrm-expression.str =================================================================== --- src/lib/xrm/pp/xrm-expression.str (revision 94) +++ src/lib/xrm/pp/xrm-expression.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-expression imports helpers

Index: src/lib/xrm/pp/xrm-arrays.str =================================================================== --- src/lib/xrm/pp/xrm-arrays.str (revision 94) +++ src/lib/xrm/pp/xrm-arrays.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-arrays

rules Index: src/lib/prism/pp/prism-update.str =================================================================== --- src/lib/prism/pp/prism-update.str (revision 94) +++ src/lib/prism/pp/prism-update.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-update imports helpers

Index: src/lib/prism/pp/prism-reward.str =================================================================== --- src/lib/prism/pp/prism-reward.str (revision 94) +++ src/lib/prism/pp/prism-reward.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-reward

rules Index: src/lib/prism/pp/prism-module.str =================================================================== --- src/lib/prism/pp/prism-module.str (revision 94) +++ src/lib/prism/pp/prism-module.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-module imports helpers

Index: src/lib/prism/pp/pp-prism-to-box.str =================================================================== --- src/lib/prism/pp/pp-prism-to-box.str (revision 94) +++ src/lib/prism/pp/pp-prism-to-box.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pp-prism-to-box imports Box Index: src/lib/prism/pp/prism-init.str =================================================================== --- src/lib/prism/pp/prism-init.str (revision 94) +++ src/lib/prism/pp/prism-init.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-init

rules Index: src/lib/prism/pp/prism-formula.str =================================================================== --- src/lib/prism/pp/prism-formula.str (revision 94) +++ src/lib/prism/pp/prism-formula.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-formula

rules Index: src/lib/prism/pp/prism-systemcomposition.str =================================================================== --- src/lib/prism/pp/prism-systemcomposition.str (revision 94) +++ src/lib/prism/pp/prism-systemcomposition.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-systemcomposition imports helpers

Index: src/lib/prism/pp/prism-modulesfile.str =================================================================== --- src/lib/prism/pp/prism-modulesfile.str (revision 94) +++ src/lib/prism/pp/prism-modulesfile.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-modulesfile

rules Index: src/lib/prism/pp/helpers.str =================================================================== --- src/lib/prism/pp/helpers.str (revision 94) +++ src/lib/prism/pp/helpers.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module helpers

strategies Index: src/lib/prism/pp/prism-modulesfiletype.str =================================================================== --- src/lib/prism/pp/prism-modulesfiletype.str (revision 94) +++ src/lib/prism/pp/prism-modulesfiletype.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-modulesfiletype

rules Index: src/lib/prism/pp/prism-conflicts.str =================================================================== --- src/lib/prism/pp/prism-conflicts.str (revision 94) +++ src/lib/prism/pp/prism-conflicts.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-conflicts

rules Index: src/lib/prism/pp/prism-declaration.str =================================================================== --- src/lib/prism/pp/prism-declaration.str (revision 94) +++ src/lib/prism/pp/prism-declaration.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-declaration

rules Index: src/lib/prism/pp/prism-constant.str =================================================================== --- src/lib/prism/pp/prism-constant.str (revision 94) +++ src/lib/prism/pp/prism-constant.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-constant

rules Index: src/lib/prism/pp/prism-expression.str =================================================================== --- src/lib/prism/pp/prism-expression.str (revision 94) +++ src/lib/prism/pp/prism-expression.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-expression imports helpers

Index: src/lib/prism/pp/prism-global.str =================================================================== --- src/lib/prism/pp/prism-global.str (revision 94) +++ src/lib/prism/pp/prism-global.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-global

rules Index: src/lib/prism/pp/prism-to-abox.str =================================================================== --- src/lib/prism/pp/prism-to-abox.str (revision 94) +++ src/lib/prism/pp/prism-to-abox.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-to-abox imports libstratego-xtc Index: src/lib/prism/pp/prism-command.str =================================================================== --- src/lib/prism/pp/prism-command.str (revision 94) +++ src/lib/prism/pp/prism-command.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-command

rules Index: src/lib/xpctl/pp/pp-xpctl-to-box.str =================================================================== --- src/lib/xpctl/pp/pp-xpctl-to-box.str (revision 94) +++ src/lib/xpctl/pp/pp-xpctl-to-box.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pp-xpctl-to-box imports Box Index: src/lib/xpctl/pp/xpctl-to-abox.str =================================================================== --- src/lib/xpctl/pp/xpctl-to-abox.str (revision 94) +++ src/lib/xpctl/pp/xpctl-to-abox.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xpctl-to-abox imports libstratego-xtc Index: src/str/flatten-array-access.str =================================================================== --- src/str/flatten-array-access.str (revision 94) +++ src/str/flatten-array-access.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module flatten-array-access

rules Index: src/str/check-meta-vars.str =================================================================== --- src/str/check-meta-vars.str (revision 94) +++ src/str/check-meta-vars.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /* ** This sub-module is used to check that meta-vars are correctly used ** throughout the program. This implies: Index: src/str/array-decl-desugar.str =================================================================== --- src/str/array-decl-desugar.str (revision 94) +++ src/str/array-decl-desugar.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This sub-module is used to desugar array declarations into simple ** declarations. Index: src/str/xrm-to-prism.str =================================================================== --- src/str/xrm-to-prism.str (revision 94) +++ src/str/xrm-to-prism.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /* ** This sub-module does the real work of the front-end. It transforms the ** program into a valid PRISM AST. Index: src/str/inline.str =================================================================== --- src/str/inline.str (revision 94) +++ src/str/inline.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module inline

strategies Index: src/str/log-timed.str =================================================================== --- src/str/log-timed.str (revision 94) +++ src/str/log-timed.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** Original code from strc (The Stratego Compiler) ** by Eelco Visser visser@acm.org Index: src/str/prism-desugar.str =================================================================== --- src/str/prism-desugar.str (revision 94) +++ src/str/prism-desugar.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-desugar imports PRISM Index: src/str/eval-meta-code.str =================================================================== --- src/str/eval-meta-code.str (revision 94) +++ src/str/eval-meta-code.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This sub-module does all the meta-code evaluation and generation. ** XRM modules can contain meta for loops as well as meta if statements Index: src/str/signatures.str =================================================================== --- src/str/signatures.str (revision 94) +++ src/str/signatures.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module signatures

/** Index: src/str/builtin-rand.str =================================================================== --- src/str/builtin-rand.str (revision 94) +++ src/str/builtin-rand.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This sub-module handles the XRM builtin rand. ** rand(x) generates a random value (at runtime) between 0 and x (inclusive) Index: src/str/xrm-front.str =================================================================== --- src/str/xrm-front.str (revision 94) +++ src/str/xrm-front.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-front

imports Index: src/str/type-check.str =================================================================== --- src/str/type-check.str (revision 94) +++ src/str/type-check.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module type-check

strategies Index: src/str/ice.str =================================================================== --- src/str/ice.str (revision 94) +++ src/str/ice.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /* ** Handle internal errors (things that should not happen) */ Index: src/str/collect-static-const-decl.str =================================================================== --- src/str/collect-static-const-decl.str (revision 94) +++ src/str/collect-static-const-decl.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This sub-module is used to collect static constants and formulas ** declarations so they can be used in constant propagation. Index: src/str/properties-in-xrm.str =================================================================== --- src/str/properties-in-xrm.str (revision 94) +++ src/str/properties-in-xrm.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This module is about embedded XPCTL in XRM. */ Index: src/str/desugar-array-access.str =================================================================== --- src/str/desugar-array-access.str (revision 94) +++ src/str/desugar-array-access.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This sub-module provides several strategies used to handle arrays in XRM ** and desugar them down to simple variables for PRISM. Index: src/str/reals.str =================================================================== --- src/str/reals.str (revision 94) +++ src/str/reals.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module reals

strategies