From a4d61017d84e201f3aeb4113d5962eeb6feb18d3 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Tue, 8 Jun 2021 09:26:35 +0200
Subject: [PATCH] Repair error wrt `float` struct test

---
 implementations/racket/preserves/preserves/order.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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]