Hi everyone,
I have a strange example for you. The following code throws an error in
typed/racket 6.7:
> (define (list1) : (Listof (Setof Positive-Byte))
(list (set 2) (set 3 2)))
(apply set-union (list1))
Type Checker: Bad arguments to function in `apply':
Domain: (Setof e) (Setof e) *
A
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 t
Hello, is this normal?
I found my released package still does not work.
This is the bug I mentioned above that shown in 6.7(and also in 6.6).
http://pkg-build.racket-lang.org/server/built/fail/digimon.txt
If the distribution is built from source, that bug does not exist.
I am sure it used to be
Funny. I just used an example like this in Snapl ’17 to say “oh well, you will
get an error from the run-time system eventually and the guy who added types
gained nothing” . Dang optimizers.
> On Jan 4, 2017, at 8:23 PM, Leif Andersen wrote:
>
> Specifically, if you use a field inside of a
Specifically, if you use a field inside of a require/typed. Consider the
following code:
#lang racket
(module mod-a racket
(provide A%)
(define A%
(class object%
(super-new)
(field [state 0]
(module mod-b typed/racket
(require/typed (submod ".." mod-a)
I've pushed a change to avoid this warning.
At Wed, 4 Jan 2017 01:22:41 -0800 (PST), Lehi Toskin wrote:
> I've been encountering Gtk-WARNING's on some simple GUI code and it's not
> really making any sense to me. Here's the code:
>
> ;;;
> #lang racket/gui
>
> (define frame
> (new frame%
>
> On Jan 4, 2017, at 1:49 PM, Robby Findler wrote:
>
> Is changing the alphabet something that can be done post-facto with
> string replacements?
Could there be a more general list-of-digits->number that could work with any
base?
(list-of-digits->number (list 50 73) 90) ;=> 4573
Then using a
Yes, Robby, if the new base fits within the range allowed by number->string.
On Wed, Jan 4, 2017 at 1:49 PM, Robby Findler
wrote:
> Is changing the alphabet something that can be done post-facto with
> string replacements?
>
> Robby
>
>
> On Wed, Jan 4, 2017 at 12:46 PM, Deren Dohoda
> wrote:
>
Is changing the alphabet something that can be done post-facto with
string replacements?
Robby
On Wed, Jan 4, 2017 at 12:46 PM, Deren Dohoda wrote:
> Some food for thought on this topic, I use base conversion for all sorts of
> silly things. To this end I require a great deal of flexibility in
Some food for thought on this topic, I use base conversion for all sorts of
silly things. To this end I require a great deal of flexibility in
representation. When I wrote my continued-fractions package I included this
as a separate module. Here's an example:
Welcome to DrRacket, version 6.7 [3m].
Oh, thank you Andrew, you are making a great improvements.
Couple of days are not too long to wait.
On Wed, Jan 4, 2017 at 11:39 PM, Andrew Kent wrote:
> At a glance, I believe the bug you're noticing on the snapshot is one we
> also recently observed -- it is fixed in a PR that should be pushed
I'm still worried about bignums. So I borrowed the idea of Mathew of
splitting the number in 1/2/3 digits chucks, but I use fixnum chunks.
For each fixnum chunk I calculate the string representation as usual,
but as most of the calculations involve only fixnum, then It's x4
faster for bignums.
It'
At a glance, I believe the bug you're noticing on the snapshot is one we also
recently observed -- it is fixed in a PR that should be pushed in the next
couple of days (https://github.com/racket/typed-racket/pull/481).
Sorry for the trouble.
Best,
Andrew
On Wednesday, January 4, 2017 at 3:51:1
Hi Stephen,
It looks the same, although I didn't study it closely. I booked marked it for
later though, it looks like a good resource.
This is the C implementation I'd like to mimic, its at the end somewhere.
http://www.ross.net/crc/crcpaper.html
I think the link asumu provided will be enough
Hi, Stephen, I've already tried 12.28 and no luck. And at this time, that
link is dead. So, all snapshots are temporary testers.
hi Dupéron, For me on my computer I always build it from source, but I
never trace the date and commit.
Actually this is one of the major reason I gave up Haskell, Racke
I don't think the old "minor" versions are kept, only the last few as Stephen
pointed out.
As can be checked in the git log for
https://github.com/racket/racket/blame/master/pkgs/base/info.rkt, the version
number was bumped away from 6.7.0.3 in commit d7b18e7, so you could try
checking out the
there is an 'other available snapshots' at the bottom of the snapshots
screen
e.g.
https://www.cs.utah.edu/plt/snapshots/20161228-f039a4c/index.html
they have dates but I don't know what snapshot version numbers they
correspond to.
HTH
Stephen
On Wed, Jan 4, 2017 at 8:51 AM, WarGrey Gyoudmo
I've been encountering Gtk-WARNING's on some simple GUI code and it's not
really making any sense to me. Here's the code:
;;;
#lang racket/gui
(define frame
(new frame%
[label "foo"]
[width 500]
[height 500]))
(define lbox
(new list-box%
[parent frame]
[la
I cannot deploy my typed desktop application on Windows.
In the download home page, 6.7 does not work, and that bug seemed to be
solved (I started 6.7 from 6.7.0.3, do not know whether it was okay on
macOS).
The latest snapshot has a new bug shown both on macOS and Windows:
in-list: contract vio
19 matches
Mail list logo
