[bpt/guile.git] / libguile / eq.c

/* Copyright (C) 1995,1996,1997,1998,2000,2001,2003, 2004, 2006 Free Software Foundation, Inc.
 * 
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 */

\f
#ifdef HAVE_CONFIG_H
#  include <config.h>
#endif

#include "libguile/_scm.h"
#include "libguile/ramap.h"
#include "libguile/stackchk.h"
#include "libguile/strorder.h"
#include "libguile/async.h"
#include "libguile/root.h"
#include "libguile/smob.h"
#include "libguile/unif.h"
#include "libguile/vectors.h"

#include "libguile/struct.h"
#include "libguile/goops.h"
#include "libguile/objects.h"

#include "libguile/validate.h"
#include "libguile/eq.h"

#include "libguile/private-options.h"

\f

#ifdef HAVE_STRING_H
#include <string.h>
#endif
\f

SCM_DEFINE1 (scm_eq_p, "eq?", scm_tc7_rpsubr,
             (SCM x, SCM y),
	    "Return @code{#t} if @var{x} and @var{y} are the same object,\n"
	    "except for numbers and characters.  For example,\n"
	    "\n"
	    "@example\n"
	    "(define x (vector 1 2 3))\n"
	    "(define y (vector 1 2 3))\n"
	    "\n"
	    "(eq? x x)  @result{} #t\n"
	    "(eq? x y)  @result{} #f\n"
	    "@end example\n"
	    "\n"
	    "Numbers and characters are not equal to any other object, but\n"
	    "the problem is they're not necessarily @code{eq?} to themselves\n"
	    "either.  This is even so when the number comes directly from a\n"
	    "variable,\n"
	    "\n"
	    "@example\n"
	    "(let ((n (+ 2 3)))\n"
	    "  (eq? n n))       @result{} *unspecified*\n"
	    "@end example\n"
	    "\n"
	    "Generally @code{eqv?} should be used when comparing numbers or\n"
	    "characters.  @code{=} or @code{char=?} can be used too.\n"
	    "\n"
	    "It's worth noting that end-of-list @code{()}, @code{#t},\n"
	    "@code{#f}, a symbol of a given name, and a keyword of a given\n"
	    "name, are unique objects.  There's just one of each, so for\n"
	    "instance no matter how @code{()} arises in a program, it's the\n"
	    "same object and can be compared with @code{eq?},\n"
	    "\n"
	    "@example\n"
	    "(define x (cdr '(123)))\n"
	    "(define y (cdr '(456)))\n"
	    "(eq? x y) @result{} #t\n"
	    "\n"
	    "(define x (string->symbol \"foo\"))\n"
	    "(eq? x 'foo) @result{} #t\n"
	    "@end example")
#define FUNC_NAME s_scm_eq_p
{
  return scm_from_bool (scm_is_eq (x, y));
}
#undef FUNC_NAME

/* We compare doubles in a special way for 'eqv?' to be able to
   distinguish plus and minus zero and to identify NaNs.
*/

static int
real_eqv (double x, double y)
{
  return !memcmp (&x, &y, sizeof(double)) || (x != x && y != y);
}

#include <stdio.h>
SCM_PRIMITIVE_GENERIC_1 (scm_eqv_p, "eqv?", scm_tc7_rpsubr,
             (SCM x, SCM y),
	    "Return @code{#t} if @var{x} and @var{y} are the same object, or\n"
	    "for characters and numbers the same value.\n"
	    "\n"
	    "On objects except characters and numbers, @code{eqv?} is the\n"
	    "same as @code{eq?}, it's true if @var{x} and @var{y} are the\n"
	    "same object.\n"
	    "\n"
	    "If @var{x} and @var{y} are numbers or characters, @code{eqv?}\n"
	    "compares their type and value.  An exact number is not\n"
	    "@code{eqv?} to an inexact number (even if their value is the\n"
	    "same).\n"
	    "\n"
	    "@example\n"
	    "(eqv? 3 (+ 1 2)) @result{} #t\n"
	    "(eqv? 1 1.0)     @result{} #f\n"
	    "@end example")
#define FUNC_NAME s_scm_eqv_p
{
  if (scm_is_eq (x, y))
    return SCM_BOOL_T;
  if (SCM_IMP (x))
    return SCM_BOOL_F;
  if (SCM_IMP (y))
    return SCM_BOOL_F;
  /* this ensures that types and scm_length are the same. */

  if (SCM_CELL_TYPE (x) != SCM_CELL_TYPE (y))
    {
      /* fractions use 0x10000 as a flag (at the suggestion of Marius Vollmer),
	 but this checks the entire type word, so fractions may be accidentally
	 flagged here as unequal.  Perhaps I should use the 4th double_cell word?
      */

      /* treat mixes of real and complex types specially */
      if (SCM_INEXACTP (x))
	{
	  if (SCM_REALP (x))
	    return scm_from_bool (SCM_COMPLEXP (y)
			     && real_eqv (SCM_REAL_VALUE (x),
					  SCM_COMPLEX_REAL (y))
			     && SCM_COMPLEX_IMAG (y) == 0.0);
	  else
	    return scm_from_bool (SCM_REALP (y)
			     && real_eqv (SCM_COMPLEX_REAL (x),
					  SCM_REAL_VALUE (y))
			     && SCM_COMPLEX_IMAG (x) == 0.0);
	}

      if (SCM_FRACTIONP (x) && SCM_FRACTIONP (y))
	return scm_i_fraction_equalp (x, y);
      return SCM_BOOL_F;
    }
  if (SCM_NUMP (x))
    {
      if (SCM_BIGP (x)) {
	return scm_from_bool (scm_i_bigcmp (x, y) == 0);
      } else if (SCM_REALP (x)) {
	return scm_from_bool (real_eqv (SCM_REAL_VALUE (x), SCM_REAL_VALUE (y)));
      } else if (SCM_FRACTIONP (x)) {
	return scm_i_fraction_equalp (x, y);
      } else { /* complex */
	return scm_from_bool (real_eqv (SCM_COMPLEX_REAL (x),
				   SCM_COMPLEX_REAL (y)) 
			 && real_eqv (SCM_COMPLEX_IMAG (x),
				      SCM_COMPLEX_IMAG (y)));
      }
    }
  if (SCM_UNPACK (g_scm_eqv_p))
    return scm_call_generic_2 (g_scm_eqv_p, x, y);
  else
    return SCM_BOOL_F;
}
#undef FUNC_NAME


SCM_PRIMITIVE_GENERIC_1 (scm_equal_p, "equal?", scm_tc7_rpsubr,
			 (SCM x, SCM y),
	    "Return @code{#t} if @var{x} and @var{y} are the same type, and\n"
	    "their contents or value are equal.\n"
	    "\n"
	    "For a pair, string, vector or array, @code{equal?} compares the\n"
	    "contents, and does so using using the same @code{equal?}\n"
	    "recursively, so a deep structure can be traversed.\n"
	    "\n"
	    "@example\n"
	    "(equal? (list 1 2 3) (list 1 2 3))   @result{} #t\n"
	    "(equal? (list 1 2 3) (vector 1 2 3)) @result{} #f\n"
	    "@end example\n"
	    "\n"
	    "For other objects, @code{equal?} compares as per @code{eqv?},\n"
	    "which means characters and numbers are compared by type and\n"
	    "value (and like @code{eqv?}, exact and inexact numbers are not\n"
	    "@code{equal?}, even if their value is the same).\n"
	    "\n"
	    "@example\n"
	    "(equal? 3 (+ 1 2)) @result{} #t\n"
	    "(equal? 1 1.0)     @result{} #f\n"
	    "@end example\n"
	    "\n"
	    "Hash tables are currently only compared as per @code{eq?}, so\n"
	    "two different tables are not @code{equal?}, even if their\n"
	    "contents are the same.\n"
	    "\n"
	    "@code{equal?} does not support circular data structures, it may\n"
	    "go into an infinite loop if asked to compare two circular lists\n"
	    "or similar.\n"
	    "\n"
	    "New application-defined object types (Smobs) have an\n"
	    "@code{equalp} handler which is called by @code{equal?}.  This\n"
	    "lets an application traverse the contents or control what is\n"
	    "considered @code{equal?} for two such objects.  If there's no\n"
	    "handler, the default is to just compare as per @code{eq?}.")
