diff --git a/implementations/racket/preserves/preserves/order.rkt b/implementations/racket/preserves/preserves/order.rkt index da080c0..287a8ce 100644 --- a/implementations/racket/preserves/preserves/order.rkt +++ b/implementations/racket/preserves/preserves/order.rkt @@ -12,6 +12,7 @@ (require (for-syntax racket/base)) (require "record.rkt") (require "annotation.rkt") +(require "float.rkt") (require racket/set) (require racket/dict) (require data/order) @@ -23,7 +24,7 @@ (define (typecode v) (match v [(? boolean?) 0] - [(? single-flonum?) 1] + [(or (? float?) (? single-flonum?)) 1] [(? double-flonum?) 2] [(? integer? x) 3] [(? string?) 4]