racket/collects/typed-racket
Matthew Flatt b61f3f751c port position-tracking clean-ups
Add `file-position*', which can return #f instead of raising
an exception when a port's position is unknown. Change
`make-input-port' and `make-output-port' to accept more
kinds of values as the initial position.

These changes make it possible to synchronize a port's
position with a `port-commit-peeked' action. It's ugly,
which I think reflect something broken about position
tracking in the port protocol (which seems difficult to fix
without breaking compaibility).
2012-08-28 16:04:41 -06:00
..
base-env port position-tracking clean-ups 2012-08-28 16:04:41 -06:00
env Fix internal error for untyped kw functions. 2012-08-14 16:04:51 -04:00
infer Remove unneeded requires 2012-08-27 14:43:44 -04:00
minimal/lang Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
optimizer Remove OC toolbar when the definitions change. 2012-08-13 16:58:29 -04:00
private Allow contract definitions created from expressions to be fixed up. 2012-08-20 12:39:40 -04:00
rep Move list-set and list-update to unstable/list. 2012-08-20 14:45:50 -04:00
scribblings Move Ephemeronof documentation. 2012-08-23 14:04:37 -04:00
typecheck Refactoring of new tc-app. 2012-08-27 14:46:30 -04:00
types Fix typechecking of polymorphic structs with parent types. 2012-08-22 16:50:49 -04:00
utils Move list-set and list-update to unstable/list. 2012-08-20 14:45:50 -04:00
core.rkt Add tests for make-predicate and cast, also add support for the top-level. 2012-08-20 12:39:41 -04:00
info.rkt Rename Performance Report to Optimization Coach. 2012-07-11 10:59:35 -04:00
language-info.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
minimal.rkt Minor refactorings. 2012-06-25 18:07:45 -04:00
tc-setup.rkt Replaced infer-dummy with lazy-require. 2012-08-14 16:04:51 -04:00
typed-racket.rkt Fix parametric require/typed in typed/racket/base. 2012-07-29 09:02:58 -04:00
typed-reader.rkt scheme -> racket 2012-06-25 13:39:07 -04:00