[racket-users] Error building racket BC snapshot from source

2020-04-18 Thread bedeke
Hello, I was trying to build racket snapshot using the using the files on the utah server[1]. Afterwards I basically do make && make DESTDIR="${pkgdir}" install This is part of a PKGBUILD script I have been using reliably on arch for the last few years. However somewhere around the beginning of

[racket-users] type-checking error with immutable vectors in for loop

2019-11-25 Thread bedeke
Hello, the following doesn't typecheck. Is it a bug? Should I avoid Immutable-Vectors? #lang typed/racket/base ;DrRacket, version 7.5.0.3 [3m]. (require racket/sequence) (define-type M (Immutable-Vectorof Number)) (define s (in-list (ann (list (vector-immutable 1 2 3) (

Re: [racket-users] polymorphic datastructures in typed/racket

2019-11-18 Thread bedeke
;> > >>> Third, your version with structs can't work because you can't tell > >>> what type a function expects -- that information is not there at > >>> runtime. > >> > >> > >> If there is a contract assigned to a func

[racket-users] Re: polymorphic datastructures in typed/racket

2019-11-17 Thread bedeke
Hi, I managed to do the second part using prefab structures, but then I can't be sure it was created with the right constructor. Since it seems not doable to get this working with classes I will go back to untyped code. On Wednesday, 6 November 2019 20:51:39 UTC+1, bedeke wrote: >

[racket-users] polymorphic datastructures in typed/racket

2019-11-06 Thread bedeke
Hello, I was trying to type some polymorphic classes but I got stuck early on making a polymorphic subclass #lang typed/racket/base ;*1* (require typed/racket/class) (define-type (C-class A)(Class [init-field [x A]])) (define C1% (class object% #:∀ (A) (init-field [x : A]) (super

Re: [racket-users] Re: [standard-fish] Summer competiton 2019

2019-08-14 Thread bedeke
A cap for an Escher-like egg-face. long live the plot library. code at http://pasterack.org/pastes/39958 B. -- 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

Re: [racket-users] out of memory with streams

2019-03-12 Thread bedeke
On Tuesday, 12 March 2019 19:21:12 UTC+1, Ben Greenman wrote: > > You can also use sequences: > > #lang racket/base > (require racket/sequence) > > (sequence-ref (in-producer (let ([i 0]) (lambda () (begin0 i (set! i > (+ i 1)) > 2000) > (sequence-ref (in-naturals) >

Re: [racket-users] out of memory with streams

2019-03-12 Thread bedeke
On Tuesday, 12 March 2019 16:06:59 UTC+1, Matthias Felleisen wrote: > > > > > On Mar 12, 2019, at 10:48 AM, bedeke > > wrote: > > > > > > Sorry for not being clear. > > I knew that increasing the memory limit could make this run without > pr

Re: [racket-users] out of memory with streams

2019-03-12 Thread bedeke
On Tuesday, 12 March 2019 14:50:38 UTC+1, Matthias Felleisen wrote: > > > > On Mar 12, 2019, at 3:10 AM, bedeke > > wrote: > > Hello, > > when running any of the following the program runs out of memory: > > #lang racket/base > (require racket/stream) >

[racket-users] out of memory with streams

2019-03-12 Thread bedeke
Hello, when running any of the following the program runs out of memory: #lang racket/base (require racket/stream) (stream-ref (let ([i 0])(stream-cons i (let loop ()(set! i (+ i 1))(stream-cons i (loop) 2000) (stream-ref (for/stream ([i (in-naturals)]) i) 2000