#define FUNC_NAME s_scm_equal_p
{
  SCM_CHECK_STACK;
 tailrecurse:
  SCM_TICK;
  if (scm_is_eq (x, y))
    return SCM_BOOL_T;
  if (SCM_IMP (x))
    return SCM_BOOL_F;
  if (SCM_IMP (y))
    return SCM_BOOL_F;
  if (scm_is_pair (x) && scm_is_pair (y))
    {
      if (scm_is_false (scm_equal_p (SCM_CAR (x), SCM_CAR (y))))
	return SCM_BOOL_F;
      x = SCM_CDR(x);
      y = SCM_CDR(y);
      goto tailrecurse;
    }
  if (SCM_TYP7 (x) == scm_tc7_string && SCM_TYP7 (y) == scm_tc7_string)
    return scm_string_equal_p (x, y);
  if (SCM_TYP7 (x) == scm_tc7_smob && SCM_TYP16 (x) == SCM_TYP16 (y))
    {
      int i = SCM_SMOBNUM (x);
      if (!(i < scm_numsmob))
	return SCM_BOOL_F;
      if (scm_smobs[i].equalp)
	return (scm_smobs[i].equalp) (x, y);
      else
	goto generic_equal;
    }
  /* This ensures that types and scm_length are the same.  */
  if (SCM_CELL_TYPE (x) != SCM_CELL_TYPE (y))
    {
      /* treat mixes of real and complex types specially */
      if (SCM_INEXACTP (x) && SCM_INEXACTP (y))
	{
	  if (SCM_REALP (x))
	    return scm_from_bool (SCM_COMPLEXP (y)
			     && SCM_REAL_VALUE (x) == SCM_COMPLEX_REAL (y)
			     && SCM_COMPLEX_IMAG (y) == 0.0);
	  else
	    return scm_from_bool (SCM_REALP (y)
			     && SCM_COMPLEX_REAL (x) == SCM_REAL_VALUE (y)
			     && SCM_COMPLEX_IMAG (x) == 0.0);
	}

      /* Vectors can be equal to one-dimensional arrays.
       */
      if (SCM_I_ARRAYP (x) || SCM_I_ARRAYP (y))
	return scm_array_equal_p (x, y);

      return SCM_BOOL_F;
    }
  switch (SCM_TYP7 (x))
    {
    default:
      break;
    case scm_tc7_number:
      switch SCM_TYP16 (x)
        {
        case scm_tc16_big:
          return scm_bigequal (x, y);
        case scm_tc16_real:
          return scm_real_equalp (x, y);
        case scm_tc16_complex:
          return scm_complex_equalp (x, y);
	case scm_tc16_fraction:
          return scm_i_fraction_equalp (x, y);
        }
    case scm_tc7_vector:
    case scm_tc7_wvect:
      return scm_i_vector_equal_p (x, y);
    }

  /* Check equality between structs of equal type (see cell-type test above)
     that are not GOOPS instances.  GOOPS instances are treated via the
     generic function.  */
  if ((SCM_STRUCTP (x)) && (!SCM_INSTANCEP (x)))
    return scm_i_struct_equalp (x, y);

 generic_equal:
  if (SCM_UNPACK (g_scm_equal_p))
    return scm_call_generic_2 (g_scm_equal_p, x, y);
  else
    return SCM_BOOL_F;
}
#undef FUNC_NAME


\f


void
scm_init_eq ()
{
#include "libguile/eq.x"
}


