%---------------------------------------------------------------------------% % vim: ft=mercury ts=4 sw=4 et %---------------------------------------------------------------------------% :- module bug476. :- interface. :- import_module io. %---------------------------------------------------------------------------% :- typeclass input_stream(T) where [ pred mark(T::in, int::in, io::di, io::uo) is det ]. %---------------------------------------------------------------------------% :- type jinput_stream. :- instance input_stream(jinput_stream). %---------------------------------------------------------------------------% %---------------------------------------------------------------------------% :- implementation. :- import_module require. %---------------------------------------------------------------------------% :- pragma foreign_type("C", jinput_stream, "void *"). :- pragma foreign_type("C#", jinput_stream, "object"). :- pragma foreign_type("Erlang", jinput_stream, ""). :- pragma foreign_type("Java", jinput_stream, "java.io.InputStream"). %---------------------------------------------------------------------------% :- instance input_stream(jinput_stream) where [ pred(mark/4) is input_stream_mark ]. %---------------------------------------------------------------------------% % The name of this declaration is INCORRECT. % :- pred mark(jinput_stream::in, int::in, io::di, io::uo) is det. input_stream_mark(_, _, _) :- error("NYI mark for InputStream"). %---------------------------------------------------------------------------% :- end_module bug476. %---------------------------------------------------------------------------%