0000209: java grade broken in rotd-2011-07-31

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

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

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

Date Modified	Username	Field	Change
Issue History
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

Relationships