/*
  Local Variables:
  c-file-style: "gnu"
  End:
*/
Commit	Line	Data
2b829bbb	1	/* Copyright (C) 1995,1996,1997,1998,2000,2001,2003, 2004, 2006 Free Software Foundation, Inc.
0f2d19dd	2	*
73be1d9e MV	3	* This library is free software; you can redistribute it and/or
	4	* modify it under the terms of the GNU Lesser General Public
	5	* License as published by the Free Software Foundation; either
	6	* version 2.1 of the License, or (at your option) any later version.
0f2d19dd	7	*
73be1d9e MV	8	* This library is distributed in the hope that it will be useful,
	9	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	10	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
	11	* Lesser General Public License for more details.
0f2d19dd	12	*
73be1d9e MV	13	* You should have received a copy of the GNU Lesser General Public
73be1d9e MV	14	* License along with this library; if not, write to the Free Software
92205699	15	* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
73be1d9e	16	*/
1bbd0b84	17
0f2d19dd	18	\f
dbb605f5	19	#ifdef HAVE_CONFIG_H
1f4d02c2 RB	20	# include <config.h>
1f4d02c2 RB	21	#endif
9540b68f	22
a0599745 MD	23	#include "libguile/_scm.h"
	24	#include "libguile/ramap.h"
	25	#include "libguile/stackchk.h"
	26	#include "libguile/strorder.h"
	27	#include "libguile/async.h"
	28	#include "libguile/root.h"
	29	#include "libguile/smob.h"
	30	#include "libguile/unif.h"
	31	#include "libguile/vectors.h"
0f2d19dd	32
d15ad007 LC	33	#include "libguile/struct.h"
	34	#include "libguile/goops.h"
	35	#include "libguile/objects.h"
	36
a0599745 MD	37	#include "libguile/validate.h"
a0599745 MD	38	#include "libguile/eq.h"
22fc179a HWN	39
	40	#include "libguile/private-options.h"
	41
0f2d19dd	42	\f
9540b68f GH	43
	44	#ifdef HAVE_STRING_H
	45	#include <string.h>
	46	#endif
	47	\f
	48
c3ee7520	49	SCM_DEFINE1 (scm_eq_p, "eq?", scm_tc7_rpsubr,
1bbd0b84	50	(SCM x, SCM y),
602d32dd KR	51	"Return @code{#t} if @var{x} and @var{y} are the same object,\n"
	52	"except for numbers and characters. For example,\n"
	53	"\n"
	54	"@example\n"
	55	"(define x (vector 1 2 3))\n"
	56	"(define y (vector 1 2 3))\n"
	57	"\n"
	58	"(eq? x x) @result{} #t\n"
	59	"(eq? x y) @result{} #f\n"
	60	"@end example\n"
	61	"\n"
	62	"Numbers and characters are not equal to any other object, but\n"
	63	"the problem is they're not necessarily @code{eq?} to themselves\n"
	64	"either. This is even so when the number comes directly from a\n"
	65	"variable,\n"
	66	"\n"
	67	"@example\n"
	68	"(let ((n (+ 2 3)))\n"
	69	" (eq? n n)) @result{} unspecified\n"
	70	"@end example\n"
	71	"\n"
	72	"Generally @code{eqv?} should be used when comparing numbers or\n"
	73	"characters. @code{=} or @code{char=?} can be used too.\n"
	74	"\n"
4450a227 KR	75	"It's worth noting that end-of-list @code{()}, @code{#t},\n"
	76	"@code{#f}, a symbol of a given name, and a keyword of a given\n"
	77	"name, are unique objects. There's just one of each, so for\n"
	78	"instance no matter how @code{()} arises in a program, it's the\n"
	79	"same object and can be compared with @code{eq?},\n"
602d32dd KR	80	"\n"
	81	"@example\n"
	82	"(define x (cdr '(123)))\n"
	83	"(define y (cdr '(456)))\n"
	84	"(eq? x y) @result{} #t\n"
	85	"\n"
4450a227	86	"(define x (string->symbol \"foo\"))\n"
602d32dd KR	87	"(eq? x 'foo) @result{} #t\n"
602d32dd KR	88	"@end example")
1bbd0b84	89	#define FUNC_NAME s_scm_eq_p
0f2d19dd	90	{
bc36d050	91	return scm_from_bool (scm_is_eq (x, y));
0f2d19dd	92	}
1bbd0b84	93	#undef FUNC_NAME
0f2d19dd	94
96d00047 MV	95	/* We compare doubles in a special way for 'eqv?' to be able to
	96	distinguish plus and minus zero and to identify NaNs.
	97	*/
	98
	99	static int
	100	real_eqv (double x, double y)
	101	{
0e12d408	102	return !memcmp (&x, &y, sizeof(double)) \|\| (x != x && y != y);
96d00047	103	}
0f2d19dd	104
f92e85f7	105	#include <stdio.h>
47cd67db	106	SCM_PRIMITIVE_GENERIC_1 (scm_eqv_p, "eqv?", scm_tc7_rpsubr,
1bbd0b84	107	(SCM x, SCM y),
602d32dd KR	108	"Return @code{#t} if @var{x} and @var{y} are the same object, or\n"
	109	"for characters and numbers the same value.\n"
	110	"\n"
	111	"On objects except characters and numbers, @code{eqv?} is the\n"
	112	"same as @code{eq?}, it's true if @var{x} and @var{y} are the\n"
	113	"same object.\n"
	114	"\n"
	115	"If @var{x} and @var{y} are numbers or characters, @code{eqv?}\n"
	116	"compares their type and value. An exact number is not\n"
	117	"@code{eqv?} to an inexact number (even if their value is the\n"
	118	"same).\n"
	119	"\n"
	120	"@example\n"
	121	"(eqv? 3 (+ 1 2)) @result{} #t\n"
	122	"(eqv? 1 1.0) @result{} #f\n"
	123	"@end example")
