From bdc9416c8ae81ee29a5f981ee748b6455b538c32 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 16 Apr 2014 11:25:47 -0600 Subject: [PATCH] make assignment-before-initialization an error Recent changes made use-before-initialization an error for `letrec` bindings, `class` fields, and `unit` definitions. Now, assignment-before-initialization is also an error. original commit: 22b48e03c84305068c76881c8b0ab0d25d9273de --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 1 + 1 file changed, 1 insertion(+) 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 24bedeb7..054227a8 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 @@ -2719,6 +2719,7 @@ ;; Section 17.4 (Unsafe Undefined) [check-not-unsafe-undefined (-poly (a) (-> a -Symbol a))] +[check-not-unsafe-undefined/assign (-poly (a) (-> a -Symbol a))] ;; Section 18.2 (Libraries and Collections) [find-library-collection-paths (->opt [(-lst -Pathlike) (-lst -Pathlike)] (-lst -Path))]