Authentic structs for static contracts.

Author: samth

typed-racket-lib/typed-racket/static-contracts/combinators/any.rkt

@@ -27,6 +27,7 @@
 
 (struct any-combinator combinator ()
         #:transparent
+        #:authentic
         #:methods gen:sc
           [(define (sc-map v f) v)
            (define (sc-traverse v f) (void))

typed-racket-lib/typed-racket/static-contracts/combinators/case-lambda.rkt

@@ -24,6 +24,7 @@
 
 (struct case-combinator combinator ()
   #:transparent
+  #:authentic
   #:property prop:combinator-name "case->/sc"
   #:methods gen:sc
     [(define (sc-map v f)
@@ -38,6 +39,7 @@
 (struct arr-combinator combinator ()
   #:transparent
   #:property prop:combinator-name "arr/sc"
+  #:authentic
   #:methods gen:sc
     [(define (sc-map v f)
        (arr-combinator (arr-seq-sc-map f (combinator-args v))))
@@ -83,6 +85,7 @@
 
 
 (struct arr-seq (args rest range)
+   #:authentic
    #:transparent
    #:property prop:sequence
      (match-lambda

typed-racket-lib/typed-racket/static-contracts/combinators/control.rkt

@@ -15,6 +15,7 @@
  [prompt-tag/sc ((listof static-contract?) (or/c (listof static-contract?) #f) . -> . static-contract?)])
 
 (struct prompt-tag-combinator combinator ()
+  #:authentic
   #:transparent
   #:property prop:combinator-name "prompt-tag/sc"
   #:methods gen:sc
@@ -36,6 +37,7 @@
        (merge-restricts* 'chaperone (map f (pt-seq->list (combinator-args v)))))])
 
 (struct pt-seq (vals call-cc)
+  #:authentic
   #:transparent
   #:property prop:sequence
   (lambda (s)

typed-racket-lib/typed-racket/static-contracts/combinators/dep-function.rkt

@@ -21,6 +21,7 @@
                                 pre-deps
                                 rng
                                 rng-deps)
+  #:authentic
   #:transparent
   #:property prop:combinator-name "dep->/sc"
   #:methods gen:sc

typed-racket-lib/typed-racket/static-contracts/combinators/exist.rkt

@@ -16,6 +16,7 @@
 
 
 (struct exist-combinator combinator ()
+  #:authentic
   #:transparent
   #:methods gen:sc
   [(define (sc-map v f)

typed-racket-lib/typed-racket/static-contracts/combinators/function.rkt

@@ -23,6 +23,7 @@
                   static-contract?)])
 
 (struct function-combinator combinator (indices mand-kws opt-kws typed-side?)
+        #:authentic
         #:property prop:combinator-name "->/sc"
         #:methods gen:equal+hash [(define (equal-proc a b recur) (function-sc-equal? a b recur))
                                   (define (hash-proc v recur) (function-sc-hash v recur))

typed-racket-lib/typed-racket/static-contracts/combinators/name.rkt

@@ -92,6 +92,7 @@
              (list typed-sc untyped-sc both-sc)))
 
 (struct name-combinator combinator (gen-name)
+  #:authentic
   #:transparent
   #:property prop:combinator-name "name/sc"
   #:methods gen:sc

typed-racket-lib/typed-racket/static-contracts/combinators/none.rkt

@@ -23,6 +23,7 @@
       (display "#<none/sc>" port)))
 
 (struct none-combinator combinator ()
+        #:authentic
         #:transparent
         #:methods gen:sc
           [(define (sc-map v f) v)

typed-racket-lib/typed-racket/static-contracts/combinators/object.rkt

@@ -13,12 +13,13 @@
                        typed-racket/utils/opaque-object)
          (for-syntax racket/base syntax/parse))
 
-(struct member-spec (modifier id sc) #:transparent)
+(struct member-spec (modifier id sc) #:authentic #:transparent)
 
 (define field-modifiers '(field init init-field inherit-field))
 (define method-modifiers '(method inherit super inner override augment augride))
 
 (struct object-combinator combinator (opaque?)
+  #:authentic
   #:transparent
   #:property prop:combinator-name "object/sc"
   #:methods gen:sc
@@ -34,6 +35,7 @@
        (merge-restricts* 'impersonator (map f (member-seq->list (combinator-args v)))))])
 
 (struct class-combinator combinator (opaque absents)
+  #:authentic
   #:transparent
   #:property prop:combinator-name "class/sc"
   #:methods gen:sc
@@ -52,6 +54,7 @@
        (merge-restricts* 'impersonator (map f (member-seq->list (combinator-args v)))))])
 
 (struct instanceof-combinator combinator ()
+  #:authentic
   #:transparent
   #:property prop:combinator-name "instanceof/sc"
   #:methods gen:sc
@@ -78,8 +81,9 @@
      (filter-map member-spec-sc vals)]))
 
 (struct member-seq (vals)
-   #:transparent
-   #:property prop:sequence member-seq->list)
+  #:authentic
+  #:transparent
+  #:property prop:sequence member-seq->list)
 
 (define (member-seq-sc-map f seq)
   (match seq

typed-racket-lib/typed-racket/static-contracts/combinators/parametric.rkt

@@ -31,6 +31,7 @@
  [sealing-var/sc (identifier? . -> . static-contract?)])
 
 (struct parametric-combinator combinator (vars)
+  #:authentic
   #:transparent
   #:property prop:combinator-name "parametric->/sc"
   #:methods gen:sc
@@ -66,6 +67,7 @@
 
 ;; combinator for sealing-> contracts for row polymorphism
 (struct sealing-combinator combinator (vars members)
+  #:authentic
   #:transparent
   #:property prop:combinator-name "sealing->/sc"
   #:methods gen:sc