I always wondered whether it's a specific SBCL issue. In Cygwin (clisp) there's no problem. On the other hand )lisp (load "~/dir/file") also works with SBCL compiled fricas.
BTW )read $HOME/... fails in both. On 10 October 2016 at 04:51, oldk1331 <oldk1...@gmail.com> wrote: > SBCL specific bug, I think? > > "~/tmp/1.input" exists, )read just don't understand "~". > > (1) -> )read ~/tmp/1.input > > The file ~/tmp/1.input is needed but does not exist. > > "probe-file" just works in SBCL, while "sbcl-file-kind" > doesn't recgnoize "~". Maybe more parts can be changed. > > The patch is: > > diff --git a/src/lisp/fricas-lisp.lisp b/src/lisp/fricas-lisp.lisp > index 74c2cec..7e3c658 100644 > --- a/src/lisp/fricas-lisp.lisp > +++ b/src/lisp/fricas-lisp.lisp > @@ -961,8 +961,7 @@ > (truename fname)) > (t nil))) > #+:cmu (if (unix:unix-file-kind file) (truename file)) > -#+:sbcl (if (sbcl-file-kind file) (truename file)) > -#+(or :openmcl :ecl :lispworks) (probe-file file) > +#+(or :openmcl :ecl :lispworks :sbcl) (probe-file file) > #+:clisp(let* ((fname (trim-directory-name (namestring file))) > (dname (pad-directory-name fname))) > (or (ignore-errors (truename dname)) > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to fricas-devel+unsubscr...@googlegroups.com. > To post to this group, send email to fricas-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
