Hi all, I think I found a bug in ECLiPSe (6.0 #69): %%% file: eclipse6_bug.pl :- local store(options). set_option(Name, Value) :- true, store_set(options, Name, Value). %%%% Compiling above file fails with the following output: [eclipse 1]: ["eclipse6_bug"]. source_processor.eco loaded in 0.00 seconds hash.eco loaded in 0.00 seconds compiler_common.eco loaded in 0.01 seconds compiler_normalise.eco loaded in 0.01 seconds compiler_map.eco loaded in 0.00 seconds compiler_analysis.eco loaded in 0.00 seconds compiler_peephole.eco loaded in 0.01 seconds compiler_codegen.eco loaded in 0.02 seconds compiler_varclass.eco loaded in 0.00 seconds compiler_indexing.eco loaded in 0.01 seconds compiler_regassign.eco loaded in 0.01 seconds asm.eco loaded in 0.01 seconds module_options.eco loaded in 0.01 seconds ecl_compiler.eco loaded in 0.10 seconds Check failed: 0 == 0, nonvar(_76001) Aborting execution ... Abort The code works as expected if "true" in the first line of set_option/2 is removed or replaced by anything else. Regards, Stephan -- Stephan Schiffel Technische Universität Dresden, Fakultät Informatik, 01062 Dresden, Germany Tel: [49] (351) 463-39243 Fax: [49] (351) 463-37924 Email: stephan.schiffel_at_...69...Received on Fri Feb 06 2009 - 10:22:22 CET
This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST