I don't think we should add functions to TR that are not in Racket and
that are not clearly type-related (e.g., `cast`).
I also like Jens's solution better. Education vs crutches.
Vincent
At Tue, 17 Feb 2015 10:39:16 -0500,
Matthias Felleisen wrote:
>
>
> I'd add them to Typed Racket. That's
I just pushed something, and now the Github mirror is up to date. The
push must have kicked the mirroring mechanism.
Vincent
At Mon, 02 Feb 2015 16:54:10 -0500,
Vincent St-Amour wrote:
>
> FWIW, pulling from git.racket-lang.org has been slow (i.e. ~30mins) for
> some of us in the la
FWIW, pulling from git.racket-lang.org has been slow (i.e. ~30mins) for
some of us in the last couple of days. Something in the mirroring may be
timing out for similar reasons.
Vincent
At Mon, 2 Feb 2015 18:41:56 -0300,
Gustavo Massaccesi wrote:
>
> * openssl: recognize version "1.0.1j" #8265c
In case anyone would like to use a non-gmail address for sign up, you
can sign up from this URL:
https://groups.google.com/forum/#!forum/racket-dev/join
The regular "sign up" button wouldn't let me.
Vincent
At Wed, 28 Jan 2015 16:47:58 -0800,
John Clements wrote:
>
>
> Dear developers,
>
That sounds good to me.
One concern, though: it looks like recreating old releases requires that
all the participating repos (1) still exist, (2) have the same
name/location, and (3) still have the release tags. I'm not too worried
about (1) and (3), but I could see (2) happening if, e.g., a packa
For TR:
* Exception handling changed to be safe. This may break existing
programs that rely on unsafe behavior.
* Exports from the GUI and framework libraries have types, and can be
used transparently from typed programs.
* Casts and predicates are supported in typed regions.
Vincent
At
racket-lib/typed-racket/base-env/
> > 83.0%
> > pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/
> >
> > ~~
> >
> > 9030680 Vincent St-Amour 2014-10-20 11:34
> > :
> > | Fix types for foldl and foldr with 3 lists.
At Thu, 16 Oct 2014 11:22:04 -0400,
Vincent St-Amour wrote:
> > - Typed Racket Updates: update HISTORY
> > (updates should show v6.1.1 as the most current version; email me
> > to pick the changes when they're done, or tell me if there are no such
> > changes.
At Thu, 16 Oct 2014 09:13:54 -0400,
Ryan Culpepper wrote:
> * Sam Tobin-Hochstadt ,
>Vincent St-Amour
> - Match Tests
> - Typed Racket Tests
Done.
> - Typed Racket Updates: update HISTORY
> (updates should show v6.1.1 as the most current version; email me
>
I'd like to use DrRacket's new tooltip support in Optimization Coach.
I tried using the check syntax-based API, but since OC does not run
during the dynamic extent of check syntax, that didn't work.
Is there an API that DrRacket tools can use to show tooltips, that does
not involve going through
n that the bug that I fixed caused this crash, but the details
> are a close match for the test content and crash reports.
>
> The bug was introduced in 2009 (commit bc47db42e4).
>
> At Thu, 02 Oct 2014 15:00:25 -0400, Vincent St-Amour wrote:
> > The file listed below has been
The file listed below has been segfaulting intermittently for about a
month, but I can't reproduce the crash on any of my machines (Linux or
Mac OS, both 64 bits).
Walking backwards through the commit log from the first occurrence of
the crash on DrDr, the first commit that looks like it may be re
At Thu, 28 Aug 2014 08:55:59 -0600,
Matthew Flatt wrote:
>
> I didn't change the "main-distribution" package. I changed the Utah
> snapshot's configuration to make the Racket distribution have
> "main-distribution" plus "optimization-coach".
Ah, I see. Got it.
> Changing "main-distribution" woul
Great, thanks!
I didn't see changes to the main repo to reflect that addition. Are the
contents of the main distribution not part of the repo anymore?
Vincent
At Wed, 27 Aug 2014 08:46:02 -0600,
Matthew Flatt wrote:
>
> The Racket snapshots at
>
> http://www.cs.utah.edu/plt/snapshots/
>
>
Ok, let's try to do that. Is there currently a way to include packages
from 3rd party repos to the main distribution?
Vincent
At Tue, 12 Aug 2014 00:03:04 -0400,
Greg Hendershott wrote:
>
> > Being in the main repo is different from being in the distribution (and
> > thus automatically install
At Mon, 21 Jul 2014 16:24:24 -0400,
Asumu Takikawa wrote:
>
> On 2014-07-21 16:14:27 -0400, Vincent St-Amour wrote:
> > Sam, Asumu, Eric: what's new for this release?
>
> This came up on IRC the other day. I think Eric was saying the main
> changes were inference speedu
At Thu, 17 Jul 2014 20:03:12 -0400,
Ryan Culpepper wrote:
> * Sam Tobin-Hochstadt ,
>Vincent St-Amour
> - Match Tests
> - Typed Racket Tests
Done.
> - Typed Racket Updates: update HISTORY
> (updates should show v6.1 as the most current version; email me
> to
At Thu, 01 May 2014 13:49:55 -0400,
Ryan Culpepper wrote:
> vincent:
> - contract profiler (cc0e6763, 7495243d, etc)
Nothing significant for this release.
> - make f[lx]vectors sequences (8e32e6e4)
Not sure that's worth putting in the release notes, but if we decide it
is, here's a bullet:
- fl
Extra bit of information, this works too:
#lang racket
(define ns (make-empty-namespace))
(namespace-attach-module (current-namespace) ''#%builtin ns)
(parameterize ([current-namespace ns])
(namespace-require "m.rkt"))
But replacing ''#%builtin with ''#%kernel or ''#%boot do
% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/
> > 47.0%
> > pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/
> >
> > ~~
> >
> > ce3033a Vincent St-Amour 2014-04-25 13:40
> > :
> > | Keep dead cas
At Sat, 19 Apr 2014 19:41:49 -0600,
Matthew Flatt wrote:
>
> At Sat, 19 Apr 2014 17:36:40 -0400, Vincent St-Amour wrote:
> > At Sat, 19 Apr 2014 13:19:25 -0400,
> > mfl...@racket-lang.org wrote:
> > > a01b12e Matthew Flatt 2014-04-19 10:11
> > > :
> > &g
At Sat, 19 Apr 2014 13:19:25 -0400,
mfl...@racket-lang.org wrote:
> a01b12e Matthew Flatt 2014-04-19 10:11
> :
> | optimizer: don't move expressions into a `with-continuation-mark`
> |
> | ... unless the optimizer can prove that the expression doesn't
> | inspect continuation marks.
> :
> M pkgs
I looked through the package descriptions, and it doesn't look like any
of them would use the profiler.
I'll do the change.
Vincent
At Thu, 27 Mar 2014 15:33:48 -0400,
Vincent St-Amour wrote:
>
> Will do.
>
> Is there a convenient way to grep through packages w
>
> On Thu, Mar 27, 2014 at 1:42 PM, Vincent St-Amour wrote:
>
> > [ccing dev]
> >
> > I agree. That would also make adding profiling less intrusive than it is
> > now. Consistency with `time' would also be nice. FWIW, `contract-profile'
> > behav
[ccing dev]
I agree. That would also make adding profiling less intrusive than it is
now. Consistency with `time' would also be nice. FWIW, `contract-profile'
behaves like `time'.
Currently `profile' and `profile-thunk' return whatever the profile
renderer returns. Most renderers print their repo
Right. I'll fix the TR random tester.
Vincent
At Wed, 26 Mar 2014 13:25:42 -0400,
Sam Tobin-Hochstadt wrote:
>
> On Wed, Mar 26, 2014 at 1:10 PM, Robby Findler
> wrote:
> > Just to confirm: Redex isn't doing anything wrong, right?
>
> Correct -- I think `real` was always allowed to generate s
At Wed, 15 Jan 2014 12:31:29 -0500,
mfl...@racket-lang.org wrote:
> +@history[#:added "6.0.0.1"]
IIUC, x.y.z.w versions are not usually user-visible (at least, they
don't correspond to any released version). Do we want to expose them in
the docs?
Vincent
_
Racket Develop
At Mon, 13 Jan 2014 12:25:06 -0600,
Robby Findler wrote:
>
> [1 ]
> On Mon, Jan 13, 2014 at 11:05 AM, Vincent St-Amour
> wrote:
>
> > These release notes look good to me, but maybe a bit short.
> >
> > Since this is our first release with new features since
These release notes look good to me, but maybe a bit short.
Since this is our first release with new features since 5.3.4 last May,
I would have expected a longer list. For example, during the previous
release notes discussion, Jay and Neil had some bullets that I don't see
on this list. There als
At Thu, 19 Dec 2013 20:41:25 -0600,
Robby Findler wrote:
> Sam, Vincent: errortrace-based profiling
* The profiler provides a new mode that uses the Errortrace library to
produce more fine-grained profiles.
(Also added a history file for the profiler, commit 15b333a0a6517 )
> Vincent: contract
At Mon, 16 Dec 2013 16:29:25 -0500,
Vincent St-Amour wrote:
> > - Typed Racket Updates: update HISTORY
> > (updates should show v6.0 as the most current version; email me
> > to pick the changes when they're done, or tell me if there are no such
> > change
At Mon, 16 Dec 2013 11:38:32 -0500,
Ryan Culpepper wrote:
> * Sam Tobin-Hochstadt ,
>Vincent St-Amour
> - Match Tests
> - Typed Racket Tests
Done.
> - Typed Racket Updates: update HISTORY
> (updates should show v6.0 as the most current version; email me
> to
should then be no need
> for dynamic-requires.
>
> Robby
>
>
> On Tue, Nov 26, 2013 at 7:12 AM, Vincent St-Amour wrote:
>
> > You could guard the `dynamic-require' with a dynamic check for the
> > existence of what it's requiring. In the specific case of
You could guard the `dynamic-require' with a dynamic check for the
existence of what it's requiring. In the specific case of xrepl, the
dynamic check should probably guard command registration so that, e.g.
the macro stepper commands are not available if the macro stepper is not
installed.
That's
At Thu, 14 Nov 2013 20:37:28 -0500,
Neil Toronto wrote:
> For the following program, on my computer, the new "random ->
> unsafe-flrandom" optimization slows down the first loop and speeds up
> the second:
>
> #lang typed/racket
>
> (require math/flonum
> racket/unsafe/ops)
>
> (define
At Mon, 4 Nov 2013 11:49:44 -0600,
Robby Findler wrote:
> collection-path is legacy and should generally be removed when you find it
> (I think I fixed two uses of it Saturday in fact).
The documentation does mention that `collection-file-path' is usually
preferred, but it doesn't make it clear th
While looking at Asumu's `raco-find-collection' package, Asumu and I
noticed something about the `collection-path' function that made us
uncomfortable.
`collection-path' returns *a* path where the given collection is
located. With the package system, there can now be *multiple* such
paths. `colle
sue of
> changing the meaning/any change.
>
> I think there is a bunch of existing code that assumes that Set is
> exactly hashsets, or at least covariant.
>
> On Fri, Aug 30, 2013 at 5:37 PM, Vincent St-Amour
> wrote:
> > I was thinking of the `Set' type construc
I was thinking of the `Set' type constructor as meaning generic set,
which is why I gave that type to `generic-set?'. This interpretation is
a problem because TR treats sets as covariant.
If we make sets invariant, could TR support generic sets? [1] Or are
there other issues I'm missing?
Vincent
It looks like you may want `define-inline' from `racket/performance-hint'.
Vincent
At Thu, 22 Aug 2013 11:11:51 -0400,
Sam Tobin-Hochstadt wrote:
>
> Ah, indeed. I'm calling `random` in the closure now. Fixing that
> removes the anomaly.
>
> Sam
>
> On Thu, Aug 22, 2013 at 11:05 AM, Matthe
At Tue, 13 Aug 2013 16:19:28 -0600,
Matthew Flatt wrote:
>
> At Tue, 13 Aug 2013 18:12:12 -0400, Vincent St-Amour wrote:
> > At Tue, 13 Aug 2013 15:59:57 -0600,
> > Matthew Flatt wrote:
> > >
> > > At Tue, 13 Aug 2013 17:23:33 -0400, Vincent St-Amour wrot
At Tue, 13 Aug 2013 15:59:57 -0600,
Matthew Flatt wrote:
>
> At Tue, 13 Aug 2013 17:23:33 -0400, Vincent St-Amour wrote:
> > I had installed Stephen's `graph' package. Then, he pushed a new
> > version, and I tried updating my install. Here's the error
I had installed Stephen's `graph' package. Then, he pushed a new
version, and I tried updating my install. Here's the error I got:
stamourv@ahuntsic:plt$ raco pkg update graph
Inferred package scope: /home/stamourv/src/plt/racket/share/pkgs
Resolving "graph" via https://pkg.racket-lan
se DWARF-based stack unwind).
>
> A related symptom I had noticed was that building without gcc
> optimization used disabled stack traces; that's now fixed.
>
> There are still ways to end up with an empty stack trace, but it should
> happen much less often.
>
> At Wed, 0
I'm profiling one of the contract benchmarks[1], and I noticed that
sometimes (about 10 out of 300 samples), `continuation-mark-set->context'
would return an empty stack trace. This number is cut down by about half
if I disable the JIT. These samples seem to be spread out throughout
execution (i.e
At Fri, 2 Aug 2013 15:33:02 -0400,
Carl Eastlund wrote:
>
> [1 ]
> On Fri, Aug 2, 2013 at 1:47 PM, Stephen Chang wrote:
>
> > > With that in mind, I think it would make sense to move `set-first' and
> > > `set-empty?' to the primitive set (making it clear that they are
> > > optional, and can b
At Thu, 1 Aug 2013 18:56:08 -0400,
Carl Eastlund wrote:
> Ah, yes, set->stream isn't primitive because it can be derived if you have
> set-first and either set-rest or set-remove. And I know there are
> dependency cycles, this is intentional so that you can implement any one of
> several related t
>
> Thanks,
> Robby
>
>
> On Tue, Jul 23, 2013 at 9:11 AM, Vincent St-Amour wrote:
>
> > The TR tests still fail when using a single place.
> >
> > The following commits should be included in the release:
> > 069ff59a4bd6a988a56
At Tue, 23 Jul 2013 19:29:27 -0500,
Robby Findler wrote:
> Is this in 5.3.6 or in the git head version?
5.3.6 is fine. That was on git HEAD. Matthew's last commit fixed it.
> Is this related to the test failures you reported earlier?
No.
Vincent
_
Racket Developers lis
On 64 bit Linux, `continuation-mark-set->context' doesn't provide any
stack trace anymore, instead always returning the empty list. It was
working at least up to 5.3.4.
When the JIT is disabled, I get the expected stack traces.
This regression breaks the profiler, the contract profiler, and the
The TR tests still fail when using a single place.
The following commits should be included in the release:
069ff59a4bd6a988a5670c7e4dd38c1dbbe12ec0
0e7940ab4943600e6f5c8f13ce7ee13e8af9a8f5
ab5075bc762356f86bb7dfd34dac8d24ada1a140
Vincent
At Mon, 22 Jul 2013 17:49:20 -0400,
Vincent St-Amour
release branch.
>
> --> Release candidates are at
> --> http://pre.racket-lang.org/release/installers
The "Linux/i386/Ubuntu Precise" installer is 64 bits, which is wrong.
> * Sam Tobin-Hochstadt ,
> Vincent St-Amour
>- Match Tests
>- Typed
At Tue, 9 Jul 2013 10:52:18 -0600,
Matthew Flatt wrote:
>
> At Tue, 09 Jul 2013 12:23:56 -0400, Vincent St-Amour wrote:
> > Bash completion for raco setup (in
> > pkgs/plt-services/meta/contrib/completion/racket-completion.bash)
> > is currently broken. It only completes
Bash completion for raco setup (in
pkgs/plt-services/meta/contrib/completion/racket-completion.bash)
is currently broken. It only completes collects that are in the core.
I haven't tried it, but I suspect that zsh completion is similarly
broken.
To find collects to complete, the script looks for s
I vote for this change.
I'm happy to change my packages (which make more sense as
single-collection packages anyway).
If I understand correctly, this would also have the advantage of making
a lot of github repositories (including most of mine) installable as
packages automatically, no change requ
6e8c9ed15a.
> > http://git.racket-lang.org/plt/5ea3a1ce6d..6e8c9ed15a
> >
> > =[ 2 Commits ]==
> > Directory summary:
> > 82.9% collects/racket/contract/private/
> > 17.0% collects/scribblings/reference/
&g
At Thu, 6 Jun 2013 18:39:57 -0400,
Carl Eastlund wrote:
> Also if you're going to memoize things, why are you using assoc rather than
> a hash table? Or if at all possible, a weak hash table?
I'm using `procedure-closure-contents-eq?' as the equality predicate.
AFAIK, there's no hash table for th
I tried your suggestion, and it doesn't fix the original bug.
I'll stick with the semaphores solution.
Vincent
At Fri, 03 May 2013 13:13:45 -0400,
Vincent St-Amour wrote:
>
> At Fri, 3 May 2013 12:17:46 -0400,
> Eli Barzilay wrote:
> >
> > A few minutes ago, V
At Fri, 3 May 2013 12:17:46 -0400,
Eli Barzilay wrote:
>
> A few minutes ago, Vincent St-Amour wrote:
> > At Fri, 3 May 2013 11:56:02 -0400, Eli Barzilay wrote:
> > > (define (delay/thread thunk)
> > > (let ()
> > > (define p (make-pro
-weight
> synchronization construct.
>
> At Fri, 03 May 2013 11:45:38 -0400, Vincent St-Amour wrote:
> > Sam, Asumu and I found and fixed the bug. Here's the problem in a
> > nutshell.
> >
> > This is the implementation of `delay/thread' from rack
At Fri, 3 May 2013 11:56:02 -0400,
Eli Barzilay wrote:
>
> A few minutes ago, Vincent St-Amour wrote:
> > Sam, Asumu and I found and fixed the bug. Here's the problem in a
> > nutshell.
> >
> > This is the implementation of `delay/thread' from racket/pro
Sam, Asumu and I found and fixed the bug. Here's the problem in a
nutshell.
This is the implementation of `delay/thread' from racket/promise.
(define (delay/thread thunk)
(let ()
(define (run)
(call-with-exception-handler
(lambda (e) (pset! p (make-reraise e
At Wed, 1 May 2013 17:35:44 -0400,
Eli Barzilay wrote:
> > * The Optimization Coach DrRacket plugin has been moved from the
> >Racket distribution to the Racket package repository.
>
> It might be good to include some very quick instructions on how to
> install it.
* The Optimization Coach Dr
At Mon, 22 Apr 2013 23:16:07 -0400,
Ryan Culpepper wrote:
> stamourv:
> - move optimization coach to planet2 (2c8e5f9a)
* The Optimization Coach DrRacket plugin has been moved from the Racket
distribution to the Racket package repository.
Vincent
_
Racket Developers
At Wed, 17 Apr 2013 22:36:52 -0400,
Ryan Culpepper wrote:
> * Sam Tobin-Hochstadt ,
> Vincent St-Amour
>- Match Tests
>- Typed Racket Tests
Everything passes.
>- Typed Racket Updates: update HISTORY
>(updates should show v5.3.4 as the most current version
I have found what I think may be a bug in Racket's constant propagation:
(unsafe-fx* 0 (error 'foo))
does not throw and error and evaluates to 0. If 0 is replaced with
another value, or if it's `read' in, the error is thrown.
`unsafe-fxquotient' has the same issue.
On the one hand, this is a
At Fri, 01 Mar 2013 09:05:21 +0100,
Marijn wrote:
> On 27-02-13 21:51, Neil Toronto wrote:
>
> > (An example that came up in the implementation of matrix norms: the
> > type of (sqrt (/ 1 x)) isn't Nonnegative-Real if x :
> > Nonnegative-Real, but Complex. Consider x = -0.0. Without TR's
> > compl
At Tue, 26 Feb 2013 16:59:01 -0500,
mfl...@racket-lang.org wrote:
> 899a327 Matthew Flatt 2013-02-26 14:14
> :
> | add experimental support for "phaseless" modules
> |
After reading the docs, I find the name "phaseless" confusing. IIUC,
these modules are not special because they have no phase, bu
t; >
> > =[ One Commit ]=
> > Directory summary:
> > 100.0% collects/meta/
> >
> > ~~
> >
> > 117c81e Vincent St-Amour 2013-02-06 17:22
> > :
> > | Increase timeout for TR random testing.
> > :
>
In all the cases I've tried, `module->language-info' returns `#f' when
passed a submodule path. Is that the intended behavior? If so, is there
a way to know which language a submodule is written in?
I've observed the same thing with `module-compiled-language-info'.
An example program is below.
V
As you mention, the OC package doesn't touch any collect except its own,
so I don't know what's going on.
Neil, can you reproduce this with other packages, or is this OC-specific?
Also, does OC work properly now?
Vincent
At Fri, 1 Feb 2013 06:19:23 -0700,
Jay McCarthy wrote:
>
> I think Vince
At Thu, 17 Jan 2013 13:57:51 -0500,
Ryan Culpepper wrote:
> - define-inline (b715a6fe)
* Added `define-inline' which defines functions that are guaranteed to
be inlined.
Vincent
_
Racket Developers list:
http://lists.racket-lang.org/dev
At Thu, 17 Jan 2013 13:46:37 -0500,
Ryan Culpepper wrote:
> * Sam Tobin-Hochstadt ,
> Vincent St-Amour
>- Match Tests
>- Typed Racket Tests
Both done.
>- Typed Racket Updates: update HISTORY
Pushed. Commit e763d1e1ae7cfe04d0fff173292340b6fd6c
This looks like an instance of the problem Neil reported on Monday.
I'll discuss Neil's solution with Sam.
Vincent
At Thu, 3 Jan 2013 18:47:56 +0100,
Jens Axel Søgaard wrote:
>
> Ignore the previous example. Here is the example again, now
> with correct usage of case-lambda. The for/sum proble
At Thu, 03 Jan 2013 21:09:52 -0700,
Neil Toronto wrote:
>
> I thought it would be helpful to find the most precise types possible
> for numeric functions. I wrote a program that infers them using a few
> thousand representative argument values, which have been chosen to
> exhibit underflow, ove
At Wed, 02 Jan 2013 16:57:39 -0700,
Neil Toronto wrote:
>
> On 01/02/2013 02:51 PM, Vincent St-Amour wrote:
> > In your experience, have these types caused you trouble other than when
> > you went looking for them specifically?
>
> Not that I recall. If I stick to
At Wed, 02 Jan 2013 12:39:21 -0700,
Neil Toronto wrote:
> > Interesting. My extremely limited experience -- and Shriram's --
> > suggests an eternal struggle with the numerical tower for 'beginners'
> > like myself.
>
> This is my experience as well.
>
> One place this bit me pretty early was get
At Mon, 31 Dec 2012 13:27:50 -0700,
Neil Toronto wrote:
> 1. Allow submodules to extend the reader.
Would using `#lang typed/racket/no-check' instead of `#lang racket' for
the top-level module work? It extends the reader and provides TR's
annotated forms, but otherwise counts as an untyped langu
At Thu, 27 Dec 2012 19:21:53 -0600,
Robby Findler wrote:
> OC could suggest moving heavily called functions across boundaries, that'd
> be cool.
That sounds interesting, and would be a good use of profiling
information. Added to my to-do list.
Thanks for the suggestion!
Vincent
_
At Mon, 17 Dec 2012 15:00:04 -0500,
stamo...@racket-lang.org wrote:
> b715a6f Vincent St-Amour 2012-12-14 11:39
> :
> | Add define-inline.
> |
> | Drop-in replacement for define that guarantees inlining.
> :
> M collects/meta/props | 2 ++
&g
At Thu, 13 Dec 2012 14:51:42 -0500,
Eli Barzilay wrote:
> A few minutes ago, Jay McCarthy wrote:
> > I agree with Eli. first is not car and shouldn't be treated as it.
> >
> > car : (Cons a b) -> a
> > first : (List a) -> a
>
> Right -- it's a different type, and the `list?' check adds a cost.
>
I just got tripped up, again, trying to traverse a list with `first' and
`rest' in a `racket/base' file. `first' and `rest' are only available in
`racket' and `racket/list', but not in `racket/base'.
If we want to encourage use of `first' and `rest' over `car' and `cdr'
and of `racket/base' when p
At Thu, 06 Dec 2012 16:27:20 -0700,
Neil Toronto wrote:
>
> On 12/06/2012 04:12 PM, stamo...@racket-lang.org wrote:
> > cc8bd4f Vincent St-Amour 2012-12-06 11:59
> > :
> > | Make srclocs serializable.
> > :
> >M collects/racket/private/serialize.rkt
Would it make sense to make this available in the `data' collection?
I'm sure it could be useful beyond syntax coloring.
Vincent
At Mon, 19 Nov 2012 23:07:35 -0500,
d...@racket-lang.org wrote:
>
> dyoo has updated `master' from 06db2f9a74 to 3f54afb9fd.
> http://git.racket-lang.org/plt/06db2
Providing `zip' is still useful IMO, both for people who don't know /
remember that trick and as a shorthand.
Vincent
At Fri, 9 Nov 2012 07:34:35 -0500 (EST),
J. Ian Johnson wrote:
>
> [forgot reply all]
> zip is unnecessary because of n-ary map.
> (zip l0 l1) = (map list l0 l1)
> -Ian
> -
g new? Otherwise, I'm not sure that any of
> these should be in the release announcement, unless maybe there's something
> I'm missing about the changes?
>
> Robby
>
> On Sunday, October 28, 2012, Vincent St-Amour wrote:
>
> > At Wed, 24 Oct 201
At Wed, 24 Oct 2012 20:29:43 -0400,
Ryan Culpepper wrote:
> stamourv:
> - scheme language deprecation notice (68260a6c86)
> - compat: packages, mutable lists (800a328fe6)
> - NaN included in all float types (a6d5a98b61)
* The `#lang scheme' language is deprecated. `#lang racket' should be
At Mon, 22 Oct 2012 18:11:22 -0400,
Ryan Culpepper wrote:
> * Sam Tobin-Hochstadt ,
> Vincent St-Amour
>- Match Tests
>- Typed Racket Tests
All passed.
Insert large letters is currently broken, though. Sam's on it.
>- Typed Racket Updates: update HISTORY
At Sat, 22 Sep 2012 10:52:49 -0400,
Eli Barzilay wrote:
>
> A few minutes ago, Matthias Felleisen wrote:
> >
> > I consider this problem distinct from Vincent's.
>
> Yes, the problem is separate (hence moving the discussion) -- it's the
> feature that he mentioned (being able to hide types) tha
At Sun, 16 Sep 2012 17:10:01 -0500,
Matthias Felleisen wrote:
> Suppose we had started Racket long ago and maintained it until
> now. Then we'd be looking at 8bit, 16, 32, and 64 precision. In some N
> years from now, we may need 128. (Actually there were machines in the
> past that did, but never
At Fri, 14 Sep 2012 23:45:43 -0500,
Robby Findler wrote:
> The original message in this thread suggests that there is a type
> Single-Flonum and that it is making Neil wrangle his code to be
> careful about it.
Right, TR supports `Single-Flonum's, but not `f32vector's.
Part of the complexity in N
At Fri, 14 Sep 2012 15:39:22 -0700,
John Clements wrote:
> I used the optimization coach for the first time today. First, a
> suggestion. I wrestled with it for about five minutes before I realized
> that it applied only to programs written in TR.
OC works on programs in any language, but in untyp
Single-precision float support used to be enabled via a configure
option, which meant that some Racket installations would support them,
and some would not.
Since zo files are meant to be portable, they could not contain
single-precision floats. So, compilation would promote single literals
to dou
>
> Would you need a "and is not a substruct?" predicate to make such things work?
>
> Robby
>
> On Mon, Aug 27, 2012 at 10:11 AM, Vincent St-Amour
> wrote:
> > TR's complex number optimizations eliminate repeated boxing and unboxing
> > in cha
TR's complex number optimizations eliminate repeated boxing and unboxing
in chains of operations that each consume and produce complex numbers.
Similar optimizations for structs would eliminate structs for
intermediate results in chains of operations that each consume and
produce that same (single
At Thu, 02 Aug 2012 11:28:56 -0400,
Ryan Culpepper wrote:
>
> On 08/02/2012 11:16 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 bas
At Tue, 31 Jul 2012 13:04:40 -0600,
Matthew Flatt wrote:
>
> At Tue, 31 Jul 2012 14:08:16 -0400, Vincent St-Amour wrote:
> > Mutable pair functions are in `racket/base', I didn't touch these and am
> > not planning to. Mutable list functions, though, I moved
At Tue, 31 Jul 2012 14:36:06 -0400,
Matthias Felleisen wrote:
>
> On Jul 31, 2012, at 1:31 PM, Neil Toronto wrote:
>
> > To reiterate after my absence: I won't write a typed math/vector
> > until using its exports in Typed Racket wouldn't be a huge friggin'
> > PITA.
>
> Let me rephrase this eve
At Tue, 31 Jul 2012 07:42:53 -0600,
Matthew Flatt wrote:
>
> At Mon, 30 Jul 2012 19:45:07 -0400, Vincent St-Amour wrote:
> > At Mon, 30 Jul 2012 14:52:06 -0600,
> > Matthew Flatt wrote:
> > > If we really want to have two names for these things --- the
>
At Tue, 31 Jul 2012 09:26:56 -0700,
Sam Tobin-Hochstadt wrote:
>
> 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
1 - 100 of 210 matches
Mail list logo
