2024-04-25 21:21 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000258mercuryBugpublic2012-06-23 04:05
Assigned Tojuliensf 
Product Version 
Target VersionFixed in Version 
Summary0000258: csharp grade is broken with rotd-2012-06-19
DescriptionCompilation of the library in the csharp grade fails with rotd-2012-06-19
due to:

** Error making `mer_std.dll'.
Mercury/css/exception.cs(413,98): error CS0030: Cannot convert type `int' to `object[]'
Mercury/css/exception.cs(4365,62): error CS0030: Cannot convert type `int' to

This occurs with both Mono and the MS C# compiler.

TagsNo tags attached.
Attached Files




juliensf (administrator)

Actually, the java grade is broken too,

Making Java class files
Mercury/javas/jmercury/exception.java:463 class expected
    MR_scalar_common_3[0] = new exception.Exception_result_1.Succeeded_1(((java.lang.Object) (/* tuple */ java.lang.Object[].K0)));

Mercury/javas/jmercury/exception.java:5270 class expected
       /* tuple */ java.lang.Object[] V_2_2 = /* tuple */ java.lang.Object[].K0;


juliensf (administrator)

Fixed -- the problem was caused by the recent change to handling of arity-zero tuples in

-Issue History
Date Modified Username Field Change
2012-06-22 14:43 juliensf New Issue
2012-06-22 14:50 juliensf Note Added: 0000470
2012-06-23 04:05 juliensf Note Added: 0000471
2012-06-23 04:05 juliensf Status new => resolved
2012-06-23 04:05 juliensf Resolution open => fixed
2012-06-23 04:05 juliensf Assigned To => juliensf
+Issue History