[racket] Weird class/c behavior

I am using class/c and am seeing behavior that I do not understand. I have two different contracts, one which has an extra contract on an unused initializer argument. The interesting behavior is that the two different contracts blame different sides for the same error. Can someone explain why this

Re: [racket] Stepper and application in BSL

On Aug 29, 2010, at 7:11 PM, Justin Zamora wrote: > I put the following in my definitions window (Beginning Student Language). > > (define (f x) > (+ x 1)) > > (+ (f 3) 1) > > When I open the Stepper, (f 3) is highlighted in green, as expected. > If I click "Step >", the expression changes to

[racket] Stepper and application in BSL

I put the following in my definitions window (Beginning Student Language). (define (f x) (+ x 1)) (+ (f 3) 1) When I open the Stepper, (f 3) is highlighted in green, as expected. If I click "Step >", the expression changes to (+ (+ 3 1) 1), as expected (it stepped into the function). However,

[racket] Automating a program run in ACL2

Hey all. I am required to periodically run a ACL2 program provided to me. Currently, I open it up in DrRacket and just hit the run button, but I was hoping there was some method of automating this process. (It's terribly slow) I attempted to run the file through racket, but I get: "default-load-

[racket] missing error location info in racket

In Racket 5.0.1, with, say, f.rkt containing: #lang racket (provide bar) (define (foo x) x) (define (bar) (foo)) requiring f.rkt at racket's textual REPL via `(require (file "f.rkt"))' works fine (as expected) and calling `(bar)' gives an error (again as expected); but the error mess

[racket] A (probably premature) concern about signatures

I was playing with the signatures that Matthias mentioned as being in the pipeline for future inclusion, and just wanted to start a discussion before they get locked in. In full Racket, there's a form called define/contract that works like this: #lang racket (define/contract (distance x1 y1 x2 y2