Re: [gobo-eiffel-develop] ISE 5.6 fails test suite

[Colin P. A. <co...@co...>]

>>>>> "Colin" == Colin Paul Adams <co...@co...> writes:

>>>>> "Colin" == Colin Paul Adams <co...@co...> writes:
>>>>> "Colin" == Colin Adams <col...@ho...> writes:
    Colin> Then maybe it's a Windows v. Linux thing.  I'll try
    Colin> investigating further.

    Colin> It happens with 5.7 too.

    Colin> I tried re-running the bootstrap, just in case. I used gec:

    Colin> Now when I try the test I get this:

    Colin> Error code: VUEX(2) Error: feature of qualified call is not
    Colin> available to client class.  What to do: make sure feature
    Colin> after dot is exported to caller.

    Colin> Class: UC_STRING Source class: STRING_GENERAL Feature:
    Colin> remove Feature: to_string_32 Class: UC_STRING Version from:
    Colin> STRING_GENERAL Not exported to class UC_STRING Line: 328
    Colin> removed: elks_checking implies
    -> to_string_32.is_equal (old substring (1, i - 1).to_string_32 +
    -> old substring (i + 1, count).to_string_32)
    Colin>       end

I also get this if I try to re-run the bootstrap with ISE 5.7.
-- 
Colin Adams
Preston Lancashire