I'd like to write a program basically like this:
#lang racket/load
(module m1 racket
(define l (list #'l))
(provide l))
(module m2 racket
(require (for-syntax 'm1))
(define-syntax (mac stx)
#`(module* sub #f
(length (list #,(car l)
(provide mac))
(module m3 racket
(r
On Jul 5, 2012 8:50 PM, "Neil Toronto" wrote:
>
> I just found this today:
>
>
> #lang typed/racket
>
> (define: b : (Boxof Any) (box 4))
>
> (define-predicate boxof-integer? (Boxof Integer))
This is the bug -- there's no way to write the boxof-integer? predicate,
and define- predicate shouldn't
rking)? I will try that,
and see if it works for my purposes.
> At Thu, 5 Jul 2012 17:17:08 -0400, Sam Tobin-Hochstadt wrote:
>> I'd like to write a program basically like this:
>>
>> #lang racket/load
>>
>> (module m1 racket
>> (define l (list #
On Fri, Jul 6, 2012 at 11:59 AM, Neil Toronto wrote:
> On 07/05/2012 05:54 PM, Sam Tobin-Hochstadt wrote:
>>
>> On Jul 5, 2012 8:50 PM, "Neil Toronto" > <mailto:neil.toro...@gmail.com>> wrote:
>> >
>> > (define-predicate boxof-integer? (Box
On Fri, Jul 6, 2012 at 5:53 PM, Matthias Felleisen wrote:
>
> I can't think of such a primitive other than force, for which it is okay. Can
> you be concrete?
Here's a type definition;
(define-type LTree
(U (Promise Integer) (Cons LTree LTree)))
This is just a tree of integer promises, but
On Sat, Jul 7, 2012 at 10:14 AM, Matthias Felleisen
wrote:
> p.s. Sam's version forces too early because strict functions should
> force not variable lookups. This is a common misconception among programmers.
> I suspect it goes back to Abelson and Sussman getting it wrong (see what
> happens if
ay have made a mistake under time pressure:
>
> [else (+ (force (sum (car x))) (force (sum (cdr x]
>
>
>
>
>
> On Jul 7, 2012, at 10:19 AM, Sam Tobin-Hochstadt wrote:
>
>> On Sat, Jul 7, 2012 at 10:14 AM, Matthias Felleisen
>> wrote:
>>
>>>
On Sun, Jul 8, 2012 at 12:58 AM, Neil Toronto wrote:
> It runs directly counter to what I expect from immutable containers, which I
> use most of the time:
This is the problem. Immutable containers are very different from
mutable ones, and your expectations shouldn't be expected to carry
over.
I'm trying to reduce the startup overhead imposed by Typed Racket, and
I'm running into a mystifying problem
If you look here at https://gist.github.com/3098628 you'll see two
small files, `tnull.rkt` and `rlnull.rkt`. The former is an empty
file written in `typed/racket/base`. The latter is an
On Thu, Jul 12, 2012 at 11:49 AM, Matthew Flatt wrote:
>
> I think the difference is GC variance due to the order that modules get
> loaded. If I try
>
> time racket -W debug -l racket/base -t tnull.rkt
> time racket -W debug -l racket/base -t rlnull.rkt
>
> then the times are extremely close, a
On Thu, Jul 12, 2012 at 3:20 PM, Matthew Flatt wrote:
> Of course, we usually optimize for long-term performance, and it's
> sometimes tricky to balance short-term and long-term performance. Does
> the difference that you see still matter when a program does something
> useful?
If I run the Shoot
I'm trying to use `unstable/lazy-require` to load time compile-time
portion of `match` on-demand; the attached patch implements what I
think should be the right thing. However, when I try to run 'raco
setup' with this, I get:
raco setup: bootstrapping from source...
write: cannot marshal value th
On Mon, Jul 16, 2012 at 11:05 AM, Neil Toronto wrote:
> On 07/16/2012 07:45 AM, sa...@racket-lang.org wrote:
>>
>> samth has updated `master' from 55a8445b0b to 9dac995e36.
>> ~~
>>
>> 030e563 Eric Dobson 2012-06-17 22:14
>> :
>> | Make TR compile cleanly with contracts enabled.
>> |
>> |
On Tue, Jul 17, 2012 at 5:14 PM, David Van Horn wrote:
>
> I'm getting an arity mismatch error whenever I run a saved file in DrRacket.
I get this identical error in DrRacket with the latest git HEAD.
--
sam th
sa...@ccs.neu.edu
_
Racket Developers list:
http://lists.
On Tue, Jul 17, 2012 at 5:59 PM, Ryan Culpepper wrote:
> On 07/17/2012 05:32 PM, mfl...@racket-lang.org wrote:
>>
>> mflatt has updated `master' from 3b5eb1da41 to 6b3e207ecd.
>>http://git.racket-lang.org/plt/3b5eb1da41..6b3e207ecd
>>
>> =[ 2 Commits ]==
n.rkt.
This worked.
So now I'm somewhat confused at to whether things are working.
Sam
>
> Robby
>
> On Wed, Jul 18, 2012 at 8:25 AM, Sam Tobin-Hochstadt
> wrote:
>> On Tue, Jul 17, 2012 at 5:59 PM, Ryan Culpepper wrote:
>>> On 07/17/2012 05:32 PM, mfl...@racket-
n Wed, Jul 18, 2012 at 8:47 AM, Sam Tobin-Hochstadt
> wrote:
>> On Wed, Jul 18, 2012 at 9:28 AM, Robby Findler
>> wrote:
>>> In addition to making a GUI program, eg:
>>>
>>> #lang racket/gui
>>> (send (new frame% [label ""][width 100])
d email to racket...@racket-lang.org .
Sam Tobin-Hochstadt
_
Racket Developers list:
http://lists.racket-lang.org/dev
On Fri, Jul 20, 2012 at 12:24 AM, Asumu Takikawa wrote:
> I heard rumours that there was once an official PLT PLaneT account
> intended for packages maintained by the dev team. Does anyone know if it
> exists and how to go about getting access to it?
I think Carl is the right person to ask here.
On Fri, Jul 20, 2012 at 7:36 AM, Neil Van Dyke wrote:
> Sam Tobin-Hochstadt wrote at 07/20/2012 07:23 AM:
>
>>> I was thinking that it'd be more appropriate to put the
>>> 'parser-combinator' and 'tex2page' packages under such an account rat
On Fri, Jul 20, 2012 at 8:21 AM, Neil Van Dyke wrote:
> Sam Tobin-Hochstadt wrote at 07/20/2012 07:44 AM:
>
>>> Shouldn't everyone try to eat PLaneT brand dog food? (Not subsist off of
>>> Git brand dog treats.)
>>>
>>
>> Whether or n
I also see this error, and as I don't have those particular files, it
seems unlikely that it's something specific to Robby's setup.
On Fri, Jul 20, 2012 at 8:49 AM, Robby Findler
wrote:
> Just to clarify: the props script is now useless to as a mechanism for
> actually setting properties, since t
On Fri, Jul 20, 2012 at 10:49 AM, Eli Barzilay wrote:
> Two hours ago, Sam Tobin-Hochstadt wrote:
>> I also see this error, and as I don't have those particular files, it
>> seems unlikely that it's something specific to Robby's setup.
>
> You shouldn't se
This commit adds two undocumented exports to `racket/system` and thus
`racket`. Are they intended to be exported?
On Fri, Jul 20, 2012 at 10:38 AM, wrote:
>
>
> f2b9cda Matthias Felleisen 2012-07-20 10:37
> :
> | fixed a somewhat awkward error message that made 'system' look awkward
> :
> M
I've been trying to use the new futures visualizer (which is great) to
improve my parallel version of the mandelbrot benchmark
(collects/tests/racket/shootout/mandelbrot-futures.rkt). My current
code is attached. You can run it like this:
$ racket mand.rkt 4000 8 # 8 is the number of futures
alizer last week -- I'll take a look.
> I wrote an allocation hotspot profiler tool that may end up as part of the
> visualizer in some form, so I can try running it on your code.
>
>
>
> On Tue, Jul 24, 2012 at 6:12 PM, Sam Tobin-Hochstadt
> wrote:
>>
>> I'v
On Wed, Jul 25, 2012 at 9:29 AM, Neil Toronto wrote:
> After thinking about it, I don't want an Immutable-Vector type, for which v
> : Immutable-Vector proves (immutable? v) is #t. That would be seriously
> annoying to users of a vector library.
>
> What if TR had a notion of const-ness, like in C
Is this application generated with 'raco exe'? Or 'Create Executable'
in DrRacket?
On Wed, Jul 25, 2012 at 10:31 AM, Doug Williams
wrote:
> Some more information on the problem. The application runs fine with
> the pre-release on Windows 7 - 64 bit.
>
> The code that is dying on Windows XP 32-bi
g Williams
>> wrote:
>>>
>>> I used Create Executable in DrRacket. But, I just tried raco exe --gui
>>> main.rkt to create it and get exactly the same error.
>>>
>>> On Wed, Jul 25, 2012 at 11:46 AM, Sam Tobin-Hochstadt
>>> wrote:
>>
On Sun, Jul 29, 2012 at 7:57 AM, Vincent St-Amour wrote:
> At Sun, 29 Jul 2012 10:15:17 -0400,
> Matthias Felleisen wrote:
>> With all due respect. Was there a reason why parametric imports don't
>> work? They do change behavior in a way that doesn't jive with the TR
>> port-to-typed-without-chang
On Tue, Jul 31, 2012 at 6:42 AM, Matthew Flatt wrote:
>
> To start afresh, here are two suggestions, which are mutually
> exclusive. The first is my preference:
>
> 1. Revert the addition of `compatibility/package' and
> `compatibility/mpair', including the documentation changes (but
> ma
On Wed, Aug 1, 2012 at 8:34 AM, Ryan Culpepper wrote:
>
> * There is now a very complete completion code for zsh. It is not
> included in the distribution though, get it at: http://goo.gl/DU8JK
> (This script and the bash completions will be included in the
> standard installers in future v
On Wednesday, August 1, 2012, Robby Findler wrote:
> On Wed, Aug 1, 2012 at 8:44 AM, Sam Tobin-Hochstadt
> >
> wrote:
> >> The following have been deprecated and will be removed in the
> >> August 2013 release:
> >>
> >> - the `define-con
On Wed, Aug 1, 2012 at 10:52 AM, Robby Findler
wrote:
> On Wed, Aug 1, 2012 at 9:47 AM, Sam Tobin-Hochstadt wrote:
>> On Wednesday, August 1, 2012, Robby Findler wrote:
>>>
>>> On Wed, Aug 1, 2012 at 8:44 AM, Sam Tobin-Hochstadt
>>> wrote:
>>> >
I think the below should be somewhat reordered, as follows:
On Thu, Aug 2, 2012 at 11:16 AM, Ryan Culpepper wrote:
> * Most error messages use a new multi-line format
> * The new `racket/generic' library
> * The contract library comes with support for
> * The futures visualizer
> * Optimization C
mportance to Racket
programmers. For example, the new error messages are likely to be the
first thing people notice about v5.3.
>
>
> On Aug 2, 2012, at 11:24 AM, Sam Tobin-Hochstadt wrote:
>
>> I think the below should be somewhat reordered, as follows:
>>
>> On Th
fficult to evaluate for a reasonably large audience but topics
> are easy to group. If you don't mind, let's leave it alone.
>
>
>
> On Aug 2, 2012, at 11:46 AM, Sam Tobin-Hochstadt wrote:
>
>> On Thu, Aug 2, 2012 at 11:44 AM, Matthias Felleisen
>> wrote:
&g
This interaction seems wrong to me. Did we change the semantics of
`-m` to only use submodules?
[samth@loki:~/tmp plt] racket
Welcome to Racket v5.3.0.17.
->
[samth@loki:~/tmp plt] cat x.rkt
#lang racket
(provide main)
(define (main) 42)
[samth@loki:~/tmp plt] racket -m x.rkt
main: not defined or
You probably wanted racket -tm x.rkt.
Well, now I feel silly. Somehow I always forget the `-t`.
>
> Robby
>
> On Fri, Aug 3, 2012 at 4:02 PM, Sam Tobin-Hochstadt wrote:
>> This interaction seems wrong to me. Did we change the semantics of
>> `-m` to only use submodules?
&
More generally, this is a case where you want some form of negation
(plus bounded polymorphism) in the type system, but that's not
something I know how to add straightforwardly to Typed Racket.
Sam
On Tue, Aug 7, 2012 at 1:07 PM, Eric Dobson wrote:
> No it is not possible to type flatten.
>
> Co
Yes, if you can do that, then it will all work nicely.
On Tue, Aug 7, 2012 at 1:59 PM, Robby Findler
wrote:
> Altho in Neil's case, it maybe that he can positively state the types
> allowed in the leaves.
>
> Robby
>
> On Tue, Aug 7, 2012 at 12:55 PM, Sam Tobin-Hochs
On Fri, Aug 10, 2012 at 12:33 PM, Neil Toronto wrote:
> Using typed `flatten' takes too much manual instantiation. In the following
> program, the first three uses fail to typecheck; the last passes.
This looks like a bug ...
> I think the problem is that TR only unfolds the type of (Treeof A) o
On Tue, Aug 14, 2012 at 11:52 PM, Neil Toronto wrote:
>
> Some typed "for" loops would have to be reimplemented, unless inference
> improves a lot. To make this easier, I've attached an example implementation
> of `for/vector:' and `for*/vector:'. It allows both body and result
> annotations, hand
On Wed, Aug 15, 2012 at 9:54 AM, Neil Toronto wrote:
> On 08/15/2012 05:24 AM, Sam Tobin-Hochstadt wrote:
>>
>> On Tue, Aug 14, 2012 at 11:52 PM, Neil Toronto
>> wrote:
>>>
>>>
>>> Some typed "for" loops would have to be reimplemented
Since I've made the Typed Racket tests run in parallel, there have
been intermittent errors in DrDr, like this:
http://drdr.racket-lang.org/25278/collects/tests/typed-racket/run.rkt
I'm not sure exactly what could be causing this -- I don't think
promises should ever fail to `force`. Might the
Thanks for figuring this out!
It looks like "Patch 3" or readline 6.2 fixes this bug:
http://lists.gnu.org/archive/html/bug-readline/2012-07/msg2.html
but I don't know how to detect that, or whether any systems are
shipping it.
Sam
On Tue, Aug 28, 2012 at 11:39 PM, wrote:
>
>
> ae843f9 Rya
On Wed, Aug 29, 2012 at 9:20 AM, Matthew Flatt wrote:
> At Mon, 27 Aug 2012 17:36:42 -0400, Sam Tobin-Hochstadt wrote:
>> Since I've made the Typed Racket tests run in parallel, there have
>> been intermittent errors in DrDr, like this:
>>
>> http://drdr.rack
On Wed, Aug 29, 2012 at 11:17 AM, Matthew Flatt wrote:
> At Wed, 29 Aug 2012 10:34:02 -0400, Sam Tobin-Hochstadt wrote:
>> On Wed, Aug 29, 2012 at 9:20 AM, Matthew Flatt wrote:
>> > At Mon, 27 Aug 2012 17:36:42 -0400, Sam Tobin-Hochstadt wrote:
>> >> Since I've
On Wed, Aug 29, 2012 at 11:23 AM, Sam Tobin-Hochstadt wrote:
> On Wed, Aug 29, 2012 at 11:17 AM, Matthew Flatt wrote:
>> At Wed, 29 Aug 2012 10:34:02 -0400, Sam Tobin-Hochstadt wrote:
>>> On Wed, Aug 29, 2012 at 9:20 AM, Matthew Flatt wrote:
>>> > At Mon, 27 Aug
[redirected to dev@]
On Sat, Sep 1, 2012 at 6:00 PM, Matthew Flatt wrote:
> At Fri, 31 Aug 2012 17:58:07 -0600, Matthew Flatt wrote:
>> At Fri, 31 Aug 2012 15:50:46 +0200, herak...@gmx.de wrote:
>> > I have an ocx-control and I would like to use it from Racket.
>> >
>> > Is it possible to bind th
On Tue, Sep 4, 2012 at 10:57 AM, Pierpaolo Bernardi wrote:
>
> What is annoying is that char-numeric? and string->number are not compatible.
`char-numeric?` and `string->number` would not be "compatible" in the
sense you're thinking of, even with the change you mention.
For example:
-> (string-
On Sat, Sep 22, 2012 at 12:20 PM, Eli Barzilay wrote:
>
>> What I'm suggesting is that some unions (e.g. `Natural') be opaque
>> even to the introspection tool. Since there's no way to get
>> something to typecheck as `Positive-Integer-Not-Fixnum' (the
>> typechecker will never give that type to a
On Mon, Oct 1, 2012 at 2:26 PM, Neil Toronto wrote:
> * Compile time. It currently takes 1m20s to compile `math' without docs on
> my beefy laptop. That's down from 2m30s, with the reduction from replacing
> general functions with flonum-specific functions in over half of the flonum
> code (e.g.
On Mon, Oct 1, 2012 at 6:08 PM, Neil Toronto wrote:
> On 10/01/2012 02:06 PM, Sam Tobin-Hochstadt wrote:
>>
>> On Mon, Oct 1, 2012 at 2:26 PM, Neil Toronto
>> wrote:
>> PR 13098 isn't really fixable, in some sense. There's just more data
>> there
On Mon, Oct 1, 2012 at 6:49 PM, Neil Toronto wrote:
> On 10/01/2012 04:20 PM, Sam Tobin-Hochstadt wrote:
>>
>> On Mon, Oct 1, 2012 at 6:08 PM, Neil Toronto
>> wrote:
>>>
>>> On 10/01/2012 02:06 PM, Sam Tobin-Hochstadt wrote:
>>>>
>>>>
On Mon, Oct 1, 2012 at 9:44 PM, Neil Toronto wrote:
> The only bit that bothers me is the (begin (not (flonum-wrapper? x)) ...)
> stuff left lying around after TR's optimizer eliminates the branches in the
> expansions of `fw+'. IIRC, they cause futures to sync, but I'm going to
> believe that the
y analysis, then that would be nice, but it would be harder,
since it would require recording information for the output of
`make-struct-type`. Typed Racket has information about structures at a
higher level.
> -Ian
> - Original Message -----
> From: "Sam Tobin-Hochstadt"
>
On Tue, Oct 2, 2012 at 10:26 PM, Matthias Felleisen
wrote:
>
> The cond issue also shows up in TR. We should and will have to tackle it.
In TR, this is less of an issue, because you get a type error when you
unexpectedly fall off the end of a `cond`. So I think this is in some
ways better in TR
On Mon, Oct 1, 2012 at 6:49 PM, Neil Toronto wrote:
>
> This is similar to the testing code I wrote, and it also exhibits quadratic
> behavior. The `apply*' macro generates the simplest deep expression
> possible. It's used to repeatedly apply a function with the simplest
> one-argument floating-p
On Thu, Oct 4, 2012 at 5:31 PM, Matthias Felleisen wrote:
>
> On Oct 1, 2012, at 2:26 PM, Neil Toronto wrote:
>
>>
>> (case-> (Zero -> Zero)
>> (Flonum -> Flonum)
>> (Real -> Real)
>> (Float-Complex -> Float-Complex)
>> (Complex -> Complex))
>>
>> I haven't bee
The errors are delayed in exactly the way that they are for the contract
'(-> none/c any/c)'. If you apply that contract to 'add1', it doesn't error
unless the resulting function is applied.
Sam
_
Racket Developers list:
http://lists.racket-lang.org/dev
43ff9.
> > >> http://git.racket-lang.org/plt/fcfff27c31..b6b5043ff9
> > >>
> > >> =[ One Commit
]=========
> > >> Directory summary:
> > >> 100.0% collects/typed/
> > >>
> > &g
On Oct 5, 2012 9:16 PM, "Eli Barzilay" wrote:
>
> 10 minutes ago, Robby Findler wrote:
> > Oh, right. Duh.
> >
> > And even better, IMO, if it were futures-visualizer/typed/* were a
> > place you could put this information.
>
> Yeah -- that would make distribution much easier, since it will be
> a
On Fri, Oct 5, 2012 at 10:28 PM, Robby Findler
wrote:
> On Fri, Oct 5, 2012 at 8:55 PM, Eli Barzilay wrote:
>> A few minutes ago, Sam Tobin-Hochstadt wrote:
>>> On Oct 5, 2012 9:16 PM, "Eli Barzilay" wrote:
>>> >
>>> > 10 minu
On Sat, Oct 6, 2012 at 9:25 AM, Robby Findler
wrote:
> On Sat, Oct 6, 2012 at 8:21 AM, Sam Tobin-Hochstadt wrote:
>> On Fri, Oct 5, 2012 at 10:28 PM, Robby Findler
>> wrote:
>>> On Fri, Oct 5, 2012 at 8:55 PM, Eli Barzilay wrote:
>>>> A few minutes ago, Sam
On Wed, Oct 10, 2012 at 10:19 AM, Matthew Flatt wrote:
>
> I guess we should try this, but I think we should keep it specific to
> bytecode loading. That is, I don't think we should try to splice a
> .zip-based filesystem into Racket's core filesystem operations.
I would think that something alon
All -
RacketCon is coming up tomorrow, and I hope everyone is excited.
We're pleased to have two tutorials and a bunch of excellent talks,
and I'm happy to say that we plan to record all the talks and post the
videos on the web site at a later date.
We're also going to try a live Google Hangout d
On Tue, Oct 16, 2012 at 3:10 PM, Eli Barzilay wrote:
> Just now, Jay McCarthy wrote:
>> match-define is something else
>
> Indeed it is -- which makes the whole thing even more confusing. I
> can't help imagining a newbie's reaction when they're told that
>
> Oh, here's your mistake -- you've u
On Tue, Oct 16, 2012 at 3:39 PM, Eli Barzilay wrote:
> A few minutes ago, Sam Tobin-Hochstadt wrote:
>> On Tue, Oct 16, 2012 at 3:10 PM, Eli Barzilay wrote:
>> > Just now, Jay McCarthy wrote:
>> >> match-define is something else
>> >
>> > Indee
On Tue, Oct 16, 2012 at 3:54 PM, Eli Barzilay wrote:
> A few minutes ago, Sam Tobin-Hochstadt wrote:
>> On Tue, Oct 16, 2012 at 3:39 PM, Eli Barzilay wrote:
>> > A few minutes ago, Sam Tobin-Hochstadt wrote:
>> >> On Tue, Oct 16, 2012 at 3:10 PM, Eli Barzilay
On Tue, Oct 16, 2012 at 5:02 PM, Neil Van Dyke wrote:
> John Clements wrote at 10/16/2012 04:51 PM:
>
>> Data point: I have no idea what define/match does, and the name by itself
>> does nothing to enlighten me.
>
> Another data point: If "define/match" expands to a "define" of a procedure
> that
On Tue, Oct 16, 2012 at 7:55 PM, Stephen Bloch wrote:
>>> Another data point: If "define/match" expands to a "define" of a procedure
>>> that dispatches to a set of implementations based on a pattern-match of
>>> actual arguments... then the name is exactly what I'd expect for such a
>>> feature i
Will these be in 5.3.1? Without this fix, the macro stepper is very broken.
Sam
On Oct 22, 2012 3:05 PM, wrote:
> ryanc has updated `master' from f60d57a27f to 1137b444ad.
> http://git.racket-lang.org/plt/f60d57a27f..1137b444ad
>
> =[ 2 Commits ]===
On Wed, Oct 24, 2012 at 4:19 PM, Danny Yoo wrote:
>> I'm hacking into Whalesong to see if I can nail this down more precisely.
>
> Ok, I've got a better test case for you that boils down what I'm encountering.
Ok, I've looked into this, and I think it's a bug in the
implementation of `vectorof` i
Hi Danny,
I'm looking into your code. Can you provide some instructions for how
I can test Whalesong myself, so that I can reduce the cycle time on
this issue?
Thanks,
Sam
On Thu, Oct 25, 2012 at 11:43 AM, Danny Yoo wrote:
> On Thu, Oct 25, 2012 at 12:36 PM, Danny Yoo wrote:
>>> ;;; test-const
I've now pushed a fix for the latest example you posted, and I'm
working on running the Whalesong tests.
On Thu, Oct 25, 2012 at 1:55 PM, Sam Tobin-Hochstadt wrote:
> Hi Danny,
>
> I'm looking into your code. Can you provide some instructions for how
> I can test Whal
On Thu, Oct 25, 2012 at 2:09 PM, Danny Yoo wrote:
> On Thu, Oct 25, 2012 at 2:55 PM, Sam Tobin-Hochstadt
> wrote:
>> Hi Danny,
>>
>> I'm looking into your code. Can you provide some instructions for how
>> I can test Whalesong myself, so that I can red
The browser is Firefox Nightly, and my fixes are on master now.
Sam
On Oct 26, 2012 1:15 PM, "Danny Yoo" wrote:
> > I ran the above, and it seemed to work well, until I got to the
> > "conform.rkt" test, when it spewed a *lot* of output like this:
> >
> > _62969@http://localhost:8371/eval:4681
>
On Wed, Oct 24, 2012 at 8:29 PM, Ryan Culpepper wrote:
>
> samth:
> - type->contract fixes/changes (9e1cf579a4, 962f2472e1)
> - add #:opaque and #:struct to require/typed (9054d0db7d)
Typed Racket now handles higher-order values provided to untyped
modules under the type `Any` differently. Thi
in practice
make me think that the previous implementation was wrong as well,
since some of the programs that broke shouldn't have worked.
> On Oct 28, 2012, at 9:58 AM, Sam Tobin-Hochstadt wrote:
>
>> On Wed, Oct 24, 2012 at 8:29 PM, Ryan Culpepper wrote:
>>>
>>
ould have been an opaque value.
>
>
> On Oct 28, 2012, at 11:36 AM, Sam Tobin-Hochstadt wrote:
>
>> On Sun, Oct 28, 2012 at 11:13 AM, Robby Findler
>> wrote:
>>> Was it wrong before? Suboptimal somehow?
>>
>> It was suboptimal in that more operations should
>
> -- Matthias
>
>
> On Oct 28, 2012, at 1:20 PM, Sam Tobin-Hochstadt wrote:
>
>> On Sun, Oct 28, 2012 at 1:16 PM, Matthias Felleisen
>> wrote:
>>>
>>> Can you make succinct examples of operations that would have
>>> gone wrong with
at 4:36 PM, wrote:
> 9773d89 Sam Tobin-Hochstadt 2012-10-29 16:34
> :
> | Clean up `drdr:random` props.
> :
> M collects/meta/props | 15 +++
-"collects/tests/racket/place-chan-rand.rkt" responsible (tewk) drdr:random #t
-"collects/tests/compiler/zo-test.rkt&qu
On Oct 30, 2012 12:28 AM, "Neil Toronto" wrote:
>
> On 10/29/2012 02:41 PM, Sam Tobin-Hochstadt wrote:
>>
>> This commit marks a few files that have intermittent failures as
>> randomly failing, and possibly-more-controversially, removes the
>> annotation
With my latest fix to handling of the `Any` type, the following small
program (also at https://gist.github.com/3991023) crashes drracket (I
can't provoke the bug with plain racket):
#lang racket/load
(module m typed/racket
(define: v : Any (exn "" (current-continuation-marks)))
(provide v))
On Sat, Nov 3, 2012 at 2:57 PM, Robby Findler
wrote:
> There was a discussion a while back on revising the language dialog
> (I've lost track of the thread since I started hacking on the dialog;
> apologies).
The thread starts here:
http://bugs.racket-lang.org/query/?cmd=view&pr=12642 and continu
On Mon, Nov 5, 2012 at 6:11 PM, Robby Findler
wrote:
> Thanks for taking a look.
>
> On Monday, November 5, 2012, Sam Tobin-Hochstadt wrote:
>>
>> - Allow the presence of a #lang line to override the language dialog,
>> or at least give an error that's more helpful
On Tue, Nov 6, 2012 at 10:48 AM, Robby Findler
wrote:
> Okay, thanks for the feedback.
>
> I've pushed a change that mostly takes the suggestions, except no blue
> and instead of the parentheticals, I've linked to the docs. (I don't
> like how the links don't line up vertically so I'll fix that un
On Mon, Nov 5, 2012 at 5:46 PM, Dan Burton wrote:
> I've published a blog post about Typed Racket that I've been holding on to
> for a while.
> Mainly I intended it as feedback for Sam about what areas of TR I think can
> be improved,
> though it does provide a sort of tour through lots of Typed R
Impressive!
I've looked over the docs, and while I have lots of comments that I'll post
later, I want to say that this is a very nice design, and hits exactly the
right spot. I'm really excited about what this holds for Racket.
Sam
On Nov 8, 2012 8:17 AM, "Jay McCarthy" wrote:
> Now that the 5
On Thu, Nov 8, 2012 at 8:16 AM, Jay McCarthy wrote:
> Now that the 5.3.1 release is finished, I've just pushed the beta release of
> Planet 2 to the Racket core.
Here, as promised, more detailed but small comments. I have one
larger design issue, which I want to write up in a separate mail.
* I
On Thu, Nov 8, 2012 at 1:35 PM, Eli Barzilay wrote:
>
>> * We really need valid SSL certificates for any user-facing sites.
>> StartSSL gives them away for free: http://www.startssl.com/
>
> (Last time I looked, free SSLs weren't ones that would get trusted by
> default popular browsers. If you'r
On Thu, Nov 8, 2012 at 3:13 PM, Jay McCarthy wrote:
> On Thu, Nov 8, 2012 at 11:01 AM, Sam Tobin-Hochstadt
> wrote:
[replying just to a few of these]
>> * I think we should drop the `.plt` archive format entirely.
>
> It is the default because Racket can create it and unarc
On Fri, Nov 9, 2012 at 4:57 AM, Marijn wrote:
> I've had a report that building racket without X doesn't work if cairo
> is not installed. Presumably in this mode it should not need cairo, right?
Libraries like `racket/draw` and `slideshow/pict` don't need X -- they
can produce PDFs or PNGs or ot
For more detailed measurements of the cost of scribble contract checking,
our recent OOPSLA paper on chaperones includes a benchmark which renders
the reference both with and without contracts.
Sam
On Nov 9, 2012 9:03 PM, "Robby Findler" wrote:
> I think the contracts on struct accessors (and sp
On Thu, Nov 8, 2012 at 7:44 PM, Robby Findler
wrote:
> On Thu, Nov 8, 2012 at 3:44 PM, Sam Tobin-Hochstadt wrote:
>> On Thu, Nov 8, 2012 at 3:13 PM, Jay McCarthy wrote:
>>> On Thu, Nov 8, 2012 at 11:01 AM, Sam Tobin-Hochstadt
>>> wrote:
>>>
>>>&g
On Thu, Nov 8, 2012 at 1:01 PM, Sam Tobin-Hochstadt wrote:
> I have one larger design issue, which I want to write up in a separate mail.
The larger issue is that we should allow packages to have their own
versions of other packages/collections/etc, specified in their
metadata file. This wo
No, only Eli can do that (or the submitter).
On Sun, Nov 18, 2012 at 1:30 AM, Neil Toronto wrote:
> How do I close pull requests made to the plt/racket repo on GitHub? Am I
> authorized to do that in the first place?
>
> Neil ⊥
> _
> Racket Developers list:
> http://list
On Sun, Nov 25, 2012 at 10:50 PM, Jon Zeppieri wrote:
>
> Is there a way to give check-em a type for TR without breaking it for
> non-typed code?
Yes, you should add an entry to typed-racket/base-env/base-special-env
for `check-em`. Note that you'll have to specify which module
`check-em` is def
On Tue, Nov 27, 2012 at 1:15 PM, Jens Axel Søgaard
wrote:
>
> There is an issue of potential confusion over names though.
> In the data collection, the -count suffix normally returns the size of
> the data structure.
> For vectors the suffix -length is normally used.
The name 'popcount' is common
501 - 600 of 889 matches
Mail list logo