scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

utils: Add a separate section for contracts in provide.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-02-22 10:36:03 +01:00
parent 2dd9e9e575
commit 5ee517ec2d
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
utils.rkt
View file

@ -11,9 +11,10 @@
;; Functions ;; Functions
(contract-out [eval-with (-> variable-mapping? any/c any)] (contract-out [eval-with (-> variable-mapping? any/c any)]
[extract-symbols (-> any/c list?)] [extract-symbols (-> any/c list?)]
[variable-mapping? contract?]
[any->string (-> any/c string?)] [any->string (-> any/c string?)]
[variable-mapping-stringify (-> variable-mapping? string-variable-mapping?)] [variable-mapping-stringify (-> variable-mapping? string-variable-mapping?)])
;; Contracts
(contract-out [variable-mapping? contract?]
[string-variable-mapping? contract?]) [string-variable-mapping? contract?])
;; Syntax ;; Syntax
auto-hash-ref/explicit auto-hash-ref/:) auto-hash-ref/explicit auto-hash-ref/:)