Skip to content

Commit e7ee659

Browse files
Fix 1 occurrence of provide/contract-to-contract-out
The `provide/contract` form is a legacy form made obsolete by `contract-out`.
1 parent 0d6ae9a commit e7ee659

1 file changed

Lines changed: 13 additions & 38 deletions

File tree

scribble-lib/scribble/sigplan.rkt

Lines changed: 13 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -8,44 +8,19 @@
88
scribble/latex-properties
99
setup/collects)
1010

11-
(provide/contract
12-
[abstract
13-
(->* () () #:rest (listof pre-content?)
14-
block?)]
15-
[subtitle
16-
(->* () () #:rest (listof pre-content?)
17-
content?)]
18-
[authorinfo
19-
(-> pre-content? pre-content? pre-content?
20-
block?)]
21-
[conferenceinfo
22-
(-> pre-content? pre-content?
23-
block?)]
24-
[copyrightyear
25-
(->* () () #:rest (listof pre-content?)
26-
block?)]
27-
[copyrightdata
28-
(->* () () #:rest (listof pre-content?)
29-
block?)]
30-
[exclusive-license
31-
(->* () ()
32-
block?)]
33-
[doi
34-
(->* () () #:rest (listof pre-content?)
35-
block?)]
36-
[to-appear
37-
(->* () () #:rest pre-content?
38-
block?)]
39-
[category
40-
(->* (pre-content? pre-content? pre-content?)
41-
((or/c #f pre-content?))
42-
content?)]
43-
[terms
44-
(->* () () #:rest (listof pre-content?)
45-
content?)]
46-
[keywords
47-
(->* () () #:rest (listof pre-content?)
48-
content?)])
11+
(provide (contract-out
12+
[abstract (->* () () #:rest (listof pre-content?) block?)]
13+
[subtitle (->* () () #:rest (listof pre-content?) content?)]
14+
[authorinfo (-> pre-content? pre-content? pre-content? block?)]
15+
[conferenceinfo (-> pre-content? pre-content? block?)]
16+
[copyrightyear (->* () () #:rest (listof pre-content?) block?)]
17+
[copyrightdata (->* () () #:rest (listof pre-content?) block?)]
18+
[exclusive-license (->* () () block?)]
19+
[doi (->* () () #:rest (listof pre-content?) block?)]
20+
[to-appear (->* () () #:rest pre-content? block?)]
21+
[category (->* (pre-content? pre-content? pre-content?) ((or/c #f pre-content?)) content?)]
22+
[terms (->* () () #:rest (listof pre-content?) content?)]
23+
[keywords (->* () () #:rest (listof pre-content?) content?)]))
4924

5025
(provide preprint 10pt nocopyright onecolumn noqcourier notimes
5126
include-abstract)

0 commit comments

Comments
 (0)