On Fri, Jul 6, 2012 at 11:59 AM, Neil Toronto neil.toro...@gmail.com wrote:
On 07/05/2012 05:54 PM, Sam Tobin-Hochstadt wrote:
On Jul 5, 2012 8:50 PM, Neil Toronto neil.toro...@gmail.com
mailto:neil.toro...@gmail.com wrote:
(define-predicate boxof-integer? (Boxof Integer))
This is the
On 07/06/2012 09:11 AM, Sam Tobin-Hochstadt wrote:
On Fri, Jul 6, 2012 at 11:59 AM, Neil Toronto neil.toro...@gmail.com wrote:
Anticipating a bug fix, I've started converting my recent TR code so that it
doesn't define predicates for mutable container types. Instead of using
`define-predicate',
On Jul 5, 2012 8:50 PM, Neil Toronto neil.toro...@gmail.com 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-
3 matches
Mail list logo