version 1.58, 2005/09/18 08:14:22 |
version 1.62, 2005/09/27 09:32:22 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.57 2005/09/13 06:54:22 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.61 2005/09/27 03:00:21 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 508 void Pwrite_to_tb(NODE arg,Q *rp) |
|
Line 508 void Pwrite_to_tb(NODE arg,Q *rp) |
|
*rp = 0; |
*rp = 0; |
} |
} |
|
|
|
FNODE partial_eval(FNODE); |
|
|
void Pquote_unify(NODE arg,Q *rp) |
void Pquote_unify(NODE arg,Q *rp) |
{ |
{ |
|
FNODE f,g; |
|
QUOTE q; |
NODE r; |
NODE r; |
int ret; |
int ret; |
|
|
|
#if 0 |
|
g = partial_eval(BDY(((QUOTE)ARG0(arg)))); |
|
MKQUOTE(q,g); |
|
ret = quote_unify((Obj)q,(Obj)ARG1(arg),&r); |
|
#else |
ret = quote_unify((Obj)ARG0(arg),(Obj)ARG1(arg),&r); |
ret = quote_unify((Obj)ARG0(arg),(Obj)ARG1(arg),&r); |
|
#endif |
if ( ret ) { |
if ( ret ) { |
do_assign(r); |
do_assign(r); |
*rp = ONE; |
*rp = ONE; |