[racket-dev] cross-phase syntax constants

I'd like to write a program basically like this: #lang racket/load (module m1 racket (define l (list #'l)) (provide l)) (module m2 racket (require (for-syntax 'm1)) (define-syntax (mac stx) #`(module* sub #f (length (list #,(car l) (provide mac)) (module m3 racket (r

[racket-dev] A very listy Typed Racket Integer

I just found this today: #lang typed/racket (define: b : (Boxof Any) (box 4)) (define-predicate boxof-integer? (Boxof Integer)) (define (set-b-box! v) (set-box! b v)) (: a-very-listy-integer (-> Integer)) (define (a-very-listy-integer) (cond [(boxof-integer? b) (set-b-box! '(1 2 3))

Re: [racket-dev] A very listy Typed Racket Integer

On Jul 5, 2012 8:50 PM, "Neil Toronto" wrote: > > I just found this today: > > > #lang typed/racket > > (define: b : (Boxof Any) (box 4)) > > (define-predicate boxof-integer? (Boxof Integer)) This is the bug -- there's no way to write the boxof-integer? predicate, and define- predicate shouldn't