[racket] How do I make TR refinements work?

[Neil Toronto]

When I run this code:

#lang typed/racket

(: ten? (Integer -> Boolean))
(define (ten? x)
  (= x 10))

(declare-refinement ten?)
(define-type Ten (Refinement ten?))


I get this error:

Type Checker: cannot declare refinement for non-predicate Nothing in: 
(Refinement ten?)

But the test in "refinement-even.rkt" uses `even?' to define a 
refinement type, so I must be missing something. What is it?

Neil ⊥
____________________
 Racket Users list:
 http://lists.racket-lang.org/users