Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000258mercuryBugpublic2012-06-22 14:432012-06-23 04:05
Reporterjuliensf 
Assigned Tojuliensf 
PrioritynormalSeveritymajorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
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
`object[]'

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

TagsNo tags attached.
Relationships
Attached Files

Notes
(0000470)
juliensf   
2012-06-22 14:50   
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;
(0000471)
juliensf   
2012-06-23 04:05   
Fixed -- the problem was caused by the recent change to handling of arity-zero tuples in
compiler/hlds_code_util.m.

Issue History
Date ModifiedUsernameFieldChange
2012-06-22 14:43juliensfNew Issue
2012-06-22 14:50juliensfNote Added: 0000470
2012-06-23 04:05juliensfNote Added: 0000471
2012-06-23 04:05juliensfStatusnew => resolved
2012-06-23 04:05juliensfResolutionopen => fixed
2012-06-23 04:05juliensfAssigned To => juliensf