Make Typed Racket implementation structs authentic.

Author: samth

typed-racket-lib/typed-racket/rep/core-rep.rkt

@@ -73,6 +73,7 @@
          (begin (struct name ()
                   #:constructor-name mk
                   #:transparent
+                  #:authentic
                   #:property prop:custom-print-quotable 'never
                   extra ...
                   #:methods gen:custom-write

typed-racket-lib/typed-racket/rep/free-variance.rkt

@@ -39,13 +39,13 @@
                           variance:const
                           variance:dotted)
   (let ()
-    (define-struct Variance () #:transparent)
-    (define-struct (Covariant Variance) () #:transparent)
-    (define-struct (Contravariant Variance) () #:transparent)
-    (define-struct (Invariant Variance) () #:transparent)
-    (define-struct (Constant Variance) () #:transparent)
+    (define-struct Variance () #:transparent #:authentic)
+    (define-struct (Covariant Variance) () #:transparent #:authentic)
+    (define-struct (Contravariant Variance) () #:transparent #:authentic)
+    (define-struct (Invariant Variance) () #:transparent #:authentic)
+    (define-struct (Constant Variance) () #:transparent #:authentic)
     ;; not really a variance, but is disjoint with the others
-    (define-struct (Dotted Variance) () #:transparent)
+    (define-struct (Dotted Variance) () #:transparent #:authentic)
     (values Variance? (make-Covariant) (make-Contravariant) (make-Invariant) (make-Constant) (make-Dotted))))
 
 (define (variance:co? x) (eq? x variance:co))
@@ -71,9 +71,9 @@
 
 ;;All of these are used internally
 ;;Only combined-frees is used externally
-(struct combined-frees (table computed) #:transparent)
-(struct app-frees (name args) #:transparent)
-(struct remove-frees (inner name) #:transparent)
+(struct combined-frees (table computed) #:transparent #:authentic)
+(struct app-frees (name args) #:transparent #:authentic)
+(struct remove-frees (inner name) #:transparent #:authentic)
 
 
 ;; Base constructors

typed-racket-lib/typed-racket/rep/rep-utils.rkt

@@ -611,6 +611,7 @@
             #'(constr-provide nonconstr-provide)])]
         [struct-def #'(struct var.name parent ... (flds.ids ...)
                         maybe-transparent ...
+                        #:authentic
                         #:constructor-name constructor-name
                         #:property prop:uid uid-id
                         #:property prop:mask rep-mask-body