suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
8f840bd07b
racket/collects/typed-racket/typecheck
History
Neil Toronto 8f840bd07b Fixed erroneously imprecise type for +nan.f literal (now Single-Flonum-Nan) 
Types for nan?, infinite?, pi.f, exact-round, exact-floor, exact-ceiling,
exact-truncate, degrees->radians, radians->degrees

Extended tc-random-testing: generates exact integers and rationals now

Fixed types of sinh, cosh and tanh to account for underflow and NaNs
2012-06-09 17:46:04 -06:00
..
check-below.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
check-subforms-unit.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
def-binding.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
def-export.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
find-annotation.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
internal-forms.rkt Add `typecheck-fail' form for explicit type errors. 2011-10-25 12:10:58 -07:00
parse-cl.rkt Big newline at EOF scan. 2012-02-29 00:28:11 -05:00
provide-handling.rkt Add support for multiple provides of the same identifier in TR. 2012-05-31 10:02:03 -04:00
renamer.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
signatures.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
tc-app-helper.rkt Speed up and improve tc-literal. Now uses expected types more, and more sensibly. 2012-02-20 15:09:51 -05:00
tc-app.rkt Whitespace fixes. 2012-06-03 10:50:18 -04:00
tc-apply.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
tc-envops.rkt Opaque types may overlap with anything. 2011-12-09 18:11:51 -05:00
tc-expr-unit.rkt Fixed erroneously imprecise type for +nan.f literal (now Single-Flonum-Nan) 2012-06-09 17:46:04 -06:00
tc-funapp.rkt Fix type of `remove-duplicates'. 2011-12-10 17:28:34 -05:00
tc-if.rkt Opaque types may overlap with anything. 2011-12-09 18:11:51 -05:00
tc-lambda-unit.rkt Support definitions of keyword functions in Typed Racket. 2012-06-02 18:22:07 -04:00
tc-let-unit.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
tc-metafunctions.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
tc-structs.rkt Attach struct info to constructor for polymorphic TR structs. 2012-05-31 13:09:26 -04:00
tc-subst.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
tc-toplevel.rkt Add support for multiple provides of the same identifier in TR. 2012-05-31 10:02:03 -04:00
typechecker.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00