[logo]PLT SchemeNeed Help?
AboutDownloadDocumentationPLaneTCommunityOutreach & Research 
PLaneT > plai > plai.plt
View packages:  [4.x] | 3xx
[contribute a package / log in]
Package plai.plt contributed by plai [docs]
To load: (require (planet plai/plai:1:16))
Old style:(require (planet "main.ss" ("plai" "plai.plt" 1 16)))
Package description:
Language levels for the Programming Languages: Application and Interpretation textbook
Downloads this week: 38
Total downloads: 2873
Tickets:13
Open tickets:2
Primary files:
main.ss
[no interface available]
 Current version
PLaneT versionExternal VersionSourceDLsDocsReq. PLT
(1 16)—
38
[none]
To load: (require (planet plai/plai: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!)
 Open tickets
[All Tickets] [New Ticket]
Ticket IdOwnerReporterTypeVersion
256plairobbydefect
test cases & contracts in define-type
255plairobby@…enhancement(1 16)
define-type's error message adds extra parens

 Old versions
PLaneT versionExternal VersionSourceDLsDocsReq. PLT
(1 15)—
45
[none]
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]
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]
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]
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]
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]
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]
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)—
138
[none]
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 8))))
Available in repositories: 4.x
  • Correcting test result printing
(1 7)—
58
[none]
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 7))))
Available in repositories: 4.x
  • Fixing print-only-errors
(1 6)—
645
[none]
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)—
185
[none]
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 5))))
Available in repositories: 4.x
(1 4)—
499
[none]
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 4))))
Available in repositories: 4.x
(1 3)—
914
[none]
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 3))))
Available in repositories: 4.x
(1 2)—
11
[none]
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 2))))
Available in repositories: 4.x
(1 1)—
66
[none]
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 1))))
Available in repositories: 4.x
(1 0)—
4
[none]
[none]
To load: (require (planet "main.ss" ("plai" "plai.plt" 1 (= 0))))
Available in repositories: 4.x