tthias% git push
> error: The requested URL returned error: 403 while accessing
> https://github.com/racket/htdp.git/info/refs
>
> fatal: HTTP request failed
>
>
>
>
>
>
> On Jan 11, 2015, at 7:54 PM, Sam Tobin-Hochstadt wrote:
>
> You seem to be using hub
How does this fit with backward compatibility?
Sam
On Wed, Jan 14, 2015 at 2:26 PM, Jay McCarthy wrote:
> Branch: refs/heads/master
> Home: https://github.com/racket/web-server
> Commit: 1c6411c670c1aa86df507a99c64dfc2701d36c0f
>
> https://github.com/racket/web-server/commit/1c641
On Thu, Jan 15, 2015 at 4:33 PM, Alexis King wrote:
> As an update, I’ve made a bit more progress on this. I’ve implemented an
> impersonate-async-channel function, and I’ve actually included this in the
> exports from racket/contract. I also realized the blame information is
> correct, it works f
On Thu, Jan 22, 2015 at 3:57 PM, Alexis King wrote:
>
> I can work around this in a variety of ways—I can extract this into an
> untyped module and use require/typed, I can use vectors to “fake” structs
> and provide an appropriate interface, etc. Still, I wonder if there are any
> plans to resolv
I think there are two seperable issues here:
1. Can we make `raco pkg update -a` better/more robust in this case?
2. Should `make` run `raco pkg update -a`?
In reverse order:
- I think `make`, by default, shouldn't update anything, and that we
should have a different Makefile target which updat
On Tue, Feb 17, 2015 at 11:31 AM, Jens Axel Søgaard
wrote:
> 2015-02-17 14:26 GMT+01:00 Robby Findler :
>> I don't think the libraries are sufficient as is, but I would resist
>> adding aliases.
>
> A alternative: Added the word zip to the documentation index,
> link it to map and have an exampl
failure". I guess I would label my preference
`--pull conservative` and that even if you miss the warning, it
wouldn't be so bad -- you almost certainly didn't want to change the
package in that case.
Relatedly, perhaps `raco setup` and `raco pkg update` have too much
output curr
On Tue, Feb 17, 2015 at 6:41 PM, Matthew Flatt wrote:
> At Tue, 17 Feb 2015 14:12:54 -0500, Sam Tobin-Hochstadt wrote:
>> Regardless of that, though, I think we should switch to updating only
>> "main-distribution" (and perhaps "main-distribution-tests"). I d
On Tue, Feb 17, 2015 at 8:49 PM, Matthias Felleisen
wrote:
>
> On Feb 17, 2015, at 7:59 PM, Sam Tobin-Hochstadt wrote:
>
>> I expect that the packages that update for Matthias on `make` are
>> packages in "main-distribution",
>
>
> Personally, I have used
That seems like a fair summary and since my preference is clearly the
minority one, I'm happy to stick with 'make as-is'. The new mode for
pulling updates will help, as well.
Sam
On Wed, Feb 18, 2015, 7:52 AM Matthew Flatt wrote:
> At Tue, 17 Feb 2015 19:59:38 -0500, Sam Tob
Currently, the following command:
raco make collects/scribblings/tools/tool-lib-extract.rkt
rapidly consumes all available memory, and has to be killed manually.
--
sam th
sa...@ccs.neu.edu
_
For list-related administrative tasks:
http://lists
On Thu, Jun 3, 2010 at 12:53 PM, Matthew Flatt wrote:
> At Thu, 3 Jun 2010 12:49:27 -0400, Sam Tobin-Hochstadt wrote:
>> Currently, the following command:
>>
>> raco make collects/scribblings/tools/tool-lib-extract.rkt
>>
>> rapidly consumes all available memo
On Sun, Jun 6, 2010 at 2:51 AM, Eli Barzilay wrote:
> I think that the intention was to keep scripts, aliases, etc working.
To quote from the name change FAQ:
What happens to all of the old programs, scripts, address books,
bookmarks, papers, etc. that refer to PLT Scheme instead of Racket?
Old
Right now, the main Racket web page says just "Racket is a programming
language". Even though we didn't come to an agreement on great text
to put there, I think just about anything would be better than that.
What about just using the line from the old web page: "Racket is an
innovative programming
On Mon, Jun 7, 2010 at 4:56 PM, Matthew Flatt wrote:
> At Mon, 7 Jun 2010 14:57:56 -0400, Sam Tobin-Hochstadt wrote:
>> Right now, the main Racket web page says just "Racket is a programming
>> language". Even though we didn't come to an agreement on great text
On Mon, Jun 7, 2010 at 6:33 PM, Robby Findler
wrote:
> the code would have to move left to balance the page in that case.
We could also make the code slightly larger (and maybe a few chars wider).
>
> On Monday, June 7, 2010, Matthias Felleisen wrote:
>>
>> Removing the sentence is my favorite
I've just pushed a renaming of the `test-engine' library to use
`racket' instead of `scheme' in the names. The current names are still
there for compatibility. If anyone notices any problems with this,
let me know.
--
sam th
sa...@ccs.neu.edu
_
F
The release of Racket has prompted some web discussion, which might be
instructive to anyone thinking about our "marketing".
On Reddit: http://www.reddit.com/r/Racket/duplicates/ccf0w/announcing_racket/
On Hacker News: http://news.ycombinator.com/item?id=1411265 and
http://news.ycombinator.com/ite
Currently, when given inputs some of which are floats, `*', `+', '/'
and `-' almost always produce floats. However, there are some cases
where this is not true:
(* flt 0)
(/ 0 flt)
Unfortunately, this makes the job of the typechecker and optimizer
harder (since * and / don't have the closure pro
On Sat, Jun 12, 2010 at 9:25 PM, Matthew Flatt wrote:
> My last update was back in January:
>
> http://lists.racket-lang.org/dev/archive/2010-January/002045.html
>
> GRacket2 wasn't done by May, obviously. I still like to think that we
> could have something working within a few months, though.
>
On Sat, Jun 12, 2010 at 9:57 PM, Matthew Flatt wrote:
> At Sat, 12 Jun 2010 21:43:09 -0400, Sam Tobin-Hochstadt wrote:
>> First, do the difficulties you've had integrating eventspaces with
>> modern toolkits suggest that perhaps eventspaces should be designed
>> differ
I'd like to produce, with scribble, output similar to what this latex produces:
\begin{tabular}{|c|c|c|}
Header1 & Header2 & Header3
11 & 17 & 29
\end{tabular}
However, I can't seem to figure out how. First, how can I make the
elements centered? There doesn't seem to be a way to control the
gen
I submitted a request to the computer language shootout to rename PLT
to Racket. The following message shows the difference in performance
between 4.2.5 and 5.0 - it's probably worth taking a look at the
discrepancies.
-- Forwarded message --
From:
Date: Thu, Jun 17, 2010 at 11
The following program implicitly does something like `provide', via mutation.
#lang racket/load
(module store racket
(define s (box #f))
(provide s))
(module m typed/racket
(require (for-syntax 'store))
(define: (x) : Number 1)
(begin-for-syntax (set-box! s #'x)))
(module n typed/rack
On Mon, Jun 21, 2010 at 3:24 PM, Robby Findler
wrote:
> I don't quite get the issues yet, but why should this type check?
> Doesn't it add1 to a function?
No, the function is invoked: (add1 (#,myx))
--
sam th
sa...@ccs.neu.edu
_
For list-related
On Mon, Jun 21, 2010 at 3:58 PM, Matthias Felleisen
wrote:
>
> I still don't understand how the #'x reference is actually exported from m to
> n. I understand the store part but why is the for-value require of 'm needed?
> If you remove it you get a type-checking error (add1 applied to False).
store. The trick is that the original expansion of 'm is in a
different store than 'n, which is why the `require' is needed. But the
store is still the key.
> On Jun 21, 2010, at 4:01 PM, Sam Tobin-Hochstadt wrote:
>
>> On Mon, Jun 21, 2010 at 3:58 PM, Matthias Fel
On Mon, Jun 21, 2010 at 3:49 PM, Robby Findler
wrote:
> What is the general class of programs that have this difficulty? (Does
> it include the example from Matthew's "you want it when?" paper about
> structs?)
>
> I'm not getting why typed racket has to do something special here to
> deal with th
And, now Stevie and my Bash tab-completion script will tab-complete
your collections for you:
[sa...@punge:~/sw/plt/collects/2htdp/tests (master) plt] raco setup r
r5rs racketrackunit raco
readerredex repo-time-stamp rktunit
r6rs
Using the `struct' form produces static struct info whose constructor
name is a macro transformer that expands to an inner, hidden, name.
Currently, there's no way to access this name, which tools such as
Typed Racket might want to do.
There's two ways to implement this that I can see:
1. Add a `
At the Northeastern PLT lunch today, I proposed adding a top-level
`data' collection, for all manner of data structures. People here
thought it was a good idea, so I'm proposing it to the whole group.
Definitely candidates:
Hari Prashanth's functional data structure library (which he's been
work
On Wed, Jun 23, 2010 at 5:31 PM, Eli Barzilay wrote:
> On Jun 23, Sam Tobin-Hochstadt wrote:
>> At the Northeastern PLT lunch today, I proposed adding a top-level
>> `data' collection, for all manner of data structures. People here
>> thought it was a good idea, so I
On Wed, Jun 23, 2010 at 4:14 PM, wrote:
> 3f36d05 Eli Barzilay 2010-06-23 16:10
> :
> | Turn contracts on `enqueue!' and `dequeue!' into the usual error checks.
> |
> | On a simple benchmark of:
> |
> | (let ([N 10]
> | [M 20]
> | [q (make-queue)])
> | (time (for ([i (i
On Thu, Jun 24, 2010 at 10:13 AM, Robby Findler
wrote:
> Were the contracts -> and/or ->*, or were they ->d?
Here are the removed contracts:
[enqueue! (-> queue/c any/c void?)]
[dequeue! (-> nonempty-queue/c any/c)]
--
sam th
sa...@ccs.neu.edu
_
On Thu, Jun 24, 2010 at 2:07 PM, Eli Barzilay wrote:
> On Jun 24, Matthias Felleisen wrote:
>> On Jun 23, 2010, at 5:37 PM, Sam Tobin-Hochstadt wrote:
>>
>> > To clarify, I'm proposing that this be a part of the "core"
>>
>> I agree with this go
On Sat, Jun 26, 2010 at 9:15 AM, wrote:
> Yes, and it works well. That's what I see as the major feature of the
> comment box over the comment block. That and the colorizing. While
> commented out, it still looks like code.
>
> I was afraid you were going to remove some of that functionality b
On Sun, Jun 27, 2010 at 8:40 AM, Laurent wrote:
> Is it possible to add this example to the docs?
In adding examples to the `trace' documentation, I'm trying to
actually document `racket/trace'. However, I'm not sure where in the
Reference documentation to put it. Any suggestions?
--
sam th
s
When I went to rebuild the latest source this morning, I got the
following error from 'make install':
racket/racket3m -X "/home/samth/sw/plt/collects" -N "raco setup" -l- setup
raco setup: bootstrapping from source...
/home/samth/sw/plt/collects/unstable/private/compiled/expand_ss.zo::0:
read (com
der discussion, that something might have been
stale there. I can try further tests if that would be helpful.
> At Tue, 29 Jun 2010 09:40:54 -0400, Sam Tobin-Hochstadt wrote:
>> When I went to rebuild the latest source this morning, I got the
>> following error from 'make install
On Tue, Jun 29, 2010 at 11:11 AM, Matthew Flatt wrote:
> At Tue, 29 Jun 2010 09:40:54 -0400, Sam Tobin-Hochstadt wrote:
>> When I went to rebuild the latest source this morning, I got the
>> following error from 'make install':
>>
>> racket/racket3m -X "/
Today, I've started seeing output from 'mzc' like the following:
[sa...@punge:~/sw/plt/collects/tests/typed-scheme (master) plt] mzc -kv main.rkt
mzc v5.0.0.2 [3m], Copyright (c) 2004-2010 PLT Scheme Inc.
"main.rkt":
making "/home/samth/sw/plt/collects/tests/typed-scheme/main.rkt"
making "/hom
On Tue, Jun 29, 2010 at 9:38 PM, Robby Findler
wrote:
> Yeah, it will take time for us to catch up; the word "racket" has a
> lot going on. But for now, at least, "racket plt" finds us. Hopefully
> we'll get better over time
Right now, we come up 4/5th on just a search for "racket", which is
On Wed, Jun 23, 2010 at 2:29 PM, Sam Tobin-Hochstadt wrote:
> At the Northeastern PLT lunch today, I proposed adding a top-level
> `data' collection, for all manner of data structures.
Based on the discussion, here's the plan:
In the next few days:
1. I will create a `data
On Wed, Jun 30, 2010 at 9:02 PM, Eli Barzilay wrote:
> On Jun 30, Sam Tobin-Hochstadt wrote:
>> On Wed, Jun 23, 2010 at 2:29 PM, Sam Tobin-Hochstadt
>> wrote:
>> > At the Northeastern PLT lunch today, I proposed adding a top-level
>> > `data' collect
On Wed, Jun 30, 2010 at 9:44 PM, Eli Barzilay wrote:
> On Jun 30, Sam Tobin-Hochstadt wrote:
>> On Wed, Jun 30, 2010 at 9:02 PM, Eli Barzilay wrote:
>> > On Jun 30, Sam Tobin-Hochstadt wrote:
>> >> On Wed, Jun 23, 2010 at 2:29 PM, Sam Tobin-Hochstadt
>> &
On Mon, Jul 5, 2010 at 2:13 PM, Kevin Tew wrote:
> Parallel build of collects is now the default option.
This breaks for me, with current master (during 'make install'):
raco setup: --- parallel build using 4 processor cores ---
/home/samth/sw/plt/collects/setup/compiled/parallel-build-worker_rk
On Fri, Jul 23, 2010 at 8:19 PM, Eli Barzilay wrote:
> Some suggested items below, if you have items, please mail me text
> that describes those that you think should be mentioned, and verify
> that the rest should not.
I feel like we should mention items that were released in v5.0, since
none of
On Sun, Jul 25, 2010 at 8:27 AM, Matthew Flatt wrote:
>
> It's worrying, though, that you're getting a DrRacket backtrace that
> covers "cm.rkt". Files in the main installation normally should not be
> instrumented for backtraces. Does your installation have any "drracket"
> subdirectories of any
On Tue, Jul 27, 2010 at 12:14 PM, Kevin Tew wrote:
>> On Jul 27, Kevin Tew wrote:
>>
>>>
>>> Parallel-build is somewhat behind the scenes. I would delay talking
>>> about it until the next release which will include -j documentation
>>> and parallel rendering of docs.
Shouldn't the docs be merge
On Mon, Aug 2, 2010 at 9:40 AM, Shriram Krishnamurthi wrote:
> If I export map (w/out change to type) from typed/racket and eq? it
> against the map from racket, the two are eq?. This feels like a
> violation of abstraction: typed map is a "different thing" from
> untyped map.
TR doesn't put add
On Mon, Aug 2, 2010 at 9:42 AM, Shriram Krishnamurthi wrote:
> Here's a typed module:
>
> (module A typed/racket (provide insert map) (define insert cons))
>
> Here are two clients, which behave inconsistently:
>
>> (module B racket (require 'A) insert)
> . Type Checker: The type of insert cannot
On Mon, Aug 2, 2010 at 9:37 AM, Shriram Krishnamurthi wrote:
> Here is a sequence of steps to do something that seems extremely
> simple. I want to create a binary tree of T.
>
> First, I have no idea what this documentation means:
>
> (struct:n (t ...))
> is the type of structures named n with f
On Mon, Aug 2, 2010 at 9:58 AM, Shriram Krishnamurthi wrote:
>>> 1'. That seems unlikely given that if I instead add "insert" to the
>>> above (#lang racket) source file and run Check Syntax, I get the same
>>> error -- so it is indeed a static error. (Well, maybe not "static",
>>> there are pro
On Mon, Aug 2, 2010 at 10:36 AM, Matthias Felleisen
wrote:
>
> Sam, this is an interesting question and you should look into it because the
> answer isn't obvious:
>
> (module A typed/racket (provide map))
>
> passes map from 'somewhere' through A to two contexts: typed and untyped
> modules. G
On Mon, Aug 2, 2010 at 11:07 AM, Matthias Felleisen
wrote:
>
>
> Now, you will say but TR wraps only defined identifiers. I think that is a
> SUBTLE and INTENSIONAL difference that in principle, a client such as C
> shouldn't even see. Modules are not supposed to be inspected for who defines
>
On Mon, Aug 2, 2010 at 11:14 AM, Shriram Krishnamurthi
wrote:
>
> Okay, so here's another scenario. This time, TR will NOT just pass
> the value through, as it did map.
>
> a.rkt
> #lang racket
>
> (define foo 4)
> (provide foo)
>
On Mon, Aug 2, 2010 at 11:38 AM, Shriram Krishnamurthi
wrote:
> So why do you have an opaque require?
The opaque form of `require/typed' is to allow requiring operations on
an ADT for which only a predicate is known. It supports using
`require/typed' with ADTs defined in exactly the way Matthias
On Mon, Aug 2, 2010 at 11:46 AM, Shriram Krishnamurthi
wrote:
> Yep, I figured this is where you'd go with this. So if I converted
> everything to functions, I'd get just the behavior I want?
I'm not certain of the behavior you want, but I think so.
--
sam th
sa...@ccs.neu.edu
On Mon, Aug 2, 2010 at 1:09 PM, Matthew Flatt wrote:
> The `racket/gui' re-implementation is starting to come into focus.
> DrRacket mostly works, although lots and lots of problems remain.
It looks very nice on my machine. One question: the open/save file
dialogs on Gtk are using the old GRacke
On Mon, Aug 2, 2010 at 7:08 PM, Matthew Flatt wrote:
> One question: the open/save file
>> dialogs on Gtk are using the old GRacket dialogs, rather than the
>> Gtk-native ones. Is this planned to change in the future?
>
> Yes, I just haven't gotten to the file dialog, yet.
Great! If there are
On Fri, Aug 6, 2010 at 5:20 PM, Eli Barzilay wrote:
> On Aug 6, John Clements wrote:
>> On Aug 6, 2010, at 3:28 PM, Eli Barzilay wrote:
>>
>> > BTW, IIRC, there is a way to load a new copy of a library, but that
>> > could be pretty bad. Alternatively, there's probably a way to unload
>> > a lib
On Fri, Aug 6, 2010 at 7:13 AM, Nikita Zuev wrote:
> Jay McCarthy writes:
> ...
>> > make[6]: ../../../racket/gc/../../utils/nicear: Command not found
Are we planning to release a new version of the source distribution to
fix the bugs that have been reported? From discussion with Eli on
IRC, it
On Fri, Aug 6, 2010 at 6:40 PM, Matthew Flatt wrote:
> I'd go with 1.
This is my feeling as well. How we're presented on other sites is
less important than how we present ourselves.
--
sam th
sa...@ccs.neu.edu
_
For list-related administrative t
On Thu, Aug 12, 2010 at 7:28 AM, Eli Barzilay wrote:
>
> One thing about stability that bugs me is pushing changes and
> extensions that are likely to change. For example, I'm worried about
> Jay's push for a number of new features as a response to a blog post,
> it looks like coding in haste tha
On Mon, Aug 16, 2010 at 11:38 PM, Matthias Felleisen
wrote:
> Some minimal surgery done.
Note that the best way to make edits like this stick is to put the
information we want on our web pages as well, and then cite it from
Wikipedia.
--
sam th
sa...@ccs.neu.edu
_
On Tue, Aug 17, 2010 at 10:29 PM, Eli Barzilay wrote:
> http://tmp.barzilay.org/r3.png (1 vote)
I like this one. But can you make an r4 without the 'www.' so I can
vote for that?
Also, can we please have a slogan other than "Racket is a programming
language"? I even prefer "Racket is not a pr
On Tue, Aug 17, 2010 at 10:29 PM, Eli Barzilay wrote:
>
> Relevant URLs left:
>
> http://tmp.barzilay.org/r1.png (2 votes)
My wife (a Python programmer, the target audience! :) prefers 1.
--
sam th
sa...@ccs.neu.edu
_
For list-related administra
On Tue, Aug 17, 2010 at 9:21 PM, Shriram Krishnamurthi
wrote:
> we couldn't type the generator code (a bad interaction between mutation
> and occurrence typing).
In almost all cases, when TR rejects your program because of this,
your code is incorrect in the presence of threads and/or futures (a
On Wed, Aug 18, 2010 at 8:58 AM, Shriram Krishnamurthi
wrote:
> Yes, Matthias and I discussed this in the context of Typed Racket vs
> Typed JavaScript some months ago. TJS doesn't have to worry about
> this because of the single-threaded nature of the language. It seems
> to me this is a non-t
On Wed, Aug 18, 2010 at 12:02 PM, Will M. Farr wrote:
> Hello all,
>
> I've been thinking for a while about putting together a PLaneT library of
> some iteration/comprehension forms that I often use that are not found in the
> racket core. Right now, I have a small it-comp.plt local PLaneT pack
On Tue, Aug 17, 2010 at 3:57 PM, Jay McCarthy wrote:
> Please comment.
I think that this:
"Your first task when changing old code is to build an adequate test
suite to ensure you do not introduce new mistakes as you attempt to
improve it. Thank you for improving the world for future generations!
On Thu, Aug 19, 2010 at 9:48 AM, Robby Findler
wrote:
> On Thu, Aug 19, 2010 at 8:44 AM, Sam Tobin-Hochstadt
> wrote:
>> On Tue, Aug 17, 2010 at 3:57 PM, Jay McCarthy wrote:
>>> Please comment.
>>
>> I think that this:
>>
>> "Your first task w
On Tue, Aug 24, 2010 at 11:43 AM, Kevin Tew wrote:
> After a garbage collection all non-nursery memory is write-protected.
> The first write to a page (16kB) , after a garbage collection, incurs the
> cost of unprotecting the page so it is writable and recording that the page
> has been written on
While trying to use futures to parallelize a simple piece of code, I
was able to remove all of the waiting except for this:
future: 3 waiting for runtime at 1282743524205.783936: [scheme_make_envunbox]
which happens continuously. What causes this function to be invoked,
and how can I eliminate i
On Wed, Aug 25, 2010 at 9:56 AM, Matthew Flatt wrote:
> At Wed, 25 Aug 2010 09:42:40 -0400, Sam Tobin-Hochstadt wrote:
>> While trying to use futures to parallelize a simple piece of code, I
>> was able to remove all of the waiting except for this:
>>
>> futur
On Wed, Aug 25, 2010 at 10:17 AM, Matthew Flatt wrote:
> While we look into the other problems...
>
> What happens if you use `let' instead of the internal defines in
> `mandelbrot-point'?
That does indeed fix the problem. I'm surprised, though, since the TR
optimizer is just changing safe to uns
Based on discussion from PLT day, I've added the `data' collection. It
currently contains 3 libraries, for queues, skip lists, and interval
maps. As per the earlier discussion, data is intended to make use of
the new ability to do file-level splicing. I will be the overall
maintainer of the colle
I'm pretty sure that this is a bug in `unsafe-set-box*!'. The
following version of "que.ss" doesn't have the problem, but adding the
* results in the segfault.
On Fri, Sep 3, 2010 at 6:12 PM, Hari Prashanth wrote:
> Yes the problem goes away once I turn off the optimizer... I have attached
> the
On Sun, Sep 5, 2010 at 3:06 AM, Hari Prashanth wrote:
> Is this what you are looking for?
>
> (require/typed racket/base
> [file-or-directory-modify-seconds
> (String (Option Integer) (-> exn:fail:filesystem) -> (U
> Integer Void))])
Hari is correct that you can use
On Sun, Sep 5, 2010 at 5:30 PM, Eli Barzilay wrote:
>
> I think that this is the type for `file-or-directory-modify-seconds':
>
> (case-lambda
> [String -> Exact-Nonnegative-Integer]
> [String (Option Exact-Nonnegative-Integer)
> -> (U Exact-Nonnegative-Integer Void)]
> [Strin
On Mon, Sep 6, 2010 at 10:28 PM, Eli Barzilay wrote:
> On Sep 6, Sam Tobin-Hochstadt wrote:
>> On Sun, Sep 5, 2010 at 5:30 PM, Eli Barzilay wrote:
>> >
>> > I think that this is the type for `file-or-directory-modify-seconds':
>> >
>> > (case-l
On Tue, Sep 7, 2010 at 8:04 AM, Robby Findler
wrote:
>
>> You can't use that type in `require/typed', though, since the contract
>> library doesn't accept `case->' contracts like that.
>
> The "like that" part is that two different arms of the case-> would
> have the same arity?
Right. Of course
On Tue, Sep 7, 2010 at 8:04 AM, Jay McCarthy wrote:
>
>> Why does everyone always want to use union for this? Everything you
>> wrote there is correct, except that `U' should be `case-lambda'.
>
> There is something to be said for making the things that everyone
> writes first be the thing they s
I'm puzzled by the behavior of the below program. In particular,
`get' doesn't work, but `get2' does, even though the only difference
is the phase at which they're executed. `get' produces the
certificate error:
compile: access from an uncertified context to unexported variable
from module: 'm
On Mon, Aug 23, 2010 at 11:02 AM, Will M. Farr wrote:
> On Aug 23, 2010, at 7:40 AM, Matthew Flatt wrote:
>>
>> Maybe you want to thread the vector index through using `for/fold'
>> instead of drawing the index from a sequence. The expansion could
>> insert enough `#:when' clauses to compare the i
On Fri, Sep 17, 2010 at 1:36 PM, John Clements
wrote:
> Oof... it looks like doing a rename plus a few changes pretty effectively
> hides those changes, though I can dig them out with 'git annotate'. Do we
> have a policy (or should we have) a policy stating that you shouldn't put a
> rename a
On Fri, Sep 24, 2010 at 3:48 PM, Robby Findler
wrote:
> I know there are a bunch of people working
> on things at that level, so if you have a chance to take a look at
> this, you might find it useful as you muck about down there (there are
> examples and things :).
Cool!
Is it too much to ask f
On Thu, Sep 30, 2010 at 6:47 PM, Matthew Flatt wrote:
> At Thu, 30 Sep 2010 20:20:07 -0400, Faré wrote:
>> I'm trying to use slideshow on Linux, and I find it annoying that it
>> fails to be on top of the KDE panel.
>>
>> I admit I know next to nothing about the X protocol, and can't help
>> much
On Fri, Oct 1, 2010 at 5:20 AM, Matthew Flatt wrote:
> At Thu, 30 Sep 2010 22:03:12 -0700, Sam Tobin-Hochstadt wrote:
>> This happens for me always in slideshow on my laptop in both GR1 and
>> GR2. I'm running Ubuntu 10.04, screen resolution 1440x1050, with
>> panels on
On Sun, Oct 3, 2010 at 7:43 AM, Matthew Flatt wrote:
>
> Sam and Vincent: Any thoughts on how easy or difficult the change would
> be for Typed Racket (and its optimizer)?
What would the precise hierarchy be? In other words, what would be
the predicate for each type? Would there be automatic co
On Sun, Oct 3, 2010 at 10:49 AM, Robby Findler
wrote:
> Would it make sense for typed scheme to hook up with check syntax to
> show the type of subexpressions (say when mousing over parens or
> something)? I'm not sure if that's too late in general, but it seems
> like we're getting the point wher
On Sun, Oct 3, 2010 at 10:42 AM, Matthew Flatt wrote:
> The `flonum?' predicate would be the only new predicate for now. The
> `inexact-integer?' predicate would imply `flonum?', but not vice-versa.
I assume you mean `inexact-real?' here.
> The flonum operators (with names that start `fl' or `un
On Sun, Oct 3, 2010 at 7:48 PM, Matthew Flatt wrote:
>
>> I worry that this is a hazard for existing code. For example, this
>> plain Racket code:
>> [snip]
>
> I imagined that there would be some time between introducing `flonum?'
> and enabling 32-bit floats. During that in-between time, both `
This is a known bug with the interaction of `struct' and
`require/typed'. `define-struct' should work here.
On Mon, Oct 4, 2010 at 7:11 PM, Hari Prashanth wrote:
> Am I doing some thing wrong or is it a bug?
>
> #lang racket/load
>
> (module UNTYPED racket/base
> (struct Int (elem))
>
> (provi
On Sun, Oct 10, 2010 at 9:39 AM, Matthew Flatt wrote:
> Any other opinions?
Personally, I find #true and #false visually ugly, and I also agree
with Eli's feelings on terseness. I don't think I've ever
accidentally confused #t and #f personally, so I'm not in favor of
changing outside of the stu
Today, I started having repeated segfaults while running gracket. I
tried a clean rebuild, to no avail. Here's the backtrace, obtained by
1. Starting gracket under GDB.
2. Clicking the window close button.
I'm happy to try to bisect this if it would help. This is on Ubuntu 10.04.
[Thread debu
On Mon, Oct 11, 2010 at 12:05 PM, Sam Tobin-Hochstadt wrote:
> Today, I started having repeated segfaults while running gracket.
This went away after a cleaner clean rebuild.
--
sam th
sa...@ccs.neu.edu
_
For list-related administrative ta
Earlier today, I wrote a simple fuzz tester for bytecode reading and
evaluation. The code is attached. It takes an existing zo file, reads
it in as bytes, randomly flips some small portion of the bits (0.1%),
and then `read's and `eval's the results. This extremely quickly
finds segfaults in Rack
On Tue, Oct 19, 2010 at 2:28 PM, John Clements
wrote:
> Am I doing something stupid, here?
I'm having the same problem, and I'm at the same conference as John,
so I suspect that's the issue. I can pull fine from my machine at
Northeastern.
--
sam th
sa...@ccs.neu.edu
___
On Mon, Oct 25, 2010 at 10:06 AM, Doug Williams
wrote:
>
> (case-> (->r ((r random-source?)
> (a real?)
> (b (>/c a)))
> real?)
> (->r ((a real?)
> (b (>/c a)))
> real?)))
>
> I'm not sure that one can be eas
101 - 200 of 889 matches
Mail list logo