From 601d60adc325910934b81f8d19fe37187ae3f186 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Tue, 8 Jun 2021 14:13:01 +0200
Subject: [PATCH] Adapt to new ty-field records

---
 syndicate/schema-compiler.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/syndicate/schema-compiler.rkt b/syndicate/schema-compiler.rkt
index 2efbfe1..9a6558e 100644
--- a/syndicate/schema-compiler.rkt
+++ b/syndicate/schema-compiler.rkt
@@ -84,7 +84,7 @@
     (define (top-pat top-name name p ty k-nonrecord)
       (let ((fields (match ty
                       [(ty-unit) '()]
-                      [(ty-record fields) (map escape (map car fields))]
+                      [(ty-record fields) (map escape (map ty-field-name fields))]
                       [_ #f])))
         (if (not fields)
             (k-nonrecord)