PLaneT Package Repository : PLaneT > plt

Package typed-scheme.plt contributed by plt [docs]

To load: (require (planet plt/typed-scheme:2:2/typed-scheme))

Old style: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 2 2)))

Min Racket version: 371

Package description:

This language allows the definition and execution of typed scheme programs.

Downloads this week: 0

Total downloads: 281

Tickets: 0

Open tickets: 0

Primary files:

Name	Contract
`(all-from private/prims.ss)`	—
`(all-from private/extra-procs.ss)`	—
`(all-from-except mzscheme with-handlers #%module-begin #%top-interaction)`	—
`#%module-begin`	—
`with-handlers`	—
`#%top-interaction`	—

Current version

PLaneT version	External version	Source	DLs	Docs	Req. PLT	Date added
(2 2)	0.91	[browse]	84	[docs]	371	2007-11-06
To load: `(require (planet plt/typed-scheme:2:2/typed-scheme))`
Available in repositories: 3xx
This release fixes an error that occurred when errortrace was enabled.This release fixes several regressions in the previous release.

No Tickets Currently open for this Package [New Ticket]

Old versions

PLaneT version	External version	Source	DLs	Docs	Req. PLT	Date added
(2 1)	0.91	[browse]	5	[docs]	371	2007-11-05
To load: `(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 2 (= 1))))`
Available in repositories: 3xx
This release fixes several regressions in the previous release.
(2 0)	0.9	[browse]	30	[docs]	370	2007-10-12
To load: `(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 2 (= 0))))`
Available in repositories: 3xx
Typed Scheme is now much faster.
(1 5)	0.9	[browse]	86	[docs]	369.2	2007-05-04
To load: `(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 5))))`
Available in repositories: 3xx
[no release notes]
(1 4)	0.9	[browse]	1	[docs]	369.2	2007-05-04
To load: `(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 4))))`
Available in repositories: 3xx
[no release notes]
(1 3)	1.0	[browse]	13	[none]	369.2	2007-04-01
To load: `(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 3))))`
Available in repositories: 3xx
[no release notes]
(1 2)	0.1	[browse]	46	[docs]	369.1	2007-04-01
To load: `(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 2))))`
Available in repositories: 3xx
[no release notes]
(1 1)	0.1	[browse]	7	[docs]	369.1	2007-04-01
To load: `(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 1))))`
Available in repositories: 3xx
[no release notes]
(1 0)	0.1	[browse]	9	[docs]	369.1	2007-04-01
To load: `(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 0))))`
Available in repositories: 3xx
[no release notes]