Hi,
is the Java Bytecode class reader from http://cliplab.org/Systems/jvm-by-pe/#Parser http://cliplab.org/Systems/jvm-by-pe/#Parser still supported by Ciao or is there an alternative module available?
When I try to use it I get the following error message:
$ ciao Ciao 1.15-1781-g328b907: Wed Jun 19 09:07:20 CEST 2013 ?- use_module(program_loader). {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:library(jvm_in_ciao/builtins/builtins) does not exist}
no
Best regards, Michael Leuschel