Bart Demoen wrote: > > Joachim, > > Sorry to bother you again. > For the following file a.pl > > :- module(m, [], iso). > > :- export go/0 . > > go :- > X = (write(ok),nl,123), > go(X). > > go(X) :- > call(X). > > I get: > > (nimbus)~/hprolog1.3/oddbenches# eclipse > ECLiPSe Constraint Logic Programming System [kernel] > Copyright Imperial College London and ICL > Certain libraries copyright Parc Technologies Ltd > GMP library copyright Free Software Foundation > Version 5.1.0, Wed Nov 22 12:31 2000 > [eclipse 1]: [a]. > scattered.pl compiled traceable 6544 bytes in 0.01 seconds > iso.pl compiled traceable 11204 bytes in 0.03 seconds > a.pl compiled traceable 160 bytes in 0.04 seconds > > yes. > [eclipse 2]: m:go. > ok > type error in call(123, m) > > The documentation made me believe "creates a module in which you can > use ISO Standard Prolog" (userman/node43.html), so I expected that > for the query m:go I would get the type error without ok being written > - as ISO specifies. Ok, ok. We'll make the wording more fuzzy for the next release :-) Actually, if you take a look at the library's description doc/bips/lib/iso/index.html it says: This library provides a reasonable degree of compatibility with the definition of Standard Prolog as defined in ISO/IEC 13211-1 (Information Technology, Programming Languages, Prolog, Part 1: General Core, 1995). The areas where the library is not fully compiant are I/O and exception handling. However it should be sufficient for most applications. The library is provided in source form. > Is something wrong with my understanding of what > the module declaration means ? > > Cheers > > Bart Cheers, Joachim -- Joachim Schimpf / phone: +44 20 7594 8187 IC-Parc, Imperial College / mailto:J.Schimpf@ic.ac.uk London SW7 2AZ, UK / http://www.icparc.ic.ac.uk/eclipseReceived on Tue May 29 21:27:53 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:06 PM GMT GMT