This works though:
#lang typed/racket
(require mzlib/etc)
(define-type NDigit (U 0 1 2 3 4 5 6 7 8 9))
(define-type SDigit (U 'one 'two 'three 'four 'five 'six 'seven 'eight 'nine))
(: f (- NDigit SDigit))
(define (f i)
(evcase i
[(ann 0 0) (displayln i) 'two]
[(ann
On 2015-05-08 17:26:05 -0400, Alexander D. Knauth wrote:
I get this strange error message:
. . ../../../../../Applications/Racket/April-24/Racket
v6.2.0.2/collects/racket/contract/private/blame.rkt:143:0: x: broke its
contract
promised: #f
produced: 3
in: #f
contract from:
On 2015-05-11 14:33:51 -0400, Benjamin Greenman wrote:
This program gives a confusing error message. Does anyone know why the
xs in the body doesn't have type (List Foo)?
It's because the type `Foo` is not defined, so it cannot have a sensible
representation. Erroneous types like this
On 2015-05-12 00:15:45 -0400, Stephen Chang wrote:
I seem to recall that Racket used to come with a combinator parser
library. It's been removed but I don't remember why but maybe that
could be an indication that it's not a good idea?
It was removed due to bitrot and to reduce the size of the
On 2015-06-04 18:39:39 -0500, Vincent St-Amour wrote:
(fifth RacketCon) will be held on September 27th in St. Louis.
Like last year, we are pleased to be co-located with Strange Loop [3].
BTW, Strange Loop's registration[1] opens next week on June 11 for anyone who
is considering going to both
On 2015-06-12 17:30:42 -0700, 'John Clements' via users-redirect wrote:
(define-type (HuffJsexpr T)
(U T (HashTable Symbol HuffJsexpr)))
The variant that Alex mentioned should work.
I think the only restrictions on recursive types that TR enforces are that it
has to be (A) productive, in
On 2015-06-01 12:50:33 -0700, 'John Clements' via users-redirect wrote:
Contract error: expected “text.rkt”, got #ClassInfo
from contract on gather-grades, with contract (“text.rkt” - boolean?)
… In other words, the “ClassInfo?” predicate had mysteriously been replaced
by one that checked
On 2015-05-21 15:36:56 -0700, Vishesh Yadav wrote:
I'm working on racket web server to implement a basic web app. I found myself
doing lots of low level stuff like cookie handling, session management etc
almost from scratch. I was thinking to abstract all these stuff into some
small library
Hi all,
For the Ubuntu users here, I've updated the Racket PPA for 6.2:
https://launchpad.net/~plt/+archive/ubuntu/racket
I've tested it only on Vivid, so let me know if you find any issues.
And as usual thanks to the Debian maintainers who did 99% of the
actual work for this.
Cheers,
Asumu
Hi Alexey,
On 2015-10-22 10:08:52 +0200, Alexey Cherkaev wrote:
>Is there anybody who has done something similar in Racket for other C
>libraries? And who will be interested in creating the wrapper for
>Sundials? (PS. I don’t feel my expertise are up to scratch to tackle it on
>my
Hi all,
The (fifth RacketCon) videos are now all up! You can view them all using this
playlist:
https://www.youtube.com/playlist?list=PLXr4KViVC0qJAsNuDeQzhFDjMK1gEdls8
They are also linked from the program on http://con.racket-lang.org
;;;
Let me know if you notice any issues with the
On 2015-07-08 12:06:53 -0400, Neil Toronto wrote:
I'm mulling over the design of functions that return the pieces of a plot as
picts so you can superimpose and append them any way you like.
Ooh, this sounds really nice. I recently wanted to use plot for a talk-related
thing, but one issue was I
Hi Konrad,
On 2015-09-01 20:42:42 +0200, Konrad Hinsen wrote:
> Thanks for the reference, but my interpretation of this is different. I
> don't care about eq?, nor about testing how objects were created. I want
> comparison by equal? by recursive application to the fields - just as for
>
On 2015-09-06 20:41:18 -0500, Robby Findler wrote:
> Some suggestions about the method you linked to:
>
> - Don't create the brush inside on-paint (use the brush-list or stick
> it in a field).
>
> - Don't assume that the width of "a" is the same as the other widths
> (it isn't in common racket
On 2015-09-02 15:35:25 -0700, Jack Firth wrote:
> I do a lot of Racket development in Docker, and it's a pretty big pain.
> There's a handful of images on Docker Hub but they're pretty unmaintained,
> usually lag behind a version or two, tend to be built off an unnecessarily
> large base image
On 2015-09-02 08:41:21 +0200, Konrad Hinsen wrote:
> That would be great, but if that's not possible, the next-best option would
> be to document the restriction.
I now have a pull request that should address this:
https://github.com/plt/racket/pull/1044
I've only found one issue with this so
Hi all,
Part 2 of the RacketCon live stream will be available at 2:00PM Central Time
here:
https://plus.google.com/u/0/events/crsu3iegmu73htksd9l6l8pfek8
(we should have better audio for part 2 if all goes well)
I forgot to announce Part 1 on the mailing list, but you can still watch it
On 2015-09-27 14:34:37 -0400, Asumu Takikawa wrote:
> Part 2 of the RacketCon live stream will be available at 2:00PM Central Time
> here:
>
> https://plus.google.com/u/0/events/crsu3iegmu73htksd9l6l8pfek8
Sorry, I sent out the wrong link. The right link is here:
https://plus.go
Hi all,
Is it possible to make a variant of this program work or is this a top-level
hopelessness issue?
#lang racket/load
(define-syntax (m stx)
(define x (car (generate-temporaries '(1
(syntax-case stx ()
[(_ lib name)
#`(begin (require (only-in lib [name #,x]))
Hi all,
For people who use Ubuntu, the PPA for Racket is now updated to v6.3:
https://launchpad.net/~plt/+archive/ubuntu/racket
I've only tested it on Wily. Let me know if you find any problems.
Cheers,
Asumu
--
You received this message because you are subscribed to the Google Groups
Hi Héctor,
On 2015-12-03 18:22:01 -0800, Héctor Mc wrote:
> I'm trying execute a web application in background or (like daemon ej.
> apache/httpd) in this way racket -t webapp.rkt or racket -t webapp.rkt & ,
> but none of them work.
Both of these should work, but it depends on how you have
On 2015-12-05 09:25:59 -0800, brendan wrote:
> Thanks Asumu. Yeah, I'm familiar with the binding concept.
Ah, my apologies for overexplaining then. :)
> I guess "free"
> means relative to some local expression context rather than in general, and
> that wasn't clear to me. But then a completely
On 2015-12-04 08:02:40 -0800, brendan wrote:
> ...Y'know, let me concentrated my obvious noobness in one post :) and ask a
> silly question: why is "free-identifier=?" so named? It compares identifier
> bindings, which obviously implies that the identifiers are not "free" at all.
> I only got the
On 2015-12-10 14:02:55 -0600, Vincent St-Amour wrote:
> My dream is that, instead, the Racket compiler could make its own
> analyses and transformations available as hooks, just as it makes other
> kinds of hooks available. :) Think of it as a "cp0 [1] as a library",
> that #langs and language
On 2015-11-20 16:02:32 +, Antonio Menezes Leitao wrote:
>That would be great!
>I don't mind testing it on a snapshot build.
Just so you know, the pre-release version of TR's struct should now support
this option:
On 2015-12-18 12:20:13 -0800, Matthew Butterick wrote:
> Third try: also tried scribble/comment-reader [2] but this doesn't work
> (apparently because `racketblock` knows about `code:comment` but `chunk` does
> not:
I think things like `code:comment` are intended to work, but don't because
On 2015-12-18 17:27:54 -0800, Sanjeev Sharma wrote:
> how can I get lists of identifiers im/exported when one uses
>
> all-defined-out
> all-from-out
>
> I can't yet make sense of regprov.rkt
Do you mean how can you tell what's exported given a particular module someone
has written? Or do you
On 2015-12-26 15:52:38 -0800, JCG wrote:
> 3) The end-product appears to be a 50%-performance hybrid due to boundary
> contracts, but ameliorated runtime-wise by utilizing the
> typed/racket/no-check language after it's all working in type checked mode.
If you're using Racket v6.3, another way
On 2015-11-30 02:38:41 -0800, Tim Brown wrote:
> > Pages in category "Racket"
> >
> > The following 900 pages are in this category, out of 900 total.
>
> Yay!
And Racket now has the most tasks completed:
http://rosettacode.org/wiki/RC_POP.OUT
Looking back, 2.5 years ago Racket was around
On 2015-11-30 06:55:44 -0800, brendan wrote:
> But I can’t figure out how such a thing can exist,
> because Racket always insists that any definitions I write must be inside a
> module, either implicitly via #lang, or explicitly. It seems like the only
> possible top-level form is a module form.
On 2015-11-19 09:11:08 +, Antonio Menezes Leitao wrote:
>So, my questions are:
>1. Are there any plans to support #:constructor-name in Typed Racket?
I haven't tried to implement support for it, but I can't think of anything off
the top of my head that would make it difficult. I
On 2015-11-20 16:02:32 +, Antonio Menezes Leitao wrote:
>That would be great!
>I don't mind testing it on a snapshot build.
I created an issue for it on the TR repo so you can follow that for progress:
https://github.com/racket/typed-racket/issues/253
Cheers,
Asumu
--
You
On 2016-01-05 14:39:17 -0500, 'John Clements' via Racket Users wrote:
> Asumu, does this make sense to you? Note that in particular, I think that a
> warning at the top of the pfds package wouldn’t have helped me; I think a
> warning at the top of each pfds page would make a lot more sense.
I'd
On 2016-06-12 18:47:09 -0400, Matthias Felleisen wrote:
> This is what you will see:
> Typed Racket has detected unreachable code: # (quote a)) …>
Would it be helpful if Typed Racket told DrRacket to show such warnings as
tooltips?
(or maybe we can get orange squiggles or something a la other
On 2016-06-01 21:30:59 +0200, Saša Janiška wrote:
> It would be also nice to use it for e.g. my wife’s presentations
> (medical field), but wonder how much are Slideshow presentations
> portable considering that I’m on Linux and at my wife’s working place
> they use some newer version of Windows
On 2016-02-12 09:47:44 -0500, Leif Andersen wrote:
> > If the intention wasn't to force programs written in racket to be open
> > source, then why wasn't an explicit exemption of the runtime libraries
> > made, like other projects have? (As stated, like it was done for e.g. GCC
> > and Java.)
>
Hi all,
The Racket PPA for Ubuntu has been updated to v6.4:
https://launchpad.net/~plt/+archive/ubuntu/racket
I've tested it on Wily. Let me know if you find any problems.
Cheers,
Asumu
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To
On 2016-01-28 15:19:12 -0500, Asumu Takikawa wrote:
> Welcome to Racket v6.4.0.4.
> -> (require redex)
> -> (define-language lc
> (e (e e)
> x
> (λ (x) e))
> (x variable-not-otherwise-mentioned)
> #:bindin
On 2015-11-06 13:11:24 -0500, 'William J. Bowman' via users-redirect wrote:
> I was under the impression that redex-match now matches up to
> alpha-equivalence. If so, then I would expect the result of this example from
> the docs to return #t, but it returns #f:
>
> ```
> Furthermore, the notion
Hi Gavin,
On 2016-02-03 11:37:39 -0800, Gavin McGimpsey wrote:
> I'd appreciate any feedback!
This is very nice and concise! Thanks for writing it.
If you do expand it, it might be worth mentioning that the macro stepper lets
you debug macros. And if you expand with info on `syntax-parse`, you
On 2016-02-18 00:06:56 -0800, Alexis King wrote:
> It seems that possibly Typed Racket’s identifiers somehow do something
> similar, though not quite the same? That is, they are provided with
> contracts when used in an untyped module but provided bare when used in
> another typed module? Could
On 2016-02-29 11:01:17 -0800, Nota Poin wrote:
> I'm not sure what the qualitative distinction is between contracts and Typed
> Racket. They seem like two syntaxes for what mostly amount to the same thing.
>
> [...]
>
> Is it that contracts are more general, not always necessarily contracts of
>
On 2016-02-29 17:24:26 +0800, simmone wrote:
> When I use at-exp to build my test data, I found it’ll eat prefix space, it’s
> a bug?
This behavior is intentional, but if you really need to preserve the spacing
you can use @|| to explicitly tell the @-exp reader to keep spaces.
(see very bottom
Whoops, sorry for cross-posting this to the wrong list. I meant to post it to
racket-dev.
Cheers,
Asumu
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to
Hi Axel,
On 2016-02-19 06:24:35 -0800, Axel Schnell wrote:
> I'm just experimenting with typed classes in the typed/racket language.In my
> first experiments I created a class called polynome% with a method derive.
> The result of this method is new instance of this class via (new this% ...).
>
On 2016-02-21 13:23:40 +0800, WarGrey Gyoudmon Ju wrote:
>(exn:break:hang-up) and (exn:break:terminate) are useful in server
>application, if I (typed/require) them in the a common rkt and this file
>is also (require)ed by scribble (which is untyped), then it will complains
>that
Hi Phil,
On 2016-03-10 22:46:14 -0800, phil jones wrote:
> Unfortunately it's preventing me from installing new packages with
>
> raco pkg install
Are you saying that running `raco pkg install` with any arguments causes this
issue? Or just with the package catalog?
If it's the latter, you can
On 2016-03-11 07:09:47 -0800, phil jones wrote:
> It's the one that comes as standard with Ubuntu 14.04 (LTS)
Just as an aside, there is a PPA for Ubuntu if you wanted to upgrade to a more
recent version:
https://launchpad.net/~plt/+archive/ubuntu/racket
14.04 should be supported.
Cheers,
Hi David,
On 2016-04-06 17:19:05 -0700, David Storrs wrote:
>Macros are one of the biggest features that people list as the advantages
>of LISP / Scheme, and I don't really understand them. I get the basics --
>they can create new code structures -- but not the implications What
Hi Rodrigo,
Sorry for the late response.
On 2016-02-24 17:22:11 -0800, Rodrigo Setti wrote:
> Naturally macros from typed/racket cannot be used by untyped code, so I was
> experimenting with some organization options to isolate the macros in an
> untyped environment... I thought about using
On 2016-04-01 11:32:51 -0400, Philippe Meunier wrote:
> In that discussion there is a link to a list of programs that Linux's PaX
> believes do not meet the W^X requirement:
> https://github.com/thestinger/paxd/blob/master/paxd.conf For your
> information, racket is on that list (I guess because
Hi all,
The Racket PPA for Ubuntu has been updated for v6.5:
https://launchpad.net/~plt/+archive/ubuntu/racket
As usual, let me know if you find any packaging bugs. Thanks to the Debian
folks for the base packaging.
Cheers,
Asumu
--
You received this message because you are subscribed to
On 2016-02-12 16:27:49 -0800, michael.ballantyne wrote:
> Does anyone know if that's a bug, or expected behavior?
Pretty sure this is a bug, and should be fixed now via
https://github.com/racket/racket/commit/25c9e9347a5060b0653986a65625378504815cad
Thanks for the report!
Cheers,
Asumu
--
Hi WarGrey,
(sorry for the delayed response)
On 2016-04-09 14:39:31 +0800, WarGrey Gyoudmon Ju wrote:
>So, is it safe to just ignore the non-paired value in instantiate.rkt?
This error is coming up likely due to some bug in the Typed Racket contract
generation code (which is what that
On 2016-04-18 03:47:45 +0800, WarGrey Gyoudmon Ju wrote:
>And here is another question. Developing GUI Application involves typed
>class system heavily, which makes the compiling time terribly long (if
>this is the root cause).
It's possible that typed classes are slowing down
Hi all,
The Ubuntu PPA package should now be updated for v6.6:
https://launchpad.net/~plt/+archive/ubuntu/racket
It is available for precise, trusty, wily, xenial, and yakkety.
Please do let me know if you find any issues.
Cheers,
Asumu
--
You received this message because you are
On 2017-01-30 11:36:41 -0500, Asumu Takikawa wrote:
> I'm not sure why, but v6.8 didn't build correctly for precise and trusty so
> for
> now the PPA just supports xenial, yakkety, and zesty.
Update: the precise and trusty builds for v6.8 should now work. (thanks to
Andrew Kent for th
Hi David,
On 2017-01-20 15:01:47 -0500, David Storrs wrote:
> I know that planet is no longer the preferred package repository. Is
> this still the correct documentation for how to publish modules?:
> https://docs.racket-lang.org/planet/Developing_Packages_for_PLaneT.html
The preferred system
On 2017-02-14 12:00:49 -0500, David Storrs wrote:
>I can't believe there isn't an easy way to do this that doesn't require
>DrRacket. If there are significant functions of a programming language
>that can only be accessed via an IDE then that is a major problem.
In addition to David
On 2016-09-03 20:53:59 +0200, Jens Axel Søgaard wrote:
> I took a quick look at the code of rsvg. It seems svg-bytes->pict does what
> you want? Asumu: can you confirm this
I think it should let you scale picts and have no pixelation. Like this:
#lang racket
(require pict rsvg)
On 2016-09-20 11:27:07 -0400, Ben Greenman wrote:
>Oh! Just found that common lisp used these for types:
>- s = short
>- f = single
>- d = double
>- l = long
I think it's more specifically an R6RS thing. Quoth the standard:
In systems with inexact number objects of varying
On 2016-09-20 11:32:35 -0400, Asumu Takikawa wrote:
> For example, an implementation with two internal representations may map
> short and single together and long and double together.
BTW, I think this is what Racket does. It just has single and double.
> 283403902385293s1
2.8
Hi folks,
I recently wrote a Racket package that lets you visualize profiler outputs
using flame graphs[1]. The package handles the plumbing of hooking up the
profiler to Brendan Gregg's perl script[2] which does the actual visualization
work.
Anyhow, you can find it here with some instructions
On 2016-11-05 06:14:34 -0700, Ken MacKenzie wrote:
> And particularly if you use emacs, what add ons or setup do you do for racket
> or scheme editing in general.
Since you're also a vim user, you may like evil-mode in emacs. It's a very good
vim emulation mode. I find that emacs+evil is a better
Hi Meino,
On 2016-10-23 11:09:48 +0200, meino.cra...@gmx.de wrote:
> It there any way to tell raco what kind
> of doc processing is wanted and what don't?
In addition to Daniel's answer, there is a temporary workaround you can do which
is to install a package with the --no-setup flag like this:
(adding the list back in, in case the info is helpful to others)
On 2016-10-18 17:38:27 +0200, meino.cra...@gmx.de wrote:
> I am a vim user by heart and have setup tslime and racket (cli) to
> work hand in hand. Are there better alternatives for vim?
The Racket Guide has a section with
On 2016-10-18 05:26:39 +0200, meino.cra...@gmx.de wrote:
> Is this the right place to post questions of a very beginner to racket
> programming
Welcome Meino! Yes, this is the right place.
Beginner questions are welcome too, but you may want to check the archives of
the list just in case your
Hi folks,
The Ubuntu PPA should now be updated for v6.7:
https://launchpad.net/~plt/+archive/ubuntu/racket
It should be available for precise, trusty, xenial, yakkety, and zesty though
I've only tested it on yakkety.
(sorry if you get this e-mail twice, the mailing list ate my first e-mail
On 2017-01-10 16:48:42 -0500, Sam Tobin-Hochstadt wrote:
> This doesn't mean that the IRC channel is going away, for anyone that
> likes it. That's also an important community resource, and a popular
> one, and it will be maintained.
BTW, if there's anyone who likes IRC and wants to chat on
On 2017-01-04 20:23:14 -0500, Leif Andersen wrote:
>If you run it, racket will segfault. Because typed racket thinks that the
>output of `foo` is safe (as it does typecheck), but the `require/typed` is
>incorrect, and apparently doesn't get the correct contract.
The problem is likely
On 2017-03-29 08:54:16 -0700, Raoul Duke wrote:
>Does/could the IDE hilight places based on this:
>
> [1]http://docs.racket-lang.org/ts-guide/more.html#%28part._when-annotations~3f%29
That's an interesting idea. Currently the only interaction that TR has with the
IDE is
making tooltips
Hi HiPhish,
This seems like a very cool project! As a long-time vanilla vim user, I'll have
to try neovim and the bindings out.
On 2017-09-11 13:20:11 -, hiph...@openmailbox.org wrote:
> - Why is the documentation not building? I can compile the scribble file
> normally, but running `raco
On 2017-08-24 10:17:07 +0300, John Berry wrote:
>The PPA seems to be only on 6.8.1, and 6.10 just came out. The PPA page on
>Launchpad says there hasn't been a new build submitted in 29 weeks.
Yes, sorry that's my fault for the delay. I do plan to update it, but I need to
set up the VM
On 2017-08-24 13:51:46 -0400, Asumu Takikawa wrote:
> I do plan to update it, but I need to set up the VM for it again and haven't
> found the time yet.
Update: I've sent off the package to the Launchpad build farm, but it looks
like it's being slow to get started on the build (or I did som
Hi all,
The Ubuntu PPA has been updated for v6.10. Sorry for the delay this time around
and also for skipping a release! The PPA is available here:
https://launchpad.net/~plt/+archive/ubuntu/racket
for trusty, xenial, and zesty.
The packaging repo (which tracks Debian's upstream repo) is
Hi folks,
The Racket PPA for Ubuntu has been updated to v6.12:
https://launchpad.net/~plt/+archive/ubuntu/racket
Apologies for the (massive) delay.
It should be available for trusty, xenial, artful, and bionic. I've tested it
with artful.
Please submit any bug reports to
Hi folks,
The Racket PPA is now updated for v7.1 (since about 5 days ago but I didn't
have time to test it until today):
https://launchpad.net/~plt/+archive/ubuntu/racket
Should be available on xenial, trusty, bionic, and cosmic.
Please report any issues to
On 2019-01-30 12:59:40 -0600, Vincent St-Amour wrote:
> Racket version 7.2 is now available from
For anyone using Ubuntu, the Racket PPA has been updated for 7.2 too:
https://launchpad.net/~plt/+archive/ubuntu/racket
It's available on cosmic (18.10), bionic (18.04), xenial (16.04), and trusty
On 2019-05-15 14:05:48 -0400, 'John Clements' via Racket Users wrote:
> Racket version 7.3 is now available from
For anyone using Ubuntu, the Racket PPA has been updated for 7.3 too:
https://launchpad.net/~plt/+archive/ubuntu/racket
It's available on disco (19.04), cosmic (18.10), bionic
On 2019-08-09 01:16:35 -0400, 'John Clements' via users-redirect wrote:
> Racket version 7.4 is now available from
For folks using Ubuntu, the PPA is now updated to 7.4 as well.
https://launchpad.net/~plt/+archive/ubuntu/racket
It supports disco (19.04), bionic (18.04), xenial (16.04), and
On 2019-11-20 02:11:57 -0500, 'John Clements' via Racket Users wrote:
> Racket version 7.5 is now available from
For anyone using Ubuntu, the PPA is now updated to v7.5 too.
https://launchpad.net/~plt/+archive/ubuntu/racket
It supports eoan (19.10), disco (19.04), bionic (18.04), xenial
On 2020-02-13 20:27:40 -0500, 'John Clements' via users-redirect wrote:
> Racket version 7.6 is now available from
The Ubuntu PPA was recently also updated to v7.6, sorry for the delayed
update this time.
Install instructions are on Launchpad as usual:
On 2020-04-14 15:53:09 -0700, unlimitedscolobb wrote:
>Turns out this file does not even exist on my machine, but
>/nix/store/za0k7s00bg3v5sasyqalv12ii7pxjbjn-racket-7.6/share/doc/index.html
>does! (mind the added share/)
>
>I'm running Racket 7.6 and I am on nixos-unstable
On 2020-04-16 05:19:26 -0700, unlimitedscolobb wrote:
>I started a discussion on NixOS Discourse here:
>
> https://discourse.nixos.org/t/racket-does-not-find-documentation-after-update/
>Would you mind submitting a PR from your `racket-enable-useprefix` branch?
>If you don't have
On 2020-05-02 15:02:57 -0400, 'John Clements' via Racket Users wrote:
> Racket version 7.7 is now available from
>
> https://racket-lang.org/
The Ubuntu PPA was also updated to v7.7. Install instructions are on
the Launchpad page as usual:
https://launchpad.net/~plt/+archive/ubuntu/racket
On 2020-08-03 09:35:16 -0400, 'John Clements' via Racket Users wrote:
> Racket version 7.8 is now available from
>
> https://racket-lang.org/
This is quite delayed, but the Ubuntu PPA has been updated to 7.8 as
well. Ubuntu version 20.10 (Groovy) is newly supported while 19.10
(Eoan) is
On 2020-11-14 02:58:44 -0800, hashim@gmail.com wrote:
> Any advice on how to make this work? Or whether to simply not do this in
> typed racket?
It's possible to do this in Typed Racket but it's just a bit more
cumbersome as you need to make the function type row-polymorphic. Here's
a
On 2020-11-09 10:35:45 -0800, Asumu Takikawa wrote:
> The Ubuntu PPA is now updated for version 7.9 as well, and available on
> current Ubuntu versions (see https://wiki.ubuntu.com/Releases):
New PPA packages are currently building & will be available soon with
the new version number:
On 2020-11-02 19:10:33 -0500, 'John Clements' via Racket Users wrote:
> Racket version 7.9 is now available from
>
> https://racket-lang.org/
The Ubuntu PPA is now updated for version 7.9 as well, and available on
current Ubuntu versions (see https://wiki.ubuntu.com/Releases):
On 2021-05-05 16:39:14 +, 'John Clements' via Racket Users wrote:
> Racket version 8.1 is now available from
>
> https://racket-lang.org/
The Ubuntu PPA is also now updated to v8.1 on all supported releases
(now includes 21.04):
https://launchpad.net/~plt/+archive/ubuntu/racket
Sorry
On 2021-02-13 21:17:26 -0500, 'John Clements' via Racket Users wrote:
> Racket version 8.0 is now available from
>
> https://racket-lang.org/
The Ubuntu PPA is now updated for version 8.0 as well, and available on
current Ubuntu versions (see https://wiki.ubuntu.com/Releases):
On 2021-02-18 21:44:30 -0800, Asumu Takikawa wrote:
> Due to changes in how the new CS compiler works, some files have been
> moved between the three .deb packages that are in the distribution.
It looks like this change broke package upgrades. I should be able to
fix the packages
On 2021-02-22 10:56:48 -0800, Asumu Takikawa wrote:
> It looks like this change broke package upgrades. I should be able to
> fix the packages later by adjusting the dependency flags.
I believe this issue with broken upgrades should be fixed now with
version 8.0+ppa1-6 of the package. If
On 2021-07-18 18:55:35 +, 'John Clements' via Racket Users wrote:
> Racket version 8.2 is now available from
The Ubuntu PPA is also now updated to v8.2 on all supported releases (groovy no
longer supported):
https://launchpad.net/~plt/+archive/ubuntu/racket
As usual please report bugs
On 2021-11-06 21:07:22 +, 'John Clements' via Racket Users wrote:
> Racket version 8.3 is now available from
>
> https://racket-lang.org/
v8.3 is also now available from the Ubuntu PPA:
https://launchpad.net/~plt/+archive/ubuntu/racket
This release also supports Ubuntu 21.10
95 matches
Mail list logo
