Mercury Bugs - mercury | |||||
| View Issue Details | |||||
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000209 | mercury | Bug | public | 2011-08-01 03:05 | 2011-08-01 13:09 |
| Reporter | juliensf | ||||
|---|---|---|---|---|---|
| Assigned To | wangp | ||||
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | resolved | Resolution | fixed | ||
| Platform | OS | OS Version | |||
| Product Version | |||||
| Target Version | Fixed in Version | ||||
| Summary | 0000209: java grade broken in rotd-2011-07-31 | ||||
| Description | The library does not compile in the java grade on goliath (the ROTD host). The last working compiler on that machine is rotd-2011-07-23. The relevant part of the build log is reproduced below. This appears to affect only the trunk, not the 11.07 branch. | ||||
| Additional Information | Making Mercury/javas/jmercury/thread__semaphore.java Making Java class files Mercury/javas/jmercury/array.java:682: incompatible types found : jmercury.builtin.Comparison_result_0 required: int case builtin.Comparison_result_0.K1: ^ Mercury/javas/jmercury/array.java:735: incompatible types found : jmercury.builtin.Comparison_result_0 required: int case builtin.Comparison_result_0.K0: ^ Mercury/javas/jmercury/array.java:743: incompatible types found : jmercury.builtin.Comparison_result_0 required: int case builtin.Comparison_result_0.K2: ^ ... error log truncated, see `mer_std.err' for the complete log. make[1]: *** [libmer_std.install] Error 1 make[1]: Leaving directory `/home/goliath/workspaces/test_mercury_goliath/build.latest.gcc/mercury/stage2/install_grade_dir.java/library' To clean up from failed install, remove /home/goliath/workspaces/test_mercury_goliath/build.latest.gcc/mercury/stage2/install_grade_dir.java make: *** [install_grades] Error 1 | ||||
| Tags | No tags attached. | ||||
| Relationships | |||||
| Attached Files | |||||
| Notes | |||||
|
|
|||||
|
|
||||
| Issue History | |||||
| Date Modified | Username | Field | Change | ||
|---|---|---|---|---|---|
| 2011-08-01 03:05 | juliensf | New Issue | |||
| 2011-08-01 13:09 | wangp | Note Added: 0000344 | |||
| 2011-08-01 13:09 | wangp | Status | new => resolved | ||
| 2011-08-01 13:09 | wangp | Resolution | open => fixed | ||
| 2011-08-01 13:09 | wangp | Assigned To | => wangp | ||