From 192f85b6844dcfc3813df65055b2543ec2558497 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 21 Oct 2014 09:55:52 -0400 Subject: [PATCH] Add contracts and omit an unused definition original commit: 200f1cdb45b69674ed9ba91e68855d323fb7a3b6 --- .../static-contracts/combinators/name.rkt | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/name.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/name.rkt index 522c4d72..2c79bc0b 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/name.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/name.rkt @@ -17,10 +17,18 @@ syntax/id-table) (provide with-new-name-tables - get-all-name-defs - lookup-name-sc - lookup-name-defs - register-name-sc) + (contract-out + [get-all-name-defs + (-> (listof (list/c (listof identifier?) + static-contract? + static-contract? + static-contract?)))] + [lookup-name-sc (-> identifier? symbol? (or/c #f static-contract?))] + [register-name-sc (-> identifier? + (-> static-contract?) + (-> static-contract?) + (-> static-contract?) + any)])) (define name-sc-table (make-parameter (make-free-id-table))) (define name-defs-table (make-parameter (make-free-id-table))) @@ -45,9 +53,6 @@ [(typed) (cadr result)] [(untyped) (caddr result)]))) -(define (lookup-name-defs name) - (free-id-table-ref (name-defs-table) name #f)) - (define (register-name-sc name typed-thunk untyped-thunk both-thunk) (define-values (typed-name untyped-name both-name) (values (generate-temporary)