[m-rev.] diff: fix target code settings for the C# backend

Julien Fischer jfischer at opturion.com
Sat Oct 21 21:55:58 AEDT 2017

Fix target code settings for the C# backend.

     C# does not support computed gotos; it does support gotos
     but mlds_to_cs.m currently doesn't allow their use.


diff --git a/compiler/ml_target_util.m b/compiler/ml_target_util.m
index 95a2f5f..235e561 100644
--- a/compiler/ml_target_util.m
+++ b/compiler/ml_target_util.m
@@ -82,13 +82,15 @@ target_supports_string_switch(target_erlang) =
      unexpected($module, $pred, "target erlang").

  target_supports_computed_goto(target_c) = yes.
-target_supports_computed_goto(target_csharp) = yes.
+target_supports_computed_goto(target_csharp) = no.
  target_supports_computed_goto(target_java) = no.
  target_supports_computed_goto(target_erlang) =
      unexpected($module, $pred, "target erlang").

  target_supports_goto(target_c) = yes.
-target_supports_goto(target_csharp) = yes.
+% XXX C# *does* support gotos but mlds_to_cs.m currently aborts if it
+% encounters them.
+target_supports_goto(target_csharp) = no.
  target_supports_goto(target_java) = no.
  target_supports_goto(target_erlang) =
      unexpected($module, $pred, "target erlang").

More information about the reviews mailing list