[m-rev.] diff: fix C# line directives

[Peter Wang]

Branches: main, 11.01

compiler/mlds_to_cs.m:
        C# #line directives require double quotes around the file names.

diff --git a/compiler/mlds_to_cs.m b/compiler/mlds_to_cs.m
index a046f9d..9d8133d 100644
--- a/compiler/mlds_to_cs.m
+++ b/compiler/mlds_to_cs.m
@@ -3765,7 +3765,7 @@ output_context(Info, Context, !IO) :-
             Line > 0,
             File \= ""
         ->
-            io.format("#line %d %s\n", [i(Line), s(File)], !IO)
+            io.format("#line %d ""%s""\n", [i(Line), s(File)], !IO)
         ;
             true
         )

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------