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
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
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
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))
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
(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"
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:
7 matches
Mail list logo