typed-racket

Typed Racket

Go to file

Asumu Takikawa 0a77337179 Let TR typecheck more un-annotated definitions This commit allows definitions without type annotations to refer to definitions later in a module that do have type annotations. For example, (define (f x) (g 0)) (: g (-> Integer Integer)) (define (g x) (add1 x)) Previously, such cases required shuffling type annotations and/or definitions around to satisfy the type-checker. Note that typechecking may still depend on ordering when there are not enough type annotations in the code. Closes PR 11544 original commit: 343ac526073ab8c2520399316e5391452f3f7dc0	2014-03-04 13:51:31 -05:00
pkgs/typed-racket-pkgs	Let TR typecheck more un-annotated definitions	2014-03-04 13:51:31 -05:00

Asumu Takikawa 0a77337179 Let TR typecheck more un-annotated definitions

This commit allows definitions without type annotations
to refer to definitions later in a module that do have
type annotations. For example,

  (define (f x) (g 0))
  (: g (-> Integer Integer))
  (define (g x) (add1 x))

Previously, such cases required shuffling type annotations
and/or definitions around to satisfy the type-checker.

Note that typechecking may still depend on ordering when
there are not enough type annotations in the code.

Closes PR 11544

original commit: 343ac526073ab8c2520399316e5391452f3f7dc0

2014-03-04 13:51:31 -05:00

pkgs/typed-racket-pkgs

Let TR typecheck more un-annotated definitions

2014-03-04 13:51:31 -05:00