On Tue, Nov 28, 2017 at 09:43:54AM -0500, Matthias Felleisen wrote:
>
> I have forwarded your email to Daniel Felty who designed and implemented the
> typed units. I am hoping to get a response soon — Matthias
Great, thanks.
> > On Nov 26, 2017, at 6:11 PM, Richard Cobbe wr
On Mon, Nov 27, 2017 at 09:48:16AM +, Robby Findler wrote:
> It may help to disable online compilation. (Click on the little circle in
> the bottom to get a menu that lets you disable it.)
Ah! Thanks for the suggestion; I'll give that a try.
Richard
--
You received this message because you
Returning to this after a long delay...
On Sat, Nov 11, 2017 at 01:34:05PM -0500, Matthias Felleisen wrote:
> > (Context: I only actually intend to use `store' with a single type, but I
> > want to define that type in a separate module. Since the type's definition
> > refers to `addr', I made `s
On Sun, Nov 26, 2017 at 03:42:14PM +, Stephen De Gabrielle wrote:
> Hi,
>
> I’ve noticed some list members use other editors or IDE’s.
>
> I know two big reasons for using a complex tool is it’s stickiness factors;
> normally a combination of familiarity (hence speed) with a lot of powerful
> f
I'm getting surprising results trying to define an abstract polymorphic
type in Typed Racket. Could someone shed some light on this?
Consider the following definitions:
(struct addr ([ptr : Natural]))
(struct (α) store ([next-addr : addr]
[table : (Immutable-HashTa
On Sun, Jan 23, 2011 at 07:31:16PM -0700, Matthew Flatt wrote:
> At Sun, 23 Jan 2011 17:03:07 -0500, Richard Cobbe wrote:
> > Is there a way to get Scribble's @example form to pretty-print its output?
> > [...]
> > I'm already using a custom evaluator for the example
Is there a way to get Scribble's @example form to pretty-print its output?
Right now, scribble just uses the normal REPL printer to render the output,
and that inserts hard line breaks at about column 62, which affects
readability. See the attached PNG for an example. (The expression being
evalua
On Sun, Aug 01, 2010 at 03:11:43PM -0400, Todd O'Bryan wrote:
> There are a couple of things we could do to help with the underlying
> cause. I've been looking at OCaml recently, and the construct they
> have for copying and updating a record is something that maybe Racket
> could use. Something li
On Mon, Jun 28, 2010 at 08:11:33PM +0200, Laurent wrote:
> On Mon, Jun 28, 2010 at 13:46, Richard Cobbe wrote:
>
> > On Sun, Jun 27, 2010 at 06:14:59PM -0500, Robby Findler wrote:
> > > I don't know of one. Planet has some code that might make a good
> >
On Sun, Jun 27, 2010 at 06:14:59PM -0500, Robby Findler wrote:
> I don't know of one. Planet has some code that might make a good
> starting point (Jacob wrote it).
Ah, thanks for the pointer. I'll check that out and see if there's
anything I can use.
Richard
Is there an alternative to the `command-line' form that supports the use of
raco-style (svn-style, cvs-style, etc.) command lines, where the first
argument is a subcommand, and each subcommand takes a different set of
arguments and options?
I know that in v4, planet had such a library, but it star
On Mon, Jun 14, 2010 at 11:42:43AM +0100, Noel Welsh wrote:
> Didn't get to the end of this, but it seems like you want to represent
> a lexical environment as found in any interpreter. For this, I
> suggest:
>
> http://planet.plt-scheme.org/display.ss?package=environment.plt&owner=cobbe
> A rib-ca
12 matches
Mail list logo
