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

Help



Hi,
  I am having problems with typechecking in PVS 2.4.

I get the following error output:

 Error: No methods applicable for generic function
       #<STANDARD-GENERIC-FUNCTION FIND-SUPERTYPE> with args (NIL) of
       classes (NULL)
  [condition type: PROGRAM-ERROR]

I am not able to determine the cause of the problem. Looks like the
typechecker fails. But i dont know why. Could you please shed more light
on this issue.

Thanks in advance,

George Devaraj

   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   %               	   George Devaraj                          %
   %          Department of Computer Science and Engineering,      %
   %                      University of Minnesota                  %
   %                                                               %
   %                     e-mail: devaraj@cs.umn.edu                %
   %                                                               %
   %                     Phone#: (612)-3781238 (Home)              %
   %                             (612)-6254029 (Office)            %
   %                                                               %
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   "Chance favours the prepared mind" ----- Louis pasteur