From 478425520f98d8608dbe2972a1151aa6ab63c73c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 17 Oct 2010 19:24:40 -0700 Subject: [PATCH] fix quotability annotation on HtDP-language structs Merge to 5.0.2 (cherry picked from commit 9f959f247ee12fabcab48796e5340198bbb9755e) --- collects/lang/private/teach.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/lang/private/teach.rkt b/collects/lang/private/teach.rkt index ae4150420c..d5febf48df 100644 --- a/collects/lang/private/teach.rkt +++ b/collects/lang/private/teach.rkt @@ -824,6 +824,8 @@ #,@(map-with-index (lambda (i _) #`(recur (raw-generic-access r #,i))) fields)))) + (cons prop:custom-print-quotable + 'never) (cons prop:custom-write ;; Need a transparent-like printer, but hide auto field. ;; This simplest way to do that is to create an instance