I'm seeing the following error message on HEAD (08dc0e10d934cb29b9830a94945c2e38c275a9d8):
application: procedure does not expect an argument with given keyword procedure: t->c/both given keyword: #:kind given arguments: Boolean #:kind 'impersonator #:seen (list (cons #(struct:#<syntax:/Users/dyoo/work/whalesong/whalesong/promise.rkt:13:20 MyPromise> (Boolean (-> g305) (U Sentinel g305))) #<syntax rec5>)) context...: /Users/dyoo/local/racket/collects/racket/private/kw.rkt:1255:14 /Users/dyoo/local/racket/collects/typed-racket/private/type-contract.rkt:428:16: for-loop parse-loop178 /Users/dyoo/local/racket/collects/racket/private/map.rkt:21:13: map parse-loop1254 /Users/dyoo/local/racket/collects/typed-racket/private/type-contract.rkt:215:13 /Users/dyoo/local/racket/collects/racket/private/map.rkt:21:13: map f902 /Users/dyoo/local/racket/collects/typed-racket/typecheck/provide-handling.rkt:54:2: mk16 /Users/dyoo/local/racket/collects/unstable/list.rkt:139:0: map/values /Users/dyoo/local/racket/collects/typed-racket/typecheck/provide-handling.rkt:55:4: mk-untyped-syntax /Users/dyoo/local/racket/collects/typed-racket/typecheck/provide-handling.rkt:54:2: mk16 /Users/dyoo/local/racket/collects/typed-racket/typecheck/provide-handling.rkt:143:2: for-loop /Users/dyoo/local/racket/collects/typed-racket/typecheck/provide-handling.rkt:49:0: generate-prov /Users/dyoo/local/racket/collects/typed-racket/typecheck/tc-toplevel.rkt:292:0: type-check success... _________________________ Racket Developers list: http://lists.racket-lang.org/dev