1bbd0b84	124	#define FUNC_NAME s_scm_eqv_p
0f2d19dd	125	{
bc36d050	126	if (scm_is_eq (x, y))
950cc72b MD	127	return SCM_BOOL_T;
	128	if (SCM_IMP (x))
	129	return SCM_BOOL_F;
	130	if (SCM_IMP (y))
	131	return SCM_BOOL_F;
0f2d19dd	132	/* this ensures that types and scm_length are the same. */
f92e85f7	133
fbd485ba	134	if (SCM_CELL_TYPE (x) != SCM_CELL_TYPE (y))
950cc72b	135	{
f92e85f7 MV	136	/* fractions use 0x10000 as a flag (at the suggestion of Marius Vollmer),
	137	but this checks the entire type word, so fractions may be accidentally
	138	flagged here as unequal. Perhaps I should use the 4th double_cell word?
	139	*/
	140
950cc72b	141	/* treat mixes of real and complex types specially */
6b412e91	142	if (SCM_INEXACTP (x))
950cc72b	143	{
6b412e91	144	if (SCM_REALP (x))
7888309b	145	return scm_from_bool (SCM_COMPLEXP (y)
96d00047 MV	146	&& real_eqv (SCM_REAL_VALUE (x),
96d00047 MV	147	SCM_COMPLEX_REAL (y))
6b412e91	148	&& SCM_COMPLEX_IMAG (y) == 0.0);
950cc72b	149	else
7888309b	150	return scm_from_bool (SCM_REALP (y)
96d00047 MV	151	&& real_eqv (SCM_COMPLEX_REAL (x),
96d00047 MV	152	SCM_REAL_VALUE (y))
950cc72b MD	153	&& SCM_COMPLEX_IMAG (x) == 0.0);
950cc72b MD	154	}
f92e85f7 MV	155
	156	if (SCM_FRACTIONP (x) && SCM_FRACTIONP (y))
	157	return scm_i_fraction_equalp (x, y);
950cc72b MD	158	return SCM_BOOL_F;
	159	}
	160	if (SCM_NUMP (x))
	161	{
eb42e2f0	162	if (SCM_BIGP (x)) {
7888309b	163	return scm_from_bool (scm_i_bigcmp (x, y) == 0);
6b412e91	164	} else if (SCM_REALP (x)) {
7888309b	165	return scm_from_bool (real_eqv (SCM_REAL_VALUE (x), SCM_REAL_VALUE (y)));
f92e85f7 MV	166	} else if (SCM_FRACTIONP (x)) {
f92e85f7 MV	167	return scm_i_fraction_equalp (x, y);
eb42e2f0	168	} else { /* complex */
7888309b	169	return scm_from_bool (real_eqv (SCM_COMPLEX_REAL (x),
96d00047 MV	170	SCM_COMPLEX_REAL (y))
	171	&& real_eqv (SCM_COMPLEX_IMAG (x),
	172	SCM_COMPLEX_IMAG (y)));
eb42e2f0	173	}
950cc72b	174	}
47cd67db MD	175	if (SCM_UNPACK (g_scm_eqv_p))
	176	return scm_call_generic_2 (g_scm_eqv_p, x, y);
	177	else
	178	return SCM_BOOL_F;
0f2d19dd	179	}
1bbd0b84	180	#undef FUNC_NAME
0f2d19dd JB	181
0f2d19dd JB	182
a48d60b1 MD	183	SCM_PRIMITIVE_GENERIC_1 (scm_equal_p, "equal?", scm_tc7_rpsubr,
a48d60b1 MD	184	(SCM x, SCM y),
602d32dd KR	185	"Return @code{#t} if @var{x} and @var{y} are the same type, and\n"
	186	"their contents or value are equal.\n"
	187	"\n"
	188	"For a pair, string, vector or array, @code{equal?} compares the\n"
	189	"contents, and does so using using the same @code{equal?}\n"
	190	"recursively, so a deep structure can be traversed.\n"
	191	"\n"
	192	"@example\n"
	193	"(equal? (list 1 2 3) (list 1 2 3)) @result{} #t\n"
	194	"(equal? (list 1 2 3) (vector 1 2 3)) @result{} #f\n"
	195	"@end example\n"
	196	"\n"
	197	"For other objects, @code{equal?} compares as per @code{eqv?},\n"
	198	"which means characters and numbers are compared by type and\n"
	199	"value (and like @code{eqv?}, exact and inexact numbers are not\n"
	200	"@code{equal?}, even if their value is the same).\n"
	201	"\n"
	202	"@example\n"
	203	"(equal? 3 (+ 1 2)) @result{} #t\n"
	204	"(equal? 1 1.0) @result{} #f\n"
	205	"@end example\n"
	206	"\n"
	207	"Hash tables are currently only compared as per @code{eq?}, so\n"
	208	"two different tables are not @code{equal?}, even if their\n"
	209	"contents are the same.\n"
	210	"\n"
	211	"@code{equal?} does not support circular data structures, it may\n"
	212	"go into an infinite loop if asked to compare two circular lists\n"
	213	"or similar.\n"
	214	"\n"
	215	"New application-defined object types (Smobs) have an\n"
	216	"@code{equalp} handler which is called by @code{equal?}. This\n"
	217	"lets an application traverse the contents or control what is\n"
	218	"considered @code{equal?} for two such objects. If there's no\n"
	219	"handler, the default is to just compare as per @code{eq?}.")
