Repository:
https://svn.lrde.epita.fr/svn/xrm
I need to fix gplize.sh.
ChangeLog:
2006-12-03 SIGOURE Benoit <sigoure.benoit(a)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(a)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(a)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(a)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(a)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(a)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
--
SIGOURE Benoit aka Tsuna (SUSv3 compliant)
_____ "On a long enough timeline, the survival rate
/EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.