From 33f4ea048d47f934b1509eb98fe40b8ff911786d Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 15 Jul 2010 15:28:27 -0400 Subject: [PATCH] Added types for integer/bytes functions. original commit: 3dbbd6d3fc47e3f23fee85bfcfe53d2827f18db5 --- collects/typed-scheme/private/base-env-indexing-abs.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/private/base-env-indexing-abs.rkt b/collects/typed-scheme/private/base-env-indexing-abs.rkt index 20945835..a2525f1d 100644 --- a/collects/typed-scheme/private/base-env-indexing-abs.rkt +++ b/collects/typed-scheme/private/base-env-indexing-abs.rkt @@ -158,6 +158,8 @@ [bytes-utf-8-ref (-Bytes [index-type (Un (-val #f) -Char) index-type index-type] . ->opt . -Char)] [bytes-utf-8-index (-Bytes [index-type (Un (-val #f) -Char) index-type index-type] . ->opt . -NonnegativeFixnum)] + [integer->integer-bytes (-Integer index-type Univ [Univ -Bytes index-type] . ->opt . -Bytes)] + [integer-bytes->integer (-Bytes Univ [Univ index-type index-type] . ->opt . -Integer)] [peek-char (cl->* [->opt [-Input-Port index-type] (Un -Char (-val eof))])]