From 546a52843d7b796c29e8e063860a25c31081b62f Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 26 Aug 2013 14:19:24 -0400 Subject: [PATCH] Simplify type expression original commit: 80d21e106c8aeed582de2bedfd4fbd586a3a16c4 --- .../typed-racket/typecheck/check-class-unit.rkt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt index 61513c1d..c3b8c4a6 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt @@ -639,11 +639,11 @@ (dict-ref internal-external-mapping f))) (define maybe-type (dict-ref type-map external #f)) (values - (->* (list (make-Univ)) (or (and maybe-type (car maybe-type)) - (make-Univ))) - (->* (list (make-Univ) (or (and maybe-type (car maybe-type)) - -Bottom)) - -Void)))) + (-> (make-Univ) (or (and maybe-type (car maybe-type)) + (make-Univ))) + (-> (make-Univ) (or (and maybe-type (car maybe-type)) + -Bottom) + -Void)))) (define-values (field-get-types field-set-types) (make-field-types (hash-ref parse-info 'field-internals) fields))