Sam Tobin-Hochstadt
|
606ef69d20
|
Switch subtype to use infer.ss for unification.
|
2008-06-10 15:05:13 -04:00 |
|
Sam Tobin-Hochstadt
|
37c2f7f2c9
|
Move infer-ops to infer
|
2008-06-10 14:29:05 -04:00 |
|
Sam Tobin-Hochstadt
|
6afcb9aa96
|
Remove infer.ss
|
2008-06-10 14:27:49 -04:00 |
|
Sam Tobin-Hochstadt
|
e912818f86
|
Instantiation appears to work.
|
2008-06-10 14:10:40 -04:00 |
|
Sam Tobin-Hochstadt
|
5c8c2d3d96
|
Instantiate w/ dots
|
2008-06-10 12:29:53 -04:00 |
|
Sam Tobin-Hochstadt
|
a7f81d931d
|
Substituion now works
|
2008-06-10 12:21:59 -04:00 |
|
Sam Tobin-Hochstadt
|
017f756c77
|
Fix instantiate and abstract to handle bounds properly.
NEW INVARIANT - only use instantiate w/ names
|
2008-06-10 11:29:56 -04:00 |
|
Robby Findler
|
6be1c69e32
|
fixed some portos
svn: r10200
|
2008-06-09 22:49:06 +00:00 |
|
Robby Findler
|
9120268b36
|
PR 9471
svn: r10199
|
2008-06-09 22:44:40 +00:00 |
|
Sam Tobin-Hochstadt
|
a7c63840e4
|
Add new datastructures for dots work.
|
2008-06-09 17:07:41 -04:00 |
|
Sam Tobin-Hochstadt
|
dc47e25c44
|
Refer to tech terms correctly.
svn: r10196
|
2008-06-09 16:08:04 +00:00 |
|
Sam Tobin-Hochstadt
|
3765c3591c
|
Use deftech instead of defterm for a bunch of terms.
svn: r10195
|
2008-06-09 16:07:52 +00:00 |
|
Matthew Flatt
|
f1bacbb166
|
ignore failures when writing the commentary-window position/size to the preferences file, mainly because a security guard might disallow it for nested slideshows
svn: r10194
|
2008-06-09 14:23:12 +00:00 |
|
Matthew Flatt
|
05d06d0c99
|
lower priority of Jewel screen refresh, in case the machine (like my Vista machine) is too slow to keep up
svn: r10193
|
2008-06-09 14:06:54 +00:00 |
|
Jacob Matthews
|
3ca9a0ab25
|
* fix incorrect planet client reporting
* clarify a contract
svn: r10192
|
2008-06-08 23:48:57 +00:00 |
|
Eli Barzilay
|
db98d5f66d
|
Welcome to a new PLT day.
svn: r10191
|
2008-06-08 17:25:57 +00:00 |
|
Matthew Flatt
|
6b721a04f0
|
fix index output where exporting module's name is not just an identifier
svn: r10190
|
2008-06-08 15:23:51 +00:00 |
|
Matthew Flatt
|
ec714113a4
|
fix uses of _ in foreign docs, and document the _ escape in 'schemblock'
svn: r10189
|
2008-06-08 11:46:07 +00:00 |
|
Matthew Flatt
|
31d9571a47
|
handle symbolic module names property in module-path-index->taglet
svn: r10188
|
2008-06-08 11:31:07 +00:00 |
|
Robby Findler
|
c9485454a9
|
liberalized the XML snips so they dont require the framework
svn: r10187
|
2008-06-08 03:43:33 +00:00 |
|
Matthew Flatt
|
301a91e0ad
|
fix moddep test for Windows
svn: r10186
|
2008-06-07 12:15:06 +00:00 |
|
Matthew Flatt
|
76732257c7
|
fix typo
svn: r10185
|
2008-06-06 21:21:27 +00:00 |
|
Matthew Flatt
|
b5ce45a15c
|
doc #:doc for 'techlink'
svn: r10184
|
2008-06-06 21:21:04 +00:00 |
|
Eli Barzilay
|
36809f291e
|
typo
svn: r10183
|
2008-06-06 19:46:56 +00:00 |
|
Eli Barzilay
|
3718da39a8
|
Welcome to a new PLT day.
svn: r10182
|
2008-06-06 19:30:28 +00:00 |
|
Eli Barzilay
|
05e530f443
|
Allow using `doc-path' for main docs only.
svn: r10181
|
2008-06-06 18:46:04 +00:00 |
|
Sam Tobin-Hochstadt
|
d9134861c4
|
Run tests in new namespaces.
svn: r10180
|
2008-06-06 17:19:53 +00:00 |
|
Matthew Flatt
|
26d4346984
|
moddep tests
svn: r10179
|
2008-06-06 15:57:56 +00:00 |
|
Eli Barzilay
|
a679c89cb6
|
fix next-links that climb up more than one level
svn: r10178
|
2008-06-06 15:53:42 +00:00 |
|
Matthew Flatt
|
f81d9ebf54
|
fix missing .plt in collapsed planet path
svn: r10177
|
2008-06-06 15:48:51 +00:00 |
|
Matthew Flatt
|
5f5c70eafb
|
fix some docs and tests
svn: r10176
|
2008-06-06 15:39:59 +00:00 |
|
Matthew Flatt
|
762e04ba60
|
fix modcollapse in some string planet path cases
svn: r10175
|
2008-06-06 15:35:06 +00:00 |
|
Matthew Flatt
|
31bb298e67
|
fix doc TOC after latest round of key changes
svn: r10174
|
2008-06-06 15:18:16 +00:00 |
|
Matthew Flatt
|
af1c17353b
|
repair uses of module paths for Scribble keys that I missed before
svn: r10173
|
2008-06-06 15:09:14 +00:00 |
|
Matthew Flatt
|
10a4830f87
|
#:name -> #:program in docs
svn: r10172
|
2008-06-06 13:45:27 +00:00 |
|
Matthew Flatt
|
d30e8261d4
|
doc automatically excluded paths for setup-plt compilation
svn: r10171
|
2008-06-06 13:44:18 +00:00 |
|
Matthew Flatt
|
21fd7b93b3
|
change the way Scribble generates keys based on modules
svn: r10170
|
2008-06-06 13:24:58 +00:00 |
|
Noel Welsh
|
a33a97de59
|
NHW: Fix an error in the require statement for SRFI 66.
svn: r10169
|
2008-06-06 13:21:07 +00:00 |
|
Mike Sperber
|
6c669f8588
|
Fix typo.
svn: r10168
|
2008-06-06 06:19:53 +00:00 |
|
Eli Barzilay
|
ad2e963acd
|
removed accidental line, yet again *sigh*
svn: r10167
|
2008-06-06 05:50:16 +00:00 |
|
Eli Barzilay
|
7f4d25cd35
|
removed accidental line from last commit...
svn: r10166
|
2008-06-06 05:48:48 +00:00 |
|
Eli Barzilay
|
75d2ba2372
|
removed leftover line
svn: r10165
|
2008-06-06 05:47:15 +00:00 |
|
Eli Barzilay
|
6f6adbf3a1
|
hack value-port handler
svn: r10164
|
2008-06-06 05:35:55 +00:00 |
|
Eli Barzilay
|
5175bfccb5
|
* Properly quote unicode characters in javascript strings
* Fix string form of module names (PR9428)
svn: r10163
|
2008-06-06 01:42:01 +00:00 |
|
Sam Tobin-Hochstadt
|
e9356d145d
|
Run when just required.
svn: r10162
|
2008-06-05 21:43:06 +00:00 |
|
Sam Tobin-Hochstadt
|
5a8bc6fabb
|
Add new tests.
Fix old tests for new Struct datatype.
svn: r10161
|
2008-06-05 21:42:44 +00:00 |
|
Sam Tobin-Hochstadt
|
1da9a0c4b8
|
Add namespace ops.
Check if typecheck returned nothing for top-level form.
Improve error message.
svn: r10160
|
2008-06-05 21:36:45 +00:00 |
|
Matthias Felleisen
|
8b7e57b0a9
|
contract on text
svn: r10159
|
2008-06-05 21:22:21 +00:00 |
|
Matthias Felleisen
|
e3aa0e0e5b
|
just re-export prims
svn: r10158
|
2008-06-05 21:16:44 +00:00 |
|
Matthias Felleisen
|
3afa09f177
|
export as primitives
svn: r10157
|
2008-06-05 21:16:02 +00:00 |
|