comparison src/eval.c @ 753:8a4c2c149ec2

*** empty log message ***

752:f7c08f6bd753

definitions to shadow the loaded ones for use in file byte-compilation.")
  (form, env)
     register Lisp_Object form;
     Lisp_Object env;
{
  register Lisp_Object expander, sym, def, tem;

  while (1)
    {
      /* Come back here each time we expand a macro call,
	 in case it expands into another macro call.  */
      if (XTYPE (form) != Lisp_Cons)
	break;
      sym = XCONS (form)->car;
      /* Detect  ((macro lambda ...) ...)  */
      if (XTYPE (sym) == Lisp_Cons
	  && EQ (XCONS (sym)->car, Qmacro))
	{
	  expander = XCONS (sym)->cdr;
	  goto explicit;
	}
      if (XTYPE (sym) != Lisp_Symbol)
	break;
      /* Trace symbols aliases to other symbols
	 until we get a symbol that is not an alias.  */
      while (1)
	{
	  QUIT;
	  tem = Fassq (sym, env);
	  if (NILP (tem))
	    {
	      def = XSYMBOL (sym)->function;
	      if (XTYPE (def) == Lisp_Symbol && !EQ (def, Qunbound))
		sym = def;
	      else
		break;
	    }
	  else
	    {
#if 0  /* This is turned off because it caused an element (foo . bar)
	  to have the effect of defining foo as an alias for the macro bar.
	  That is inconsistent; bar should be a function to expand foo.  */
	      if (XTYPE (tem) == Lisp_Cons
		  && XTYPE (XCONS (tem)->cdr) == Lisp_Symbol)
		sym = XCONS (tem)->cdr;
	      else
#endif
		break;
	    }
	}
      /* Right now TEM is the result from SYM in ENV,
	 and if TEM is nil then DEF is SYM's function definition.  */
      if (NILP (tem))
	{

	{
	  expander = XCONS (tem)->cdr;
	  if (NILP (expander))
	    break;
	}
    explicit:
      form = apply1 (expander, XCONS (form)->cdr);
    }
  return form;
}


753:8a4c2c149ec2

definitions to shadow the loaded ones for use in file byte-compilation.")
  (form, env)
     register Lisp_Object form;
     Lisp_Object env;
{
  /* With cleanups from Hallvard Furuseth.  */
  register Lisp_Object expander, sym, def, tem;

  while (1)
    {
      /* Come back here each time we expand a macro call,
	 in case it expands into another macro call.  */
      if (XTYPE (form) != Lisp_Cons)
	break;
      /* Set SYM, give DEF and TEM right values in case SYM is not a symbol. */
      def = sym = XCONS (form)->car;
      tem = Qnil;
      /* Trace symbols aliases to other symbols
	 until we get a symbol that is not an alias.  */
      while (XTYPE (def) == Lisp_Symbol)
	{
	  QUIT;
	  sym = def;
	  tem = Fassq (sym, env);
	  if (NILP (tem))
	    {
	      def = XSYMBOL (sym)->function;
	      if (!EQ (def, Qunbound))
		continue;
	    }
	  break;
	}
      /* Right now TEM is the result from SYM in ENV,
	 and if TEM is nil then DEF is SYM's function definition.  */
      if (NILP (tem))
	{

	{
	  expander = XCONS (tem)->cdr;
	  if (NILP (expander))
	    break;
	}
      form = apply1 (expander, XCONS (form)->cdr);
    }
  return form;
}