Error MAKE-INSTANCE

Could anybody pls tell me what the exactly problem of this error:

MAKE-INSTANCE is called with keyword :AXIOM-DEF among the
arguments (OCML-RELATION :NAME ACTIVITY-PRECEDES :SCHEMA
(?A1 ?A2) :DOCUMENTATION NIL :DEFINED-FROM-DEF-RELATION T
:CONSTRAINT (AND (ACTIVITY ?A1) (ACTIVITY ?A2)) :IFF-DEF (AND
(HAS-TIME-RANGE ?A1 ?JTR-A1) (HAS-TIME-RANGE ?A2 ?JTR-A2)
(HAS-DURATION ?A1 ?D1) (<= # #)) :AXIOM-DEF
(DEFINES-PARTIAL-ORDER ACTIVITY-PRECEDES))

which is not one
of (:DOCUMENTATION :LISP-FUN :PRETTY-NAME :NAME
:LISP-CLASS-NAME :LISP-SLOTS :CACHE-VALUES? :NO-OP
:SUFFICIENT-FOR-TYPE-CHECKING :AVOID-INFINITE-LOOP
:NO-PROOFS-BY :PROVE-BY :IFF-DEF :SUFFICIENT :CONSTRAINT
:DEFINED-FROM-CLASS? :ARGUMENT-TYPES
:DEFINED-FROM-DEF-RELATION :SCHEMA :ARITY).

Thanks
Firdaus.

Re: Error MAKE-INSTANCE

"aus firdaus" <firdaus19@gmail.com> writes:
> Could anybody pls tell me what the exactly problem of this error:
>
> MAKE-INSTANCE is called with keyword :AXIOM-DEF among the
> arguments (OCML-RELATION :NAME ACTIVITY-PRECEDES :SCHEMA
....

We'll probably need a bit more context to be helpful, but I'll try and
give at least a very general answer.  That basic error means that the
code is trying to initialize the AXIOM-DEF slot/field in a class that
doesn't have a slot with that name.

According to your error message, you only have these slots available:

> :DOCUMENTATION :LISP-FUN :PRETTY-NAME :NAME :LISP-CLASS-NAME
> :LISP-SLOTS :CACHE-VALUES? :NO-OP :SUFFICIENT-FOR-TYPE-CHECKING
> :AVOID-INFINITE-LOOP :NO-PROOFS-BY :PROVE-BY :IFF-DEF :SUFFICIENT
> :CONSTRAINT :DEFINED-FROM-CLASS? :ARGUMENT-TYPES
> :DEFINED-FROM-DEF-RELATION :SCHEMA :ARITY

If you give us more information we can provide a better answer.

Cheers,
Chris Dean

Re: Error MAKE-INSTANCE

Hello.

Thanks for replying my email. Actually i'm trying to run an application using ocml library. When running this application i hv found this error, and i choose to ignore that error. After that, it stuck when running, seem the looping is not stop. Because of that, i cannot see the result of that application.

As i'm new using lispsworks, can u tell me how to trace an error such looping could not stop?

Regard.
Firdaus

Re: Error MAKE-INSTANCE


I don't know anything about OCML, so I probably won't be much help.

> As i'm new using lispsworks, can u tell me how to trace an error
> such looping could not stop?

If the thing that is looping is in the top level LispWorks thread you
can just type control-c to interrupt it and that will drop you into
the debugger.  If it's not in the top thread (since it looks like it's
a TCP service) you'll need to attach to that thread first using the
LispWorks UI.

Frankly, this is all pretty advanced stuff.  Probably an easier way to
solve your problem is to contact the OCML author.

Good luck.

Cheers,
Chris Dean

Re: Error MAKE-INSTANCE

Unable to parse email body. Email id is 6764

Re: Error MAKE-INSTANCE

Hello.

Thanks Dave. Can i know how to switch off MAKE-INSTANCE argument checking in LispWorks? That mean how the exactly command syntax or setting need to be done?

Thanks.
Firdaus

Re: Error MAKE-INSTANCE

On 6/20/07, aus firdaus <firdaus19@gmail.com> wrote:
> Hello.
>
> Thanks Dave. Can i know how to switch off MAKE-INSTANCE argument checking in
> LispWorks? That mean how the exactly command syntax or setting need to be
> done?
>
> Thanks.
> Firdaus
>

The links in the Dave Fox's email lead to

(set-make-instance-initarg-checking nil)


-- 
=====================
Joshua Taylor
tayloj@rpi.edu

"A lot of good things went down one time,
     back in the goodle days."
               John Hartford