From 039eac744003659f9088a1831d3e8cd393328419 Mon Sep 17 00:00:00 2001 From: Max New Date: Fri, 10 Oct 2014 17:19:33 -0400 Subject: [PATCH] Remove more internal contract usages --- .../redex-pkgs/redex-lib/redex/private/enumerator.rkt | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt index daf972bdbf..5a7eceeecc 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt @@ -21,8 +21,9 @@ (provide enum enum? size - encode - decode + (contract-out + (encode (-> enum? any/c exact-nonnegative-integer?)) + (decode (-> enum? exact-nonnegative-integer? any/c))) empty/e const/e from-list/e @@ -85,16 +86,14 @@ (enum-size e)) ;; decode : enum a, Nat -> a -(define/contract (decode e n) - (-> enum? exact-nonnegative-integer? any/c) +(define (decode e n) (if (and (< n (enum-size e)) (>= n 0)) ((enum-from e) n) (redex-error 'decode "Index into enumerator out of range. Tried to decode ~s in an enum of size ~s" n (size e)))) ;; encode : enum a, a -> Nat -(define/contract (encode e a) - (-> enum? any/c exact-nonnegative-integer?) +(define (encode e a) ((enum-to e) a)) ;; Helper functions