1bbd0b84	220	#define FUNC_NAME s_scm_equal_p
0f2d19dd JB	221	{
0f2d19dd JB	222	SCM_CHECK_STACK;
950cc72b MD	223	tailrecurse:
950cc72b MD	224	SCM_TICK;
bc36d050	225	if (scm_is_eq (x, y))
950cc72b MD	226	return SCM_BOOL_T;
	227	if (SCM_IMP (x))
	228	return SCM_BOOL_F;
	229	if (SCM_IMP (y))
	230	return SCM_BOOL_F;
d2e53ed6	231	if (scm_is_pair (x) && scm_is_pair (y))
950cc72b	232	{
7888309b	233	if (scm_is_false (scm_equal_p (SCM_CAR (x), SCM_CAR (y))))
950cc72b MD	234	return SCM_BOOL_F;
	235	x = SCM_CDR(x);
	236	y = SCM_CDR(y);
	237	goto tailrecurse;
	238	}
baa84a20	239	if (SCM_TYP7 (x) == scm_tc7_string && SCM_TYP7 (y) == scm_tc7_string)
950cc72b	240	return scm_string_equal_p (x, y);
789d2fc8 MV	241	if (SCM_TYP7 (x) == scm_tc7_smob && SCM_TYP16 (x) == SCM_TYP16 (y))
	242	{
	243	int i = SCM_SMOBNUM (x);
	244	if (!(i < scm_numsmob))
	245	return SCM_BOOL_F;
	246	if (scm_smobs[i].equalp)
	247	return (scm_smobs[i].equalp) (x, y);
	248	else
	249	goto generic_equal;
	250	}
950cc72b	251	/* This ensures that types and scm_length are the same. */
fbd485ba	252	if (SCM_CELL_TYPE (x) != SCM_CELL_TYPE (y))
950cc72b MD	253	{
950cc72b MD	254	/* treat mixes of real and complex types specially */
f92e85f7	255	if (SCM_INEXACTP (x) && SCM_INEXACTP (y))
950cc72b	256	{
6b412e91	257	if (SCM_REALP (x))
7888309b	258	return scm_from_bool (SCM_COMPLEXP (y)
950cc72b	259	&& SCM_REAL_VALUE (x) == SCM_COMPLEX_REAL (y)
6b412e91	260	&& SCM_COMPLEX_IMAG (y) == 0.0);
950cc72b	261	else
7888309b	262	return scm_from_bool (SCM_REALP (y)
950cc72b MD	263	&& SCM_COMPLEX_REAL (x) == SCM_REAL_VALUE (y)
950cc72b MD	264	&& SCM_COMPLEX_IMAG (x) == 0.0);
0f2d19dd	265	}
f92e85f7	266
af4f8612 MV	267	/* Vectors can be equal to one-dimensional arrays.
	268	*/
	269	if (SCM_I_ARRAYP (x) \|\| SCM_I_ARRAYP (y))
	270	return scm_array_equal_p (x, y);
	271
950cc72b MD	272	return SCM_BOOL_F;
	273	}
	274	switch (SCM_TYP7 (x))
	275	{
	276	default:
a48d60b1	277	break;
534c55a9 DH	278	case scm_tc7_number:
	279	switch SCM_TYP16 (x)
	280	{
	281	case scm_tc16_big:
	282	return scm_bigequal (x, y);
	283	case scm_tc16_real:
	284	return scm_real_equalp (x, y);
	285	case scm_tc16_complex:
	286	return scm_complex_equalp (x, y);
f92e85f7 MV	287	case scm_tc16_fraction:
f92e85f7 MV	288	return scm_i_fraction_equalp (x, y);
534c55a9	289	}
950cc72b MD	290	case scm_tc7_vector:
950cc72b MD	291	case scm_tc7_wvect:
354116f7	292	return scm_i_vector_equal_p (x, y);
950cc72b	293	}
d15ad007 LC	294
	295	/* Check equality between structs of equal type (see cell-type test above)
	296	that are not GOOPS instances. GOOPS instances are treated via the
	297	generic function. */
	298	if ((SCM_STRUCTP (x)) && (!SCM_INSTANCEP (x)))
	299	return scm_i_struct_equalp (x, y);
	300
789d2fc8	301	generic_equal:
a48d60b1 MD	302	if (SCM_UNPACK (g_scm_equal_p))
	303	return scm_call_generic_2 (g_scm_equal_p, x, y);
	304	else
	305	return SCM_BOOL_F;
0f2d19dd	306	}
1bbd0b84	307	#undef FUNC_NAME
0f2d19dd JB	308
	309
	310	\f
	311
	312
1cc91f1b	313
0f2d19dd JB	314	void
0f2d19dd JB	315	scm_init_eq ()
0f2d19dd	316	{
a0599745	317	#include "libguile/eq.x"
0f2d19dd JB	318	}
0f2d19dd JB	319
89e00824 ML	320
	321	/*
	322	Local Variables:
	323	c-file-style: "gnu"
	324	End:
	325	*/