Re: [racket-users] testing for timeout in Rackunit?

2016-08-18 Thread Ben Greenman
Also try `call-with-limits` from racket/sandbox http://docs.racket-lang.org/reference/Sandboxed_Evaluation.html#%28def._%28%28lib._racket%2Fsandbox..rkt%29._call-with-limits%29%29 On Thu, Aug 18, 2016 at 6:37 PM, Matthias Felleisen wrote: > > Do you mean something like

Re: [racket-users] testing for timeout in Rackunit?

2016-08-18 Thread Matthias Felleisen
Do you mean something like this: (define time-limit .1) (define-syntax-rule (check-termination e) (check-false (false? (sync/timeout time-limit (thread (λ () (list e))) (check-termination (+ 1 1)) (check-termination #f) (check-termination (let loop () (loop))) — Matthias > On Aug

[racket-users] testing for timeout in Rackunit?

2016-08-18 Thread Mitchell Wand
Of course you can't test for non-termination, but is there a relatively simple way to write something like (check-doesnt-terminate-quickly ) which would fail if the thunk terminates within the time limit, and succeeds otherwise? This would be useful in testing expressions that are claimed

Re: [racket-users] values - should this work?

2016-08-18 Thread Sanjeev Sharma
very cool let-values is does what I need On Thursday, August 18, 2016 at 1:50:18 PM UTC-4, Jens Axel Søgaard wrote: > No, (list (values 1 2 3)) is not supposed to work. > Multiple values can be cumbersome to work with. > In this case you want: > > >     (call-with-values (λ () (values 1 2 3))

Re: [racket-users] values - should this work?

2016-08-18 Thread Jens Axel Søgaard
No, (list (values 1 2 3)) is not supposed to work. Multiple values can be cumbersome to work with. In this case you want: (call-with-values (λ () (values 1 2 3)) list) Yeah - not pretty. Other constructs to learn about: define-values match-values /Jens Axel 2016-08-18 19:36

[racket-users] values - should this work?

2016-08-18 Thread Sanjeev Sharma
(list(values 1 2 3)) result arity mismatch; expected number of values not received expected: 1 received: 3 values...: I've been under the impression this should be identical to (list 1 2 3) -- You received this message because you are subscribed to the Google Groups "Racket Users"

[racket-users] Fwd: [racket/racket] Request: IRacket (#1407)

2016-08-18 Thread 'John Clements' via Racket Users
Excited to try this out; Brian Granger is the only guy at Cal Poly with more github commits than me :). > Begin forwarded message: > > From: Ryan Culpepper > Subject: Re: [racket/racket] Request: IRacket (#1407) > Date: August 17, 2016 at 12:34:16 PM EDT > To: