From e1486afd9bc86cb89eedbedd274db86d2badbd45 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sun, 4 May 2014 12:13:06 -0400 Subject: [PATCH] Adjust `open-input-file` type for new keyword original commit: 7eb94179e7fdda4e9932452d7d1b0de93bf57870 --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 4920c15a..bfb77e01 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2939,7 +2939,10 @@ (cl->* (->optkey (-lst a) ((-> a a Univ)) #:key (-> a a) #f (-lst a)) (->optkey (-lst a) ((-> b b Univ)) #:key (-> a b) #f (-lst a))))) -(open-input-file (->key -Pathlike #:mode (one-of/c 'binary 'text) #f -Input-Port)) +(open-input-file (->key -Pathlike + #:mode (one-of/c 'binary 'text) #f + #:for-module? Univ #f + -Input-Port)) (open-output-file (->key -Pathlike