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

Re: [r6rs-discuss] [Scheme-reports] redefining eqv?

To: Eli Barzilay <eli@x>
Subject: Re: [r6rs-discuss] [Scheme-reports] redefining eqv?
From: Andre van Tonder <andre@x>
Date: Fri, 24 Dec 2010 13:36:10 -0500 (EST)
Cc: r6rs-discuss@x, John Cowan <cowan@x>, scheme-reports@x
In-reply-to: <19732.50079.52088.813272@winooski.ccs.neu.edu>
References: <1292969081.2277.54.camel@io> <20101222165533.GA19901@mercury.ccil.org> <1293038313.2356.19.camel@io> <20101222201543.GC19901@mercury.ccil.org> <1293050830.2356.44.camel@io> <20101223014842.GI19901@mercury.ccil.org> <1293092693.2356.87.camel@io> <20101223091225.GF9191@mercury.ccil.org> <1293096312.2356.154.camel@io> <1292949716.2277.7.camel@io> <87oc8fxd07.fsf@gondolin.draga.com> <1292962352.2277.35.camel@io> <20101221203028.GD25830@mercury.ccil.org> <4D07A7E9.2070601@bothner.com> <87hbe7yvtz.fsf@gondolin.draga.com> <1292318090.2412.31.camel@io> <Pine.SOC.4.64.1012221010370.5095@oow.het.brown.edu> <20101222171008.GB19901@mercury.ccil.org> <19730.17576.807336.287360@winooski.ccs.neu.edu> <1293049943.2356.30.camel@io> <19730.35723.348765.73581@winooski.ccs.neu.edu> <1293096457.2356.158.camel@io> <19731.63945.647000.890816@winooski.ccs.neu.edu> <1293193411.2246.150.camel@io> <19732.50079.52088.813272@winooski.ccs.neu.edu>

By the way, I was under the impression that R6RS intended
(in the discussions) to forbid library or toplevel
redefinitions of imported bindings, yet I cannot find this
constraint in the document.  Am I missing something?

Andre


_______________________________________________
r6rs-discuss mailing list
r6rs-discuss@x
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

References:
- Re: [r6rs-discuss] [Scheme-reports] Scheme pattern matching: the case for (case)
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [r6rs-discuss] [Scheme-reports] Scheme pattern matching: the case for (case)
  - From: John Cowan <cowan@x>
- Re: [r6rs-discuss] [Scheme-reports] Scheme pattern matching: the case for (case)
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [Scheme-reports] [r6rs-discuss] Scheme pattern matching: the case for (case)
  - From: John Cowan <cowan@x>
- Re: [r6rs-discuss] [Scheme-reports] redefining eqv?
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [r6rs-discuss] [Scheme-reports] redefining eqv?
  - From: John Cowan <cowan@x>
- Re: [r6rs-discuss] [Scheme-reports] redefining eqv?
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [Scheme-reports] [r6rs-discuss] redefining eqv?
  - From: John Cowan <cowan@x>
- Re: [Scheme-reports] [r6rs-discuss] redefining eqv?
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [r6rs-discuss] [Scheme-reports] [scheme-reports] Scheme pattern matching & R*RS
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [Scheme-reports] [r6rs-discuss] [scheme-reports] Scheme pattern matching & R*RS
  - From: Jim Wise <jwise@x>
- Re: [r6rs-discuss] [Scheme-reports] Scheme pattern matching: the case for (case)
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [r6rs-discuss] [Scheme-reports] Scheme pattern matching: the case for (case)
  - From: John Cowan <cowan@x>
- Re: [r6rs-discuss] [scheme-reports] Scheme pattern matching & R*RS
  - From: Per Bothner <per@x>
- Re: [r6rs-discuss] [Scheme-reports] [scheme-reports] Scheme pattern matching & R*RS
  - From: Jim Wise <jwise@x>
- Re: [r6rs-discuss] [scheme-reports] Scheme pattern matching & R*RS
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [r6rs-discuss] [Scheme-reports] Scheme pattern matching: the case for (case)
  - From: Andre van Tonder <andre@x>
- Re: [Scheme-reports] [r6rs-discuss] Scheme pattern matching: the case for (case)
  - From: John Cowan <cowan@x>
- Re: [r6rs-discuss] [Scheme-reports] Scheme pattern matching: the case for (case)
  - From: Eli Barzilay <eli@x>
- Re: [r6rs-discuss] [Scheme-reports] redefining eqv?
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [Scheme-reports] [r6rs-discuss] redefining eqv?
  - From: Eli Barzilay <eli@x>
- Re: [Scheme-reports] [r6rs-discuss] redefining eqv?
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [Scheme-reports] [r6rs-discuss] redefining eqv?
  - From: Eli Barzilay <eli@x>
- Re: [Scheme-reports] [r6rs-discuss] redefining eqv?
  - From: Peter Kourzanov <peter.kourzanov@x>
- Re: [r6rs-discuss] [Scheme-reports] redefining eqv?
  - From: Eli Barzilay <eli@x>

Prev by Date: Re: [Scheme-reports] [r6rs-discuss] redefining eqv?
Next by Date: Re: [Scheme-reports] [r6rs-discuss] redefining eqv?
Previous by thread: Re: [r6rs-discuss] [Scheme-reports] redefining eqv?
Next by thread: Re: [Scheme-reports] [r6rs-discuss] redefining eqv?
Index(es):
- Date
- Thread