Remove unnecessary prefab struct declaration
This commit is contained in:
parent
bb2ecbf8cb
commit
541966daaa
|
@ -19,8 +19,6 @@
|
|||
(prefix-in t: "../base-env/base-types-extra.rkt")
|
||||
(for-template (prefix-in t: "../base-env/base-types-extra.rkt")))
|
||||
|
||||
(define-struct poly (name vars) #:prefab)
|
||||
|
||||
(provide/cond-contract ;; Parse the given syntax as a type
|
||||
[parse-type (syntax? . c:-> . Type/c)]
|
||||
;; Parse the given identifier using the lexical
|
||||
|
|
Loading…
Reference in New Issue
Block a user