Re: [PVS-Help] pvs 4.2 error: no methods applicable for genericfunction

[Sam Owre <owre@xxxxxxxxxxx>]

Hi Andréia,

The "no methods applicable" message is not very specific - it simply means
that some function, somewhere, tried to invoke a generic function on
arguments for which no method is applicable.  So your bug may or may not
be related to Jim's.  As it is intermittent, I suggest the next time you
see this type a "b" if you get the

  "SPC-scroll, I-ignore, K-keep, A-abort sends and keep or B-break: "

message, then go to the "*pvs*" buffer, and type ':bt' (for Allegro) or
'bac' (for CMULisp) and send me the resulting backtrace, ideally along
with your specs so that I can try and chase this down.

Thanks,
Sam


Andréia Avelar <avelarab@gmail.com> wrote:

> Date: Tue, 9 Jun 2009 16:39:01 -0300
> From: Andréia Avelar <avelarab@gmail.com>
> To: pvs-help@csl.sri.com
> X-SRI-Archive: pvs-help
> Subject: [PVS-Help] pvs 4.2 error: no methods applicable for generic function
> Sender: pvs-help-bounces+owre=csl.sri.com@csl.sri.com
> 
> Hi,
> 
> I was looking around in the pvs site (bugs list, suggestions list...) to find out a solution for my problem.
> I didn't find. But I found this conversation below and I see that Jim was with the same problem as me.
> 
> 
> The problem (A) - error: no methods applicable for generic function
> 
> With me, this occur with the pvs 4.2, when I am tcp my specs, or when I am doing a proof, after any command.
> Sometimes I stay a week, maybe two, without annoying me with this problem, but suddenly it appears again.
> 
> 
> When it occurs the pvs just crashes and the only way that I found to continue working is close the pvs (in fact, kill the pvs)
> go to the context where I was working, delete .pvscontext and /pvsbin, and then start again.
> 
> 
> 
> Did you find how to fix Jim's problem?
> Did you have an idea how to fix my problem?
> 
> Thanks in advance,
> Andréia.
> 
> 
> ************************************************************************
> 
> 
> Hi Jim,
> 
> This is a bug in PVS - could you please send me your specs, so that we
> can get this fixed?
> 
> Thanks,
> Sam Owre
> 
> jim armstrong <armstrong.jm@xxxxxxxxx> wrote:
> 
> 
> 
> > Hi,
> >
> > Can anyone there tell me what the following errors are:
> >
> > A)      error: no methods applicable for generic function
> >
> >
> > B)        break: repeated bindings in make-subtype-tcc-decl
>