Package plai.plt contributed by plai [docs]
To load: (require (planet plai/plai:1:20))
Old style:(require (planet "main.ss" ("plai" "plai.plt" 1 20)))
Package description:
Language levels for the Programming Languages: Application and Interpretation textbook
Downloads this week: 0
Total downloads: 5510
Tickets:16
Open tickets:0
Primary files:
[no interface available]
 Current version
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 20)
2322
[none]2010-02-23
To load: (require (planet plai/plai:1:20))
Available in repositories: 4.x
  • Small bug in mutator handling of cond
  • Note: PLAI will be distributed with PLT in the future. This package will remain for compatibility.
No Tickets Currently open for this Package [New Ticket]

 Old versions
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 19)
122
[none]2010-02-17
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 19))))
Available in repositories: 4.x
  • Small bug in random mutator generation
  • Note: PLAI will be distributed with PLT in the future. This package will remain for compatibility.
(1 18)
18
[none]2010-02-16
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 18))))
Available in repositories: 4.x
  • Arrows in GC gui
  • Random mutator generator
  • Note: PLAI will be distributed with PLT in the future. This package will remain for compatibility.
(1 17)
122
[none]2010-02-09
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 17))))
Available in repositories: 4.x
  • Standardize error printing in type-case
  • Memoizing contracts from datatypes
(1 16)
50
[none]2010-02-08
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 16))))
Available in repositories: 4.x
  • New GC heap GUI (Thanks Robby!)
  • Added λ binding to mutator language
  • Fixed error in mutator language
  • Added eq? to mutator language
  • Fixed constructor printing for datatypes
  • Mutator language infers names for procedures better. (Thanks Robby!)
(1 15)
45
[none]2010-02-05
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 15))))
Available in repositories: 4.x
  • left to right order of evaluation in mutator language
  • stronger contract on with-heap
(1 14)
25
[none]2010-02-04
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 14))))
Available in repositories: 4.x
  • added with-heap to collector language
  • added testing framework to collector language
(1 13)
0
[none]2010-02-04
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 13))))
Available in repositories: 4.x
  • datatype does not expose make-<variant> uncontracted
  • datatype variants are printed constructor style
  • mutator gui window is cleaner and resizing works
  • mutator language now prints out location and values at top-level
  • adding better syntax error messages to mutator language
  • catching mutator languages up to PLT and test harness
(1 12)
69
[none]2010-02-02
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 12))))
Available in repositories: 4.x
  • added plai-catch-test-exn
(1 11)
27
[none]2010-02-01
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 11))))
Available in repositories: 4.x
  • define-type rewrite had a small bug
(1 10)
90
[none]2010-01-29
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 10))))
Available in repositories: 4.x
  • define-type no longer checks contracts early to allow mutually recursive datatypes
(1 9)
59
[none]2010-01-27
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 9))))
Available in repositories: 4.x
  • Tests now print the expected value, rather than the expected expression
  • Field contracts are now evaluated once and at the top-level rather than multiple times in each accessor/constructor
(1 8)
139
[none]2010-01-19
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 8))))
Available in repositories: 4.x
  • Correcting test result printing
(1 7)
58
[none]2010-01-13
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 7))))
Available in repositories: 4.x
  • Fixing print-only-errors
(1 6)
660
[none]2009-10-21
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 6))))
Available in repositories: 4.x
  • Normalizing test output wrt abridged-test-output
  • Fixing test output documentation
  • Fixing abridged-test-output docs
  • Re-enabling use of test-inexact-epsilon
  • Contracts to protect test-harness settings
(1 5)
198
[none]2009-10-06
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 5))))
Available in repositories: 4.x
(1 4)
499
[none]2009-09-14
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 4))))
Available in repositories: 4.x
(1 3)
923
[none]2009-06-04
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 3))))
Available in repositories: 4.x
(1 2)
11
[none]2009-05-19
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 2))))
Available in repositories: 4.x
(1 1)
68
[none]2009-03-23
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 1))))
Available in repositories: 4.x
(1 0)
5
[none]
[none]2009-03-23
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 0))))
Available in repositories: 4.x