Le vendredi 5 mai 2017 02:30:50 UTC+2, Ben Greenman a écrit :
> With a `define/contract-out` macro?
>
> But I'd rather not have a macro like this in the contract library.
> I prefer reading code with all the "provide" statements at the top of the
> file.
Since provide transformers are executed i
On Thu, May 4, 2017 at 8:23 PM, Dupéron Georges wrote:
> In these cases, instead of turning off the contract checks altogether, it
> would be nice to have a way to disable the define/contract and turn it into
> a contract-out, using a single parameter (perhaps a per-file syntax
> parameter?).
>
>
Le jeudi 4 mai 2017 03:00:10 UTC+2, Daniel Prager a écrit :
> On the subject of turning down contracts for performance and then being
> bitten, believe me, I hear you: my preference is to have the maximum checking
> I can afford. But when I'm really writing stringent post-conditions (or
> invari
I forgot to mention that for some reason, using the builtin foldl doesn't work
but if I define it myself separately, then it works.
(define (foldl proc init lst)
(cond
((null? lst) init)
(else (foldl proc (proc (car lst) init) (cdr lst)
--
You received this message becaus
Thanks Matthias. I should have read the error message more carefully.
For anyone who is interested, it has nothing to do with cons or mcons or
quotes. There was a mistake in interpreter.rkt.
If you'd like to try finding it yourself, then stop reading.
...
...
...
...
...
...
...
...
...
...
Her
Please read
The Contract Guide at
https://docs.racket-lang.org/guide/contracts.html?q=contracts
It has many examples and gradually builds intuition. The ideal PR would be to
specific chapters there.
> On May 4, 2017, at 12:38 AM, Daniel Prager wrote:
>
> Using Ben's left-pad example
On Wednesday, May 3, 2017 at 3:04:20 PM UTC-7, Ryan Culpepper wrote:
> On 5/3/17 10:41 PM, Eric Griffis wrote:
> > Hello,
> >
> > I'm having trouble catching "terminate break" exceptions when combining
> > break-thread with thread-wait.
> >
> > MWE 1:
> >
> > (with-handlers ([exn:break:terminate
7 matches
Mail list logo
