[m-rev.] trivial diff: erlang grade requires --no-allow-multi-arm-switches

[Julien Fischer]

Do not allow multi-arms switches in the erlang grade.

compiler/handle_options.m:
 	Require  --no-allow-multi-arm-switches in the erlang grade.

Julien.

Index: handle_options.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.333
diff -u -r1.333 handle_options.m
--- handle_options.m	5 May 2009 07:53:00 -0000	1.333
+++ handle_options.m	2 Jun 2009 04:27:57 -0000
@@ -2023,7 +2023,8 @@
          ;
              Target = target_erlang,
              BackendForeignLanguages = ["erlang"],
-            set_option(optimize_constructor_last_call, bool(no), !Globals)
+            set_option(optimize_constructor_last_call, bool(no), !Globals),
+            set_option(allow_multi_arm_switches, bool(no), !Globals)
          ),

          % Only set the backend foreign languages if they are unset.


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------