From 1e67fb16e6f7ae28932a6ad5c01569dca28b3b48 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 23 Jun 2014 11:48:19 -0400 Subject: [PATCH] Fix type for syntax-local-phase-level --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 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 c6a7001feb..2cc204f490 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 @@ -1491,7 +1491,7 @@ [syntax-local-lift-provide (-> Univ -Void)] [syntax-local-name (-> Univ)] [syntax-local-context (-> (Un (-val 'expression) (-val 'top-level) (-val 'module) (-val 'module-begin) (-lst Univ)))] -[syntax-local-phase-level (-> (-opt -Int))] +[syntax-local-phase-level (-> -Int)] [syntax-local-module-exports (-> -Module-Path (-values (list (-lst Sym) (-lst Sym) (-lst Sym))))] [syntax-local-get-shadower (-> (-Syntax Sym) (-Syntax Sym))] [syntax-local-certifier (->opt [B] (-poly (a) (->opt (-Syntax a) [Univ (-opt (-poly (b) (-> (-Syntax b) (-Syntax b))))] (-Syntax a))))]