March 2007 Archives by thread
Starting: Thu Mar 1 01:41:03 EDT 2007
Ending: Thu Mar 29 08:47:49 EDT 2007
Messages: 486
- [r6rs-discuss] [Formal] Compound conditions considered bogus
John Cowan
- [r6rs-discuss] [OT] Should compilers preserve termination?
Joe Marshall
- [r6rs-discuss] [OT] Should compilers preserve termination?
Paul Schlie
- [r6rs-discuss] [Formal] Minor wording issues
AndrevanTonder
- [r6rs-discuss] [Formal] ->exact and ->inexact should be renamed
R. Kent Dybvig
- [r6rs-discuss] comment period ending March 15
R. Kent Dybvig
- [r6rs-discuss] [Formal] quasiquote freshness
R. Kent Dybvig
- [r6rs-discuss] [Formal] add list* or cons*
R. Kent Dybvig
- [r6rs-discuss] Interpreters need not apply?
Aubrey Jaffer
- [r6rs-discuss] [Formal] Scheme-6 should be differentiated from
earlier versions
Aubrey Jaffer
- [r6rs-discuss] [Formal] combine syntactic record layers
R. Kent Dybvig
- [r6rs-discuss] [Formal] eliminate library export immutability
loophole
R. Kent Dybvig
- [r6rs-discuss] [OT] Should compilers preserve termination?
Paul Schlie
- [r6rs-discuss] [Formal] Syntactic datums and datum values
AndrevanTonder
- [r6rs-discuss] [Formal] Why are simple conditions so different from
records
AndrevanTonder
- [r6rs-discuss] [Formal] Remove the (r6rs when-unless) library
Michael Sperber
- [r6rs-discuss] [Formal] Allow compilers to reject obvious
violations
bear
- [r6rs-discuss] Re: [Formal] Allow compilers to reject obvious
violations
bear
- [r6rs-discuss] [Formal] Allow compilers to reject obvious
violations
bear
- [r6rs-discuss] [Formal] Confusing comparison with Pascal
call-by-reference
bear
- [r6rs-discuss] Why are fx+ and fx* restricted to two arguments
bear
- [r6rs-discuss] [Formal] body should allow mixing declarations with
expressions
Per Bothner
- [r6rs-discuss] [Formal] defer lambda rather than define rhs when
expanding body
Per Bothner
- [r6rs-discuss] [Formal] 5.1. Requirement levels is MAXxed out
Aubrey Jaffer
- [r6rs-discuss] [Formal] body should allow mixing declarations
with expressions
Chongkai Zhu
- [r6rs-discuss] [Formal] the procedural record layer needs better
examples
Per Bothner
- [r6rs-discuss] [Formal] Map returning twice
AndrevanTonder
- [r6rs-discuss] perhaps i should be formal, but....
Thomas Lord
- [r6rs-discuss] perhaps i should be formal, but....
William D Clinger
- [r6rs-discuss] perhaps i should be formal, but....
Thomas Lord
- [r6rs-discuss] perhaps i should be formal, but....
Per Bothner
- [r6rs-discuss] perhaps i should be formal, but....
Thomas Lord
- [r6rs-discuss] perhaps i should be formal, but....
John Cowan
- [r6rs-discuss] perhaps i should be formal, but....
Thomas Lord
- [r6rs-discuss] perhaps i should be formal, but....
MichaelL at frogware.com
- [r6rs-discuss] perhaps i should be formal, but....
MichaelL at frogware.com
- [r6rs-discuss] perhaps i should be formal, but....
Jeff Read
- [r6rs-discuss] perhaps i should be formal, but....
MichaelL at frogware.com
- [r6rs-discuss] perhaps i should be formal, but....
John Cowan
- [r6rs-discuss] perhaps i should be formal, but....
MichaelL at frogware.com
- [r6rs-discuss] perhaps i should be formal, but....
Per Bothner
- [r6rs-discuss] perhaps i should be formal, but....
MichaelL at frogware.com
- [r6rs-discuss] perhaps i should be formal, but....
Alexander Kjeldaas
- [r6rs-discuss] perhaps i should be formal, but....
John Cowan
- [r6rs-discuss] perhaps i should be formal, but....
MichaelL at frogware.com
- [r6rs-discuss] perhaps i should be formal, but....
Alexander Kjeldaas
- [r6rs-discuss] perhaps i should be formal, but....
MichaelL at frogware.com
- [r6rs-discuss] perhaps i should be formal, but....
John Cowan
- [r6rs-discuss] perhaps i should be formal, but....
MichaelL at frogware.com
- [r6rs-discuss] perhaps i should be formal, but....
John Cowan
- [r6rs-discuss] perhaps i should be formal, but....
MichaelL at frogware.com
- [r6rs-discuss] perhaps i should be formal, but....
William D Clinger
- [r6rs-discuss] [Formal] Recursive exception handling considered
harmful
John Cowan
- [r6rs-discuss] [Formal] Formal semantics should not contain
complicating optimizations
AndrevanTonder
- [r6rs-discuss] Extending formal comment period
AndrevanTonder
- [r6rs-discuss] [Formal] allow port position to be "magic cookie"
Per Bothner
- [r6rs-discuss] [Formal] get-bytevector-some may be difficult to
implement
Per Bothner
- [r6rs-discuss] [Formal] need make-custom-textual-input-port and
make-custom-textual-output-port
Per Bothner
- [r6rs-discuss] [Formal] Drop formal semantics of library toplevel
AndrevanTonder
- [r6rs-discuss] [Formal] Remove DEFINE and BEGIN^F from formal
semantics
AndrevanTonder
- [r6rs-discuss] [Formal] right shift formula and bit-field
signedness
Daniel Villeneuve
- [r6rs-discuss] "Compound conditions considered bogus" withdrawn
John Cowan
- [r6rs-discuss] perhaps i should be formal, but....
Jeff Read
- [r6rs-discuss] [Formal] The components of a compound condition
should be independent
John Cowan
- [r6rs-discuss] [Formal] formal comment (ports, characters, strings,
Unicode)
Thomas Lord
- [r6rs-discuss] interpreters / pragmatics / lisp
Thomas Lord
- [r6rs-discuss] whatever Scheme is
Thomas Lord
- [r6rs-discuss] Strings as codepoint-vectors: bad
Jason Orendorff
- [r6rs-discuss] perhaps i should be formal, but....
Jason Orendorff
- [r6rs-discuss] Recursively immutable objects and shared-nothing
primitives?
Alexander Kjeldaas
- [r6rs-discuss] [Formal] NaNs are not real numbers
Aubrey Jaffer
- [r6rs-discuss] Strings as codepoint-vectors: bad
Jason Orendorff
- [r6rs-discuss] [Formal] Formal semantics should not contain
complicating optimizations
Jason Orendorff
- [r6rs-discuss] Re: [Formal] Recursive exception handling considered
harmful
John Cowan
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
John Cowan
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Thomas Lord
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
John Cowan
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Thomas Lord
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Per Bothner
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Thomas Lord
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Per Bothner
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Thomas Lord
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Per Bothner
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Thomas Lord
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Per Bothner
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Thomas Lord
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Per Bothner
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Lauri Alanko
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
John Cowan
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Shiro Kawai
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Per Bothner
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Shiro Kawai
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Shiro Kawai
- [r6rs-discuss] [Formal] Allow inline hex escapes anywhere
Alan Watson
- [r6rs-discuss] [campbell@mumble.net: Re: [Formal] Recursive
exception handling considered harmful]
John Cowan
- [r6rs-discuss] Re: [campbell@mumble.net: Re: [Formal] Recursive
exception handling considered harmful]
Paul Schlie
- [r6rs-discuss] [Formal] typewriter font nitpick
Jeff Read
- [r6rs-discuss] [Formal] typewriter font nitpick
Michael Sperber
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
William D Clinger
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
MichaelL at frogware.com
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Abdulaziz Ghuloum
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
MichaelL at frogware.com
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Per Bothner
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Abdulaziz Ghuloum
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
MichaelL at frogware.com
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
John Cowan
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
R. Kent Dybvig
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
John Cowan
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
MichaelL at frogware.com
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
John Cowan
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
MichaelL at frogware.com
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
John Cowan
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
John Cowan
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Abdulaziz Ghuloum
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Thomas Lord
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Thomas Lord
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
William D Clinger
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Shiro Kawai
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Per Bothner
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Abdulaziz Ghuloum
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Per Bothner
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
John Cowan
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
Jason Orendorff
- [r6rs-discuss] [Formal] allow variable-length strings
Per Bothner
- [r6rs-discuss] strings based on buffers and markers
Per Bothner
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
William D Clinger
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
William D Clinger
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
William D Clinger
- [r6rs-discuss] Re: [Formal] formal comment (ports, characters,
strings, Unicode)
William D Clinger
- [r6rs-discuss] port/char/string alternative
Thomas Lord
- [r6rs-discuss] Strings
Jason Orendorff
- [r6rs-discuss] compilers, design philosophy
Thomas Lord
- [r6rs-discuss] Re: [Formal] Recursive exception handling considered
harmful
John Cowan
- [r6rs-discuss] Strings
Jason Orendorff
- [r6rs-discuss] [Formal] Disallow redefinitions macros/variables
AndrevanTonder
- [r6rs-discuss] Strings
Jason Orendorff
- [r6rs-discuss] Strings
Jason Orendorff
- [r6rs-discuss] [Formal] Bytevectors: `big' and `little'
endianness under-specified
Michael Sperber
- [r6rs-discuss] [Formal] Bytevectors: Sections 2.5 and 2.6 are
inappropriately structured.
Michael Sperber
- [r6rs-discuss] A suggestion about LETREC
Joe Marshall
- [r6rs-discuss] Proposed Ratification Procedure for R6RS
Mitchell Wand
- [r6rs-discuss] [Formal] Disallow redefinitions macros/variables
Paul Schlie
- [r6rs-discuss] Python developer comments on Unicode
Jason Orendorff
Last message date:
Thu Mar 29 08:47:49 EDT 2007
Archived on: Thu Mar 29 08:48:05 EDT 2007
This archive was generated by
Pipermail 0.09 (Mailman edition).