-Hochstadt wrote:
On Tue, Feb 17, 2015 at 6:41 PM, Matthew Flatt mfl...@cs.utah.edu
wrote:
At Tue, 17 Feb 2015 14:12:54 -0500, Sam Tobin-Hochstadt wrote:
Does another system have a Racket-like in-place option (that works
better)?
I haven't used it, but GHC has an in-place build
On Tue, Feb 17, 2015 at 8:49 PM, Matthias Felleisen
matth...@ccs.neu.edu 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 the 'same' one-line command
On Tue, Feb 17, 2015 at 11:31 AM, Jens Axel Søgaard
jensa...@soegaard.net wrote:
2015-02-17 14:26 GMT+01:00 Robby Findler ro...@eecs.northwestern.edu:
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
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
On Thu, Jan 22, 2015 at 3:57 PM, Alexis King lexi.lam...@gmail.com 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
On Thu, Jan 15, 2015 at 4:33 PM, Alexis King lexi.lam...@gmail.com 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
How does this fit with backward compatibility?
Sam
On Wed, Jan 14, 2015 at 2:26 PM, Jay McCarthy jay.mccar...@gmail.com wrote:
Branch: refs/heads/master
Home: https://github.com/racket/web-server
Commit: 1c6411c670c1aa86df507a99c64dfc2701d36c0f
Over the last couple days, I've set up a continuous integration system
for Racket that runs on Windows, using the service provided by
AppVeyor. You can see the current state here:
https://ci.appveyor.com/project/plt/racket
It's configured by the `appveyor.yml` file in the root of the
On Fri, Dec 12, 2014 at 8:46 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Thu, 11 Dec 2014 17:00:14 -0800, Dan Liebgold wrote:
If I use the -X and -S command line parameters to Racket to make my local
collects dir the first one searched, it makes it so I can't do (require
srfi/1).
Yes,
The rate limit only applies to API calls, not to downloads, so I don't
think that could be it.
Sam
On Fri, Dec 5, 2014 at 1:07 PM, Stephen Chang stch...@ccs.neu.edu wrote:
Typed make and it timed out again.
Could it be a github rate limit?
https://developer.github.com/v3/rate_limit/
The bug in frtime has been fixed now.
Sam
On Fri, Dec 5, 2014 at 3:06 PM, Stephen Chang stch...@ccs.neu.edu wrote:
One more error, with frtime:
raco setup: 3 making: pkgs/frtime
raco setup: 3 making: pkgs/frtime/pkgs
raco setup: 3 making: pkgs/frtime/pkgs/frtime (FrTime)
I've just push a change to the plt repository that removes almost all
the packages.
The split repositories are all in the `racket` organization on GitHub.
You can see them here: https://github.com/racket/
I *highly* recommend creating a new clone of the repository, and
re-running `make`. This
On Thu Dec 04 2014 at 11:27:45 AM Matthias Felleisen matth...@ccs.neu.edu
wrote:
For those of you who have my level of experience with such things,
here is what Sam's phrase I *highly* recommend creating a new clone
of the repository, and re-running `make`. means, for your value of
the name
to worry about aborting make.
Sam
John
On Thu, Dec 4, 2014 at 8:32 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu
wrote:
On Thu Dec 04 2014 at 11:27:45 AM Matthias Felleisen
matth...@ccs.neu.edu wrote:
For those of you who have my level of experience with such things,
here is what Sam's
On Wed, Dec 3, 2014 at 6:10 PM, Eli Barzilay e...@barzilay.org wrote:
If you're talking about implementing line editing yourself, then my
personal reaction to that would be wonderful, but doing it properly
is something that is difficult and easy to underestimate
I've already done this
On Sun, Nov 30, 2014 at 10:44 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
There are plenty of real examples where it's sensible for different
packages to introduce modules in overlapping collections, though.
Sometimes, it's because different packages implement different facets
of a conceptual
On Sat, Nov 29, 2014 at 8:16 PM, Eli Barzilay e...@barzilay.org wrote:
On Sat, Nov 29, 2014 at 7:14 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
All the history for the code has been preserved, and for code that
dates back before 2005, the history is extended back to the original
CVS
On Sun, Nov 30, 2014 at 12:23 PM, Neil Van Dyke n...@neilvandyke.org wrote:
Packages may find it convenient to build and provide reusable
functionality with many organizational names. This is particularly true of
data, as many packages may have useful data structures.
Of course, as such
On Sat, Nov 29, 2014 at 7:14 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
# Changes for git users
If you build Racket from source from Git, that build now contains
fewer packages. There is not yet an single-step way to get all of the
split pkgs as git repositories; we plan to write
As Matthias mentioned in his email a few days ago, we're in the
process of splitting the repository so that it doesn't bundle together
so many packages. I've started this process already, and a number of
packages have already been split out. For most people, this won't have
a big impact, but I'll
On Sat, Nov 29, 2014 at 8:16 PM, Eli Barzilay e...@barzilay.org wrote:
On Sat, Nov 29, 2014 at 7:14 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
All the history for the code has been preserved, and for code that
dates back before 2005, the history is extended back to the original
CVS
to libreadline.
Sam
At Mon, 24 Nov 2014 18:02:45 -0500, Sam Tobin-Hochstadt wrote:
My understanding of the licensing issues is that if the code works with
both libeditline and libreadline then it isn't a derived work of
readline, and therefore could be licensed under the LGPL, like the rest of
Racket
My understanding of the licensing issues is that if the code works with
both libeditline and libreadline then it isn't a derived work of
readline, and therefore could be licensed under the LGPL, like the rest of
Racket. Furthermore, turning use of libeditline on by default wouldn't be
linking to
On Fri, Nov 21, 2014 at 9:29 AM, Eli Barzilay e...@barzilay.org wrote:
On Fri, Nov 21, 2014 at 8:46 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay e...@barzilay.org wrote:
Not that it matters, but did you try to see if it's the file
On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
It's quite possible that this is Eli's bug again, but boy this causes
headaches:
Type Checker: parse error in type;
type variable must be used with ...
variable: Y in: Y
And it points precisely to where Y
at 11:54 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu
wrote:
On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
It's quite possible that this is Eli's bug again, but boy this causes
, Matthias Felleisen
matth...@ccs.neu.edu wrote:
What I sent is the exact program that produced the attached error in today's
drracket [updated around 10am].
On Nov 18, 2014, at 11:58 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu
wrote:
No, I ran it, it barfed, and then I figured out what went
...@ccs.neu.edu wrote:
On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu
wrote:
On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
It's quite possible that this is Eli's bug again, but boy this causes
headaches:
Type Checker: parse error
with all possible arguments. As a side-effect, previously
well-typed programs may fail to typecheck.
Sam
Robby
On Wed, Oct 29, 2014 at 5:12 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
The reason I don't like the second sentence you wrote is that it's
true of every type system
On Wed, Oct 29, 2014 at 3:30 PM, Ryan Culpepper ry...@ccs.neu.edu wrote:
* Exception handling changed to be safe. This may break existing
programs that rely on unsafe behavior.
* Casts and predicates are supported in typed regions.
I think these two bullets (esp the first one) need to make
of a slightly different wording.
Robby
On Wed, Oct 29, 2014 at 2:35 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
On Wed, Oct 29, 2014 at 3:30 PM, Ryan Culpepper ry...@ccs.neu.edu wrote:
* Exception handling changed to be safe. This may break existing
programs that rely on unsafe
programs that the type system now rejects, I'd
be in favor of a slightly different wording.
Robby
On Wed, Oct 29, 2014 at 2:35 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
On Wed, Oct 29, 2014 at 3:30 PM, Ryan Culpepper ry...@ccs.neu.edu wrote:
* Exception handling changed to be safe
.
There was a problem, we fixed it, but the fix may require some pain of
our users. There's nothing wrong with that; it's just a fact of life.
No shame in hiding it.
Robby
On Wed, Oct 29, 2014 at 4:55 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
On Wed, Oct 29, 2014 at 5:47 PM, Robby
Here's another idea:
* To ensure safety, Typed Racket now prohibits raising any values
other than exns and simple flat data. Some existing programs may now
have type errors because of this.
Sam
On Wed, Oct 29, 2014 at 6:12 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
The reason I don't
On Wed, Oct 29, 2014 at 6:57 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
properly - corresponding fashion?
No, it's a different change (the one I numbered 1. in my first message).
Sam
Otherwise fine
On Oct 29, 2014, at 6:54 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote
On Tue, Oct 28, 2014 at 12:26 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2014-10-28 12:05:12 -0400, sa...@racket-lang.org wrote:
| Avoid requires of contracts when they're not used.
|
| This changes when various libraries that provide contract
| support to possible contracted bindings to
enough for me to do.
Sam
At Tue, 21 Oct 2014 22:26:26 -0400, Sam Tobin-Hochstadt wrote:
I've found what I think is a bug in the expander where lexical
references can get an `identifier-binding` result that suggests that
they're module-bound.
In particular, you need these three files
I've found what I think is a bug in the expander where lexical
references can get an `identifier-binding` result that suggests that
they're module-bound.
In particular, you need these three files:
bugtest.rkt:
(module bugtest wraptest.rkt)
bugtest.scm:
(define (gcbench)
(define main #f)
antti.karttu...@gmail.com
wrote:
On Fri, Sep 26, 2014 at 4:05 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu
wrote:
Instead of changing my Planet package, it would be better to provide
an FFI to cairo based on the existing one that's in the library you
mention. I don't think any of my package
Instead of changing my Planet package, it would be better to provide
an FFI to cairo based on the existing one that's in the library you
mention. I don't think any of my package would be useful for that,
though.
Sam
On Fri, Sep 26, 2014 at 8:44 AM, Antti Karttunen
antti.karttu...@gmail.com
On Wed, Sep 3, 2014 at 10:53 AM, Jay McCarthy j...@racket-lang.org wrote:
I need to revert this because it horribly breaks the bootstrapping
phase. It may be possible to make the core have a package in the
future, but it's not an easy change.
Is this because code expects #f instead of base? Or
On Tue, Jul 8, 2014 at 8:14 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Tue, 08 Jul 2014 14:08:27 +0200, Jan Dvořák wrote:
Can you provide some guidelines on docs naming?
I am responsible for half of the conflicts. :-)
A package X that provides a collection X of the same name should
How would that change things here? The issue is about
finalizer-for-what, and that chaperones/impersonators affect object
identity.
Sam
On Sun, Aug 17, 2014 at 3:37 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Could we benefit from an abstract/opaque Finalizer type here? I know we don't
a 'trusted'
'thing' in this case except that this would open the door for other such
things.
On Aug 17, 2014, at 3:39 PM, Sam Tobin-Hochstadt wrote:
How would that change things here? The issue is about
finalizer-for-what, and that chaperones/impersonators affect object
identity.
Sam
That's clearly the right solution for this particular bug, but it does
seem like there's a more general problem here.
Sam
On Sat, Aug 16, 2014 at 10:40 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Seems simplest to be to have typed racket know to trust register finalizer
and thus avoid
How difficult would it be to allow the bootstrap process to use a
preexisting Racket installation? This would alleviate some of the
performance loss, for example in rebuilds by developers or in continuous
integration.
Sam
On Aug 11, 2014 11:16 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
I've
Plumbers look like a fundamental new runtime system concept, and so I think
we should mention them, even though most people won't use them.
Sam
On Jul 29, 2014 4:02 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Mon, 28 Jul 2014 14:33:07 -0400, Ryan Culpepper wrote:
mflatt:
- ARM JIT: fix
`#:when` and `#:unless` introduce nesting, a la `for/fold*`. So yes,
you should expect this.
Sam
On Tue, Jul 29, 2014 at 1:23 PM, J. Ian Johnson i...@ccs.neu.edu wrote:
This will eat all your memory,
(for/list ([x '(0 1 2 3 4 5 6)]
#:unless (= x 4)
[i (in-naturals)])
Here's a simpler version of this problem:
#lang racket
(parameterize ([current-namespace (make-base-namespace)])
(expand (datum-syntax
#f
'(module m '#%kernel
(#%declare #:cross-phase-persistent)
Sam
On Wed, Jul 16, 2014 at 12:59 PM, Sam Tobin-Hochstadt
still have it wrong, the implementation of 2 was
straightforward.
I would have overlooked the need to restrict `chaperone-struct` to
chaperones of accessors and mutators if you hadn't mentioned it.
At Thu, 24 Jul 2014 15:45:18 -0400, Sam Tobin-Hochstadt wrote:
Consider the following module
On Fri, Jul 25, 2014 at 10:39 AM, mfl...@racket-lang.org wrote:
| As far as I can tell, we have to compute ourselves whether a
| date is in daylight-saving time based on specifications of
| when daylight and standard times start. That part seems tricky
| and could use extra review.
From a
Consider the following module:
(module m racket
(struct x [a])
(define v1 (x 'secret))
(define v2 (x 'public))
(provide v1 v2)
(provide/contract [x-a (- x? (not/c 'secret))]))
It appears that this ensures that you can't get 'secret. But, it turns
out that I can write a function outside
If you take this program (which is a lot like the implementation of
`racket/fixnum`):
#lang racket/base
(require '#%flfxnum
racket/private/vector-wraps
racket/unsafe/ops
(for-syntax racket/base))
(define-vector-wraps fxvector
fixnum? fixnum?
fxvector?
binding.
At this point it seems unlikely that it's a bug, since it happens all
the time, but I still don't understand.
Sam
On Thu, Jul 24, 2014 at 4:08 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
If you take this program (which is a lot like the implementation of
`racket/fixnum
be supported.
Sam
On Thu, Jul 24, 2014 at 4:25 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
Nice example. Offhand, I think that #2 is right, but I'll have to look
at it more to be sure.
At Thu, 24 Jul 2014 15:45:18 -0400, Sam Tobin-Hochstadt wrote:
Consider the following module:
(module m racket
, 2014 at 3:25 PM, Matthew Flatt mfl...@cs.utah.edu
wrote:
Nice example. Offhand, I think that #2 is right, but I'll have to look
at it more to be sure.
At Thu, 24 Jul 2014 15:45:18 -0400, Sam Tobin-Hochstadt wrote:
Consider the following module:
(module m racket
(struct x
The margin-notes appear to work correctly on Chrome but wrong on
Firefox on my Linux system.
Sam
On Wed, Jul 23, 2014 at 8:13 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Believe it or not I actually tried that. Screenshot:
http://www.eecs.northwestern.edu/~robby/tmp/x.png (that's
the symbol that you need?
At Wed, 16 Jul 2014 23:32:46 -0400, Sam Tobin-Hochstadt wrote:
Ok, I thought I had figured this out, but I was wrong.
Here's what I want to be able to do:
- take an identifier in a fully-expanded source file
- translate that identifier to some symbol in a predictable
Running `expand` on the module defined in `racket/tcp` errors.
In transcript form:
- (define p (open-input-file
/home/samth/sw/plt/racket/collects/racket/tcp.rkt))
- (define mod (read-syntax (object-name p) p))
- (parameterize ([current-namespace (make-base-namespace)])
(expand
...@cs.utah.edu wrote:
Yes, it can be .2, etc. The numbers are generated as needed to create
distinct names --- deterministically for a given module compilation,
assuming that all macros used by expansion are deterministic.
At Wed, 16 Jul 2014 07:36:50 -0400, Sam Tobin-Hochstadt wrote:
Does that mean
If you take this program and fully-expand it in the macro stepper:
#lang racket
(struct posn (x y))
(define p1 (posn 1 2))
You see that the residual program has an application of the `posn1`
function, which is the hidden constructor. And indeed, the
fully-expanded program has a definition of
On Tue, Jul 15, 2014 at 9:23 AM, J. Ian Johnson i...@ccs.neu.edu wrote:
I'm working on enhancing struct-info to carry field names as symbols to do
nice hygienic things:
http://lists.racket-lang.org/users/archive/2014-July/063271.html
I now see that struct-out always provides all field
on this feature of struct-out (and probably contract-out's struct
form as well).
If we don't actually have a need for this, then let's wait, since it
seems like it adds a bunch of complexity.
Sam
Thanks,
-Ian
- Original Message -
From: Sam Tobin-Hochstadt sa...@cs.indiana.edu
To: J
This seems like a situation where the new error message is potentially
more confusing, even though it's technically more correct. There are
lots of other caveats we could add (assuming there isn't a compiler
bug, etc) but I think adding them would make Racket harder to use.
Sam
On Mon, Jul 14,
but they
wrote the contract.
Robby
On Monday, July 14, 2014, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
This seems like a situation where the new error message is potentially
more confusing, even though it's technically more correct. There are
lots of other caveats we could add
for the report!
At Wed, 9 Jul 2014 09:39:50 -0400, Sam Tobin-Hochstadt wrote:
The following exchange with rudybot, which is running the programs in
a sandbox, demonstrates the issue:
09:35 samth rudybot: eval (let () (local-require compiler/zo-marshal
compiler/zo-structs racket/fasl) (fasl-s-exp
The following exchange with rudybot, which is running the programs in
a sandbox, demonstrates the issue:
09:35 samth rudybot: eval (let () (local-require compiler/zo-marshal
compiler/zo-structs racket/fasl) (fasl-s-exp (zo-marshal
(compilation-top 3 (prefix 0 '() '()) (let-void 1 #t
On Tue, Jul 8, 2014 at 8:14 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Tue, 08 Jul 2014 14:08:27 +0200, Jan Dvořák wrote:
On Tue, 2014-07-08 at 12:46 +0100, Matthew Flatt wrote:
The rightmost column of the table may need some explanation. The column
highlights conflicts among names of
On Tue, Jul 8, 2014 at 11:35 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Tue, 8 Jul 2014 10:15:10 -0400, Sam Tobin-Hochstadt wrote:
- I wonder if using Docker instead of VirtualBox could make
incrementality easier, since that's one of things that they focus on.
I don't think it would
I think this is a good idea, and something that I've wanted for a long
time. But there are ways to make it much better, and generalize to all
loops.
First, recognize that a `for/...` loop is really a recursive function,
which is passing along a bunch of arguments. In this setting,
`continue`
I disagree strongly that this is un-rackety. Consider the following loop:
(define v )
(let loop ([i 100])
(define e (vector-ref v i))
(cond [(zero? i) null]
[(= 999 e) null]
[(even? e) (loop (add1 i))]
[else (cons e (loop add1 i))]))
I don't think that's
On Wed, Jul 2, 2014 at 12:52 AM, John Clements
cleme...@brinckerhoff.org wrote:
On Jul 1, 2014, at 3:46 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
I disagree strongly that this is un-rackety. Consider the following loop:
(define v )
(let loop ([i 100])
(define e (vector-ref v
via their demo features, I see
no difference.
What latex distribution are you using?
This is TeX Live, I think 2013 with some modifications that Debian/Ubuntu
makes.
Sam
Robby
On Mon, Jun 30, 2014 at 6:50 AM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
Attached are the two pdfs (x1
On Mon, Jun 30, 2014 at 5:25 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
Similarly, I don't know how much it makes sense to document refinements
to types in `typed/...` libraries (and I'll leave that question to the
TR implementers).
I think we make a design choice to make a type
On Fri, Jun 27, 2014 at 4:30 AM, ro...@racket-lang.org wrote:
5280395 Robby Findler ro...@racket-lang.org 2014-06-27 03:25
:
| add the --dvipdf flag to scribble
|
| This adds a new back-end pipeline for generating pdf to
| scribble, with the hope that included picts (e.g., those
|
somehow.
But apparently if you have a retina mac, this flag isn't necessary.
Robby
On Fri, Jun 27, 2014 at 7:22 AM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
On Fri, Jun 27, 2014 at 4:30 AM, ro...@racket-lang.org wrote:
5280395 Robby Findler ro...@racket-lang.org 2014-06-27 03:25
And the one with the second x in the bottom line lower down is the one
that's from --pdf and is not intended? Are there other differences
between the pictures?
Sam
On Fri, Jun 27, 2014 at 9:02 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Jun 27, 2014 at 7:59 AM, Sam Tobin
(the one whose name has
8.01.25 is the uglier one). This effect is, I believe, one of the
main things people mean when they say that Redex's typesetting is ugly
(and it is indeed ugly in larger quantities).
Robby
On Fri, Jun 27, 2014 at 9:23 AM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote
and not using system fonts, and thus
there wouldn't be any such heuristics. Is that not true?
Sam
At Fri, 27 Jun 2014 11:30:06 -0400, Sam Tobin-Hochstadt wrote:
I'm trying to determine how different they look on my machine, but
unfortunately the two processes put the lines at different places
On Fri, Jun 27, 2014 at 2:23 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Fri, 27 Jun 2014 13:43:46 -0400, Sam Tobin-Hochstadt wrote:
On Fri, Jun 27, 2014 at 12:30 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Fri, 27 Jun 2014 11:56:39 -0400, Sam Tobin-Hochstadt wrote:
On Fri, Jun 27
Can we make this error message a little more informative? People find this
confusing.
Sam
On Jun 26, 2014 2:22 AM, as...@racket-lang.org wrote:
asumu has updated `master' from 5339cbaac9 to 9a14c9c420.
http://git.racket-lang.org/plt/5339cbaac9..9a14c9c420
=[ One Commit
Yeah, that looks nicer.
On Thu, Jun 26, 2014 at 9:47 AM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2014-06-26 07:30:40 -0400, Sam Tobin-Hochstadt wrote:
Can we make this error message a little more informative? People find this
confusing.
Sure, did you have something in mind
On Mon, Jun 23, 2014 at 8:29 AM, mfl...@racket-lang.org wrote:
6a5a303 Matthew Flatt mfl...@racket-lang.org 2014-06-23 13:23:47 +0100
:
| avoid getting stuck on non-UTF-8 symbol encodings in bytecode
|
Does this fix apply to keywords as well?
I assume that strings are handled differently.
The current Travis build succeed https://travis-ci.org/plt/racket so I
think you probably have some stale compiled files somewhere.
Sam
On Fri, Jun 20, 2014 at 10:03 AM, J. Ian Johnson i...@ccs.neu.edu wrote:
I just pulled and make gives me this
libracket.a(optimize.o): In function
Yes, I think this would allow all the optimizations that Eric talked about.
Sam
On Jun 13, 2014 4:26 AM, Robby Findler ro...@eecs.northwestern.edu
wrote:
Would it be useful to get blame information back from a value, just
like you can currently get the contract back?
Robby
On Tue, Jun 10,
On Mon, Jun 9, 2014 at 5:48 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Am I right that the contract on 'f' is actually (- symbol? any)? And
if so, where is the information coming from that lets you elide the
check?
No, the `(boxof symbol?)` contract has to be kept around because of
On Mon, Jun 9, 2014 at 3:19 AM, Eric Dobson eric.n.dob...@gmail.com wrote:
It would be nice if the contract on the input to g could be elided. It
seems like this could be done by using something like prop:contracted
but that allowed accessing the parties that agreed to the contract.
I'm
On Thu, May 29, 2014 at 4:26 AM, mfl...@racket-lang.org wrote:
| optimizer: ad hoc optimization of predicates applied to constructions
|
| This is probably more of a job for Typed Racket, but maybe it's
| useful to detect some obviously unnecessary allocations of lists, etc.
I think this is
On Sat, May 24, 2014 at 8:02 AM, Jay McCarthy jay.mccar...@gmail.com wrote:
On May 23, 2014, at 3:59 PM, Greg Hendershott greghendersh...@gmail.com
wrote:
Feedback from a relatively naive Racket user:
1.
+External effects are exemplified by input/output (or I/O). I/O is the
+action of a
On Sat, May 24, 2014 at 5:53 AM, Greg Hendershott
greghendersh...@gmail.com wrote:
Testing of the new code (which is on by default) on platforms other
than x86-64 Linux would be greatly appreciated.
I tried and it works great on OS X, for untyped Racket.
As for Typed Racket, I tried:
Racket6.0.0.4)
Wed, 21 May 2014 19:50:05 -0400 от Sam Tobin-Hochstadt
sa...@cs.indiana.edu:
On Wed, May 21, 2014 at 6:12 PM, Neil Toronto neil.toro...@gmail.com
wrote:
On 05/21/2014 02:09 PM, Sam Tobin-Hochstadt wrote:
Racketeers,
Thanks to some improvements from Matthew, my `disassemble
On Wed, May 21, 2014 at 4:09 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
Racketeers,
Thanks to some improvements from Matthew, my `disassemble` package is
now much easier to use.
I've just pushed a new version of this, which uses an in-Racket
disassembler based on Göran Weinholt's
Racketeers,
Thanks to some improvements from Matthew, my `disassemble` package is
now much easier to use.
[samth@punge:~/sw/disassemble (master) plt] racket
Welcome to Racket v6.0.1.10.
(require disassemble)
(define (const x) 1)
(disassemble const)
8943FCmov
On Wed, May 21, 2014 at 6:12 PM, Neil Toronto neil.toro...@gmail.com wrote:
On 05/21/2014 02:09 PM, Sam Tobin-Hochstadt wrote:
Racketeers,
Thanks to some improvements from Matthew, my `disassemble` package is
now much easier to use.
[samth@punge:~/sw/disassemble (master) plt] racket
Sometimes, `resolved-module-path-name` produces the symbol '|expanded
module|. Is this the only symbol that's produced that _isn't_ the
actual name of a module?
Also, given that I'm calling `expand` on a module form, is it possible
to do something so that I _don't_ end up with '|expanded module|
for this case, that's plenty for me.
Sam
At Fri, 16 May 2014 09:58:12 -0400, Sam Tobin-Hochstadt wrote:
Sometimes, `resolved-module-path-name` produces the symbol '|expanded
module|. Is this the only symbol that's produced that _isn't_ the
actual name of a module?
Also, given that I'm calling
Travis, the free CI system that we're using in addition to DrDr, is
now available on Macs, and I've turned that on for Racket. You can
see the first results (sadly featuring a transient error) here:
https://travis-ci.org/plt/racket/builds/25168300
This now happens on every push, so we should be
For anyone interested in high performance JIT compilers, Filip Pizlo's
post here: https://www.webkit.org/blog/3362/introducing-the-webkit-ftl-jit/
about the new JIT they've added in WebKit using LLVM will be very
interesting.
Sam
_
Racket Developers list:
This program: https://gist.github.com/samth/e7b55fcef66da9b8416a works
when line 33 is uncommented, otherwise it gives the error:
?: module mismatch;
attempted to use a module that is not available
possible cause:
using (dynamic-require #f)
but need (dynamic-require 0)
, May 7, 2014 at 9:11 AM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
This program: https://gist.github.com/samth/e7b55fcef66da9b8416a works
when line 33 is uncommented, otherwise it gives the error:
?: module mismatch;
attempted to use a module that is not available
possible cause
1 - 100 of 697 matches
Mail list logo