Hi Noah,
On Thu 04 Nov 2010 03:40, Noah Lavine noah.b.lav...@gmail.com writes:
I think that Guile should offer optional static checking - not just of
types, but of everything that we can check.
It seems like you're really asking for *dynamic* checking -- not only
checking properties that can
Hi again,
The more apropos link to Racket's contracts would probably be:
http://docs.racket-lang.org/guide/contracts.html
Cheers,
Andy
--
http://wingolog.org/
Hi,
Just some superficial notes while reading your code :)
On Tue 16 Nov 2010 00:10, Stefan Israelsson Tampe stefan.ita...@gmail.com
writes:
(define-module (language prolog typecheck equationalize)
#:use-module (srfi srfi-1)
#:use-module (ice-9 pretty-print
Hi,
On Fri 22 Oct 2010 06:29, Noah Lavine noah.b.lav...@gmail.com writes:
After not emailing for a while, I have some good news: a JIT engine is
working!
Great news!
I have been behind on things a bit, so apologies for taking a month to
get back to you, and then only partially. In any case
On Sun 24 Oct 2010 23:46, Andreas Rottmann a.rottm...@gmx.at writes:
Attached is a patch that improves the way R6RS exceptions are printed at
the REPL
Cool! I have also found the need to define pretty-printers for various
throw keys. I wonder, could you rework this patch to add a more generic
Hi Andreas,
On Wed 27 Oct 2010 00:53, Andreas Rottmann a.rottm...@gmx.at writes:
* module/rnrs/base.scm (error, assert): Define -- they were missing.
(assertion-violation): Properly treat a #f `who' argument.
* module/rnrs/conditions.scm (condition): Use `assertion-violation'
instead of
On Thu 28 Oct 2010 01:35, Neil Jerram n...@ossau.uklinux.net writes:
l...@gnu.org (Ludovic Courtès) writes:
Besides, you might want to check if it’s fixed in the elisp branch, who
knows. :-)
Ah, yes, I didn't think of that. As luck would have it, this has indeed
been fixed already. :-)
Hi there, I'm having a strange problem using write in recent Git
versions. When I include certain characters in a string passed to
write, it prints odd hex representations of the Latin-1 encodings of
those characters: odd because the result is not valid UTF-8 even
though I believe my environment
* libguile/r6rs-ports.c (make_tp, tp_write, tp_fill_input, tp_flush,
tp_close, initialize_transcoded_ports, scm_transcoded_port): New
functions.
(scm_init_r6rs_ports): Call `initialize_transcoded_ports'.
* module/rnrs/ports.scm (transcoded-port): Remove, this is now
implemented in C.
*
* libguile/r6rs-ports.c (make_bip, make_cbip, make_bop, make_cbop): Lock
the port table.
* libguile/r6rs-ports.c (make_bop): Let the returned extraction
procedure refer to the port's buffer instead of the port itself. This
fixes a segfault if the port is closed before the extraction
From: Taylor Venable tay...@metasyntax.net
Hi there, I'm having a strange problem using write in recent Git
versions. When I include certain characters in a string passed to
write, it prints odd hex representations of the Latin-1 encodings of
those characters: odd because the result is
Andy Wingo wi...@pobox.com writes:
Hi Andreas,
On Wed 27 Oct 2010 00:53, Andreas Rottmann a.rottm...@gmx.at writes:
* module/rnrs/base.scm (error, assert): Define -- they were missing.
(assertion-violation): Properly treat a #f `who' argument.
* module/rnrs/conditions.scm (condition):
[ Re-sent after rebasing on current HEAD ]
Besides allowing user-defined meta-commands, this change also refactors
the meta-command machinery to split reading a command's arguments from
the procedure actually implementing it, and hence allows nesting
meta-commands. As an example of such a
Heya Andreas,
On Sat 20 Nov 2010 19:18, Andreas Rottmann a.rottm...@gmx.at writes:
Andy Wingo wi...@pobox.com writes:
set-exception-printer! : exception-printer - nothing
Did you mean the following?
set-exception-printer! : key exception-printer - nothing
Of course, yes. It seems I
On Sat, Nov 20, 2010 at 12:53 PM, Mike Gran spk...@yahoo.com wrote:
You should basically always call (setlocale LC_ALL ) before
working on non-ASCII code.
Guile starts up in Latin-1. It may seem that Guile should
pick up your environment's LANG or LOCALE on startup, but, most
compilers
Hi,
On Mon 08 Nov 2010 22:08, l...@gnu.org (Ludovic Courtès) writes:
Mark H Weaver m...@netris.org writes:
No, (integer? 3.0) returns #t, as it should, according to R5RS.
R5RS's description of integer? gives this precise example, and
guile's implementation agrees.
Damn, I had never
On Sun 07 Nov 2010 23:54, l...@gnu.org (Ludovic Courtès) writes:
Noah Lavine noah.b.lav...@gmail.com writes:
'record-case' [...] looked neat
I find it limited and would rather add record matching support in
(ice-9 match), something I’ve been willing to look at for too long...
On Thu 11 Nov 2010 17:24, l...@gnu.org (Ludovic Courtès) writes:
(define-wrapped-pointer-type class?
wrap-class unwrap-class print-class)
Looks great! Would be a great addition to system foreign.
(with-syntax ((type-name (datum-syntax #'pred (gensym)))
(%wrap
Hello :)
On Thu 18 Nov 2010 22:37, l...@gnu.org (Ludovic Courtès) writes:
Hi!
Hey I'm caught up to this week! :)
Andy Wingo wi...@pobox.com writes:
+source-location-source-properties
I was thinking that this procedure could be made internal to the ES
compiler, so that the
Hi,
On Fri 19 Nov 2010 23:39, l...@gnu.org (Ludovic Courtès) writes:
Flex is only needed when building from Git, not when building from a
tarball, which is why ‘configure’ doesn’t check for it.
It's a common question, though. I have added a flex --version call to
autogen.sh for this reason,
Hi!
Andreas Rottmann a.rottm...@gmx.at writes:
Besides allowing user-defined meta-commands, this change also refactors
the meta-command machinery to split reading a command's arguments from
the procedure actually implementing it, and hence allows nesting
meta-commands. As an example of such
Applied, thanks! (But it's really 2 different patches.)
Ludo'.
Hi!
Andreas Rottmann a.rottm...@gmx.at writes:
* libguile/r6rs-ports.c (make_tp, tp_write, tp_fill_input, tp_flush,
tp_close, initialize_transcoded_ports, scm_transcoded_port): New
functions.
(scm_init_r6rs_ports): Call `initialize_transcoded_ports'.
* module/rnrs/ports.scm
With apologies for the churn... my benchmark graphs are now back at
http://ossau.homelinux.net/~neil. (i.e. they've moved back from port
8000 to port 80.)
Also they haven't been auto-updating, since yesterday, because I've been
trying to investigate why so many individual benchmarks have
24 matches
Mail list logo