existing_file/4

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Fri 29 Sep 2000 06:13:48 PM GMT
Message-ID: <39D4DBDC.50B768AC@icparc.ic.ac.uk> 
[eclipse 7]: existing_file(B,[],[],F).
type error in existing_file(B, [], [], F)

<should be instantiation fault>


[eclipse 12]: existing_file(ampl_ext,_,[],F).
^C

<loops>



[eclipse 16]:   existing_file(ampl_ext,[".pdf"],P,F).

P = []
F = 'ampl_ext.pdf'     More? (;) 

<shouldn't bind P but make instantiation fault>




[eclipse 17]: existing_file(ampl_ext,[".pdf"],P,F).

P = []
F = 'ampl_ext.pdf'     More? (;) 
out of range in existing_file(ampl_ext, [".pdf"], P, F)
Received on Fri Sep 29 19:13:50 2000

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:01 PM GMT GMT