Cameron Moy

Parameterization for dependent function contracts

13

For some time now, `impersonate-procedure` and `chaperone-procedure` have supported installing a continuation mark during the dynamic extent of a wrapped procedure. While this facility is available for custom contracts, none...

Some arithmetic operators (like `+` and `*`) cause an error when given 0 arguments. ```rkt (+) ``` Gives: ``` match: no matching clause for '() location...: /home/camoy/wrk/soft-contract/soft-contract/parse/private.rkt:522:7 context...: .../private/runtime.rkt:82:34: fail-handler2403...

This unsafe program: ```rkt #lang racket/base (struct thing (value)) (define b (thing "")) (+ 1 (thing-value b)) ``` Doesn't give a good error message: ``` Found 1 possible error (1)...

number literal in for clause

2

```rkt (module data racket (provide (contract-out [fs (listof (-> integer? integer?))])) (define fs (for/list ([i 10]) add1))) (require 'data) (when (cons? fs) (define f (car fs)) (f "")) ``` This...

This program is problematic: ```rkt #lang racket/base (require soft-contract/fake-contract) (define ctc (case-> (-> any/c))) (define (foo) #t) (provide (contract-out (foo ctc))) ``` It produces: ```rkt provide/contract: contract violation expected: contract?...

```rkt #lang racket/base (require racket/contract) (provide (contract-out (f (-> any/c (vectorof any/c))))) (define (f x) x) ``` gives me the following error on dev-adi-thm ``` hash-ref: no value found for...

This hangs for me on `dev-adi-thm` (but works fine on `dev-adi`). ```rkt #lang racket/base (require racket/contract) (provide (contract-out (f (-> integer?)))) (define (f) (define (loop x) (if (< x 10)...

`splicing-parameterize` always yields `void`

1

**What version of Racket are you using?** e.g., 8.11.1 [cs] **What program did you run?** Please include a short example that triggers the bug Running at the top-level with `racket/splicing`...

SDL Binding Error

2

Using the SDL module fails with these messages on OSX Lion. ``` luajit[71964] : kCGErrorInvalidConnection: CGSGetCurrentCursorLocation: Invalid connection luajit[71964] : kCGErrorFailure: Set a breakpoint @ CGErrorBreakpoint() to catch errors as...

Some time ago I did a deep dive into the `racket/draw` contracts. Here is an observation that led me to some bugs: class contracts do not provide a guarantee on...