I'm trying to use polymorphic types in a match pattern and cannot get certain
type constructions to work. Here are examples.
match will work for the polymorphic type (Some a) (from the typed racket guide):
(struct: None ())
(struct: (a) Some ([v : a]))
(define-type (Opt a) (U None (Some a)))
On Nov 22, 2010, at 3:12 PM, Matthew Flatt wrote:
> At Mon, 22 Nov 2010 15:00:01 -0800, John Clements wrote:
>> Taking a look at the crash report, I see that the crash appears to
>> happen when the callback is called by a C thread while Racket is
>> collecting garbage, [...]
>>
>> So: is racket
I've pushed a fix for the example below, at least.
Robby
On Tue, Nov 23, 2010 at 12:18 PM, Sam Tobin-Hochstadt wrote:
> On Tue, Nov 23, 2010 at 1:04 PM, John Clements
> wrote:
>>
>> On Nov 20, 2010, at 8:19 PM, Sam Tobin-Hochstadt wrote:
>>
>>> There are a lot of things you could mean by "Typed
Along the lines of useless email with silly content, I should give
props to Dave Herman, who took one look at P4P and asked why I didn't
instead call it "Bracket".
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
On Tue, Nov 23, 2010 at 1:04 PM, John Clements
wrote:
>
> On Nov 20, 2010, at 8:19 PM, Sam Tobin-Hochstadt wrote:
>
>> There are a lot of things you could mean by "Typed Racket doesn't
>> preserve source locations". Some of them TR definitely preserves
>> source locations, and some are hard cases
... p.s.: anyone who uses the terrible pun "Racking Your Brain" in a paper
title must now treat me to a "rack" of lamb.
Unless that paper's already written.
John
smime.p7s
Description: S/MIME cryptographic signature
_
For list-related adminis
On Nov 20, 2010, at 8:19 PM, Sam Tobin-Hochstadt wrote:
> There are a lot of things you could mean by "Typed Racket doesn't
> preserve source locations". Some of them TR definitely preserves
> source locations, and some are hard cases where TR tries but doesn't
> always succeed. So I am also in
7 matches
Mail list logo
