[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Typechecker looking for "nil" file in current context

Hi Mike,

Could you try again, this time before typechecking set the emacs variable
debug-on-error to t (M-x set-variable <RET> debug-on-error <RET> t).  It
should then produce a backtrace buffer; if you send that to me I might be
able to figure out what is going on.

Sam Owre

> From:    Michael Greiner <mgreiner@cogeco.ca>
> Subject: Typechecker looking for "nil" file in current context
> Date:    Wed, 21 May 2003 10:36:18 -0400
> To:      pvs-help <pvs-help@csl.sri.com>
> Hello,
> I have recently installed PVS and I get an error whenever I try to 
> typecheck. After running the typecheck command, I get the following error:
> error in process filter: Opening input file: no such file or directory, 
> /home/mike/nil
> ... where /home/mike/ is my current context. After that, none of the 
> parsing, typechecking or proving commands will work. If I then reset 
> PVS, it typechecks the file once as it should but any subsequent 
> typechecks produce the same error. Thus I seem to have to reset PVS 
> everytime I want to typecheck.
> I'm running PVS 3.1 on RedHat Linux 9 with GNU Emacs 21.2.1
> Can anyone help?
> Thanks,
> Mike Greiner