diff --git a/collects/tests/xml/clark-tests/not-wf/sa/032.xml b/collects/tests/xml/clark-tests/not-wf/sa/032.xml deleted file mode 100644 index 75952017..00000000 --- a/collects/tests/xml/clark-tests/not-wf/sa/032.xml +++ /dev/null @@ -1 +0,0 @@ - diff --git a/collects/typed/net/cgi.rkt b/collects/typed/net/cgi.rkt index 364a4325..321e30bc 100644 --- a/collects/typed/net/cgi.rkt +++ b/collects/typed/net/cgi.rkt @@ -2,12 +2,6 @@ (require typed/private/utils) -(require-typed-struct cgi-error () #:extra-constructor-name make-cgi-error net/cgi) - -(require-typed-struct (incomplete-%-suffix cgi-error) ([chars : (Listof Char)]) #:extra-constructor-name make-incomplete-%-suffix net/cgi) -(require-typed-struct (invalid-%-suffix cgi-error) ([char : Char]) #:extra-constructor-name make-invalid-%-suffix net/cgi) - - (require/typed/provide net/cgi [get-bindings (-> (Listof (cons (U Symbol String) String)))] [get-bindings/post (-> (Listof (Pair (U Symbol String) String)))] @@ -22,9 +16,3 @@ [get-cgi-method (-> (U "GET" "POST"))] [string->html (String -> String)] [generate-link-text (String String -> String)]) - - -(provide - (struct-out cgi-error) - (struct-out incomplete-%-suffix) - (struct-out invalid-%-suffix))