[Ecls-list] Request for restart in LOAD on fasl failure

[Tobias C. Rittweiler]

tcr at thaleron:~$ cd /tmp/
tcr at thaleron:/tmp$ cat > foo.lisp <<EOF
> (print 'hello)
> EOF
tcr at thaleron:/tmp$ touch foo.fas
tcr at thaleron:/tmp$ ecl-cvs
ECL (Embeddable Common-Lisp) 9.12.1
Copyright (C) 1984 Taiichi Yuasa and Masami Hagiya
Copyright (C) 1993 Giuseppe Attardi
Copyright (C) 2000 Juan J. Garcia-Ripoll
ECL is free software, and you are welcome to redistribute it
under certain conditions; see file 'Copyright' for details.
Type :h for Help.  
Top level.
> (load "foo")

;;; Loading #P"/tmp/foo.fas"

LOAD: Could not load file #P"/tmp/foo.fas" (Error: "/tmp/foo.fas: file too short")
Available restarts:

1. (RESTART-TOPLEVEL) Go back to Top-Level REPL.

Broken at SI:BYTECODES. [Evaluation of: (LOAD "foo")]
>> 


The actual case I encountered is that clisp created a .fas file, and ECL
choked on it due to "bad ELF format".

I think a "Try to recompile source file" restart may make sense here.

  -T.