Sam Tobin-Hochstadt
|
c5fc573bdf
|
Whitespace fixes, small optimizations of union cases.
original commit: 64a1aee65df1f7babc1e832a39a0fe891f2e39f4
|
2011-09-06 11:14:57 -04:00 |
|
Sam Tobin-Hochstadt
|
b46873bd75
|
Switch to id-table, Rackety.
original commit: 076c0fe6d821bc99c80eda95d627091e6fe0d7c3
|
2011-09-06 11:07:03 -04:00 |
|
Sam Tobin-Hochstadt
|
d42ee35141
|
Add logging to typechecker main loop.
original commit: 41bfb878c3dfc111be9107276712b35a995d4dcc
|
2011-09-06 11:07:03 -04:00 |
|
Sam Tobin-Hochstadt
|
1dbda12c6b
|
Micro-optimization.
original commit: c25f7cea2709624b08bed57a468db35abe6a5b21
|
2011-09-06 11:07:03 -04:00 |
|
Sam Tobin-Hochstadt
|
2422a57cd0
|
Use better language for lang-info
original commit: 2faa761f533604d99df08a041aa244a45d23495c
|
2011-09-05 14:21:15 -04:00 |
|
Eli Barzilay
|
7c2f751af5
|
Some more "typed-scheme" -> "typed-racket".
original commit: fde857e0cbb5a1099eba0f8c88d1570f59d39746
|
2011-09-05 00:34:05 -04:00 |
|
Eli Barzilay
|
779c621e82
|
"typed-scheme" -> "typed-racket".
original commit: 746aea002420c8abb7c281720fac22aedc497352
|
2011-09-05 00:08:17 -04:00 |
|
Sam Tobin-Hochstadt
|
f82fee857c
|
Tests for all Typed Racket languages, and add missing ones.
original commit: c0b4743b407f6ddf09a7c7bf78b7b66f6c311d81
|
2011-09-04 12:58:13 -04:00 |
|
Eli Barzilay
|
c5432390c5
|
Revert "Abolish "typed-scheme"."
This reverts commit 49a89da81860e09955f1678bab6106ce8eae8376.
(Will be redone later today.)
original commit: 6ebf3ab32d666e9d1e56cd546fea29d18c42dfff
|
2011-09-04 10:27:58 -04:00 |
|
Eli Barzilay
|
911fc81ec6
|
Abolish "typed-scheme".
original commit: 49a89da81860e09955f1678bab6106ce8eae8376
|
2011-09-04 08:46:03 -04:00 |
|
Sam Tobin-Hochstadt
|
e232403bac
|
Add type for `make-reader-graph'.
original commit: 09f515dff4f1b97eb4e80e161eb182b5fed105f9
|
2011-09-04 08:34:19 -04:00 |
|
Sam Tobin-Hochstadt
|
4641d7fff0
|
Document `Nonnegative-Integer'.
original commit: 1a35809ee62d5edcf2ee8cbbd7e4b9cda045f5d2
|
2011-09-04 08:33:44 -04:00 |
|
Sam Tobin-Hochstadt
|
5f32fd662c
|
Fix one more `typed-scheme'.
original commit: 0a9bc015dad87efcf66af7080b3400606268bfa3
|
2011-09-04 08:31:34 -04:00 |
|
Sam Tobin-Hochstadt
|
725bebd576
|
Revert "Re-enable timing"
This reverts commit a134ec73ed7f397eccc289f9163acd81c4553f0e.
original commit: ff1776e5224dfcb1d8c864d7d3e22f35deec53ad
|
2011-09-03 20:51:35 -04:00 |
|
Sam Tobin-Hochstadt
|
86f797100b
|
Re-enable timing
original commit: a134ec73ed7f397eccc289f9163acd81c4553f0e
|
2011-09-03 20:49:40 -04:00 |
|
Sam Tobin-Hochstadt
|
a5d9b3885a
|
Move typed-scheme to typed-racket collection.
Compatibilty typed-scheme collection left.
original commit: d2e1cc02dc587b8ed29548b16a92ee4abcde4875
|
2011-09-03 20:49:39 -04:00 |
|
Sam Tobin-Hochstadt
|
6247380066
|
Reduce requires.
original commit: 9a15a1febbdf81916a2638146499c872f35a6659
|
2011-09-03 18:43:44 -04:00 |
|
Sam Tobin-Hochstadt
|
a328126da4
|
Split syntax-classes out into separate file to reduce requires.
original commit: 77b619b7c2c4c4ef89f7830949ab90bdda07f5a2
|
2011-09-03 18:13:54 -04:00 |
|
Sam Tobin-Hochstadt
|
ba2fce22ce
|
Fix language info when running 'racket -I typed/racket'.
original commit: d594e6ee491fd2b987f974c0275df9d40cf74320
|
2011-09-03 18:13:34 -04:00 |
|
Vincent St-Amour
|
bae88339d9
|
Change the logging level for the optimizer logs.
original commit: feefa31401e4eccc7fbe2e60fd018e830f019254
|
2011-09-01 18:49:49 -04:00 |
|
Vincent St-Amour
|
702e78f9fa
|
Remove vestigial require.
original commit: 645f611ae77cda0a08a49286835e2581bf3de8cf
|
2011-09-01 18:49:48 -04:00 |
|
Sam Tobin-Hochstadt
|
10aaa2d699
|
Start on Typed Racket release notes.
original commit: 3c688f6a6805336ac2faf467806d1a893d99a0a4
|
2011-09-01 07:27:28 -04:00 |
|
Vincent St-Amour
|
92daef945a
|
Fix the Compiled-Non-Module-Expression type.
Closes PR 12150.
original commit: b105093f61163cd1be12e27ed8e459976fcfea20
|
2011-08-31 14:29:58 -04:00 |
|
Vincent St-Amour
|
8e79c557ba
|
Remove useless requires.
original commit: 0449c3b397a6f77723c5d649a0320f3ca8c8737c
|
2011-08-31 12:40:24 -04:00 |
|
Vincent St-Amour
|
9efcc45433
|
Move interactive helpers away from prims.rkt.
original commit: 166efdd2ecd52c291d7f860d7117ec85cf39f707
|
2011-08-31 12:40:24 -04:00 |
|
Vincent St-Amour
|
ce1fcd2b54
|
Dynamic-require the optimizer.
original commit: c414b09ecfb424fcc4e0c4d80d9cf5197ea297c9
|
2011-08-30 17:54:25 -04:00 |
|
Vincent St-Amour
|
7228f10b01
|
Have drdr run the missed opts tests.
original commit: 0510bb09490c7c04ee86905f905fdcd209293832
|
2011-08-30 17:00:25 -04:00 |
|
Vincent St-Amour
|
4ae271ec3a
|
Turn off TR timing.
original commit: e0f4ec56c46109e0c4051c299925f84c3df67f84
|
2011-08-30 17:00:25 -04:00 |
|
Vincent St-Amour
|
908e5e853d
|
Delay evaluation of numeric base env types.
original commit: 70aaf6bf24e4cd80ad0e4be3baf841ed8e252cad
|
2011-08-30 17:00:25 -04:00 |
|
Vincent St-Amour
|
17d631e2ad
|
Make TR timing info fit on a line.
original commit: f3d22879a2cf4e4000cfd47b92b3243dbdceaf1a
|
2011-08-30 17:00:25 -04:00 |
|
Sam Tobin-Hochstadt
|
61836d7939
|
Fix type of `make-temporary-file'.
original commit: 534d89b983a2c2c81f20cabf68b7c9ed7f930ec8
|
2011-08-30 11:33:40 -04:00 |
|
Sam Tobin-Hochstadt
|
0550dd15d2
|
Make environments much lazier about computing types; remove useless requires.
Allow duplicate type annotations when they are the same type.
original commit: 3e1eb67336617150b546841a0c1c3d2793385b06
|
2011-08-30 11:33:40 -04:00 |
|
Vincent St-Amour
|
bb11c93478
|
Add Nonnegative-Integer as a synonym for Natural.
original commit: 15aeb099ea587eef539884620b222bff7766ec77
|
2011-08-29 15:26:12 -04:00 |
|
Sam Tobin-Hochstadt
|
a9fd799164
|
Improve types for some date operations; fix typo.
original commit: e67415171a4655f1fa1f399abebb8e7d47abcf31
|
2011-08-29 12:08:13 -04:00 |
|
Sam Tobin-Hochstadt
|
d72477beaf
|
Fix typo.
Reported-By: Shriram Krishnamurthi <sk@cs.brown.edu>
original commit: 8a4aee886502f4843ef8225784363841b32c92dd
|
2011-08-29 12:08:13 -04:00 |
|
Sam Tobin-Hochstadt
|
2f118dc0f8
|
Improve formatting of reference docs for reader abbreviations.
original commit: d000567b7959659e5aea78cbc65369d0083616e6
|
2011-08-29 12:08:13 -04:00 |
|
Sam Tobin-Hochstadt
|
03edafbc18
|
Repair test for boolean generalization.
original commit: c7ac40f33b0c1d25c39c5cdd487cd34f43829267
|
2011-08-26 14:08:40 -04:00 |
|
Sam Tobin-Hochstadt
|
417c8a9833
|
Intern based on sequence numbers for values that have them.
20% speedup on the empty program. Closes PR 10734.
original commit: 598d81671a5531e41ec25e4e0cec790b4ed3345f
|
2011-08-26 14:08:40 -04:00 |
|
Sam Tobin-Hochstadt
|
4068b47296
|
Much more infrastructure for timing typed racket passes.
original commit: 403bb6414e5ba29e653e2c2dd18de076177f440d
|
2011-08-26 14:08:39 -04:00 |
|
Vincent St-Amour
|
91c229be09
|
Fix TR printing.
original commit: 62a71227446c417e4c9db820174abd713d0e199a
|
2011-08-26 14:06:10 -04:00 |
|
Sam Tobin-Hochstadt
|
f11e1b37d0
|
Generalize #t and #f to `Boolean'.
original commit: ba09e906d8c908a1e57b24a457dfeec0ee4d8ebc
|
2011-08-26 08:05:44 -04:00 |
|
Sam Tobin-Hochstadt
|
fddf518689
|
Initial support for standard optional arguments.
original commit: 7dd209f905882300fcc0cd74bbc3565b61112278
|
2011-08-25 19:00:49 -04:00 |
|
Sam Tobin-Hochstadt
|
a4600be405
|
Repair type of `find-relative-path'.
original commit: 717476f84df4927cdb2e2ae012ddd3c621892f38
|
2011-08-25 19:00:49 -04:00 |
|
Sam Tobin-Hochstadt
|
c937f35913
|
Revise `require/typed' docs. Closes PR 11890.
original commit: 760625c031b0967260d1ff5816affb3a830ae2fb
|
2011-08-25 14:10:05 -04:00 |
|
Sam Tobin-Hochstadt
|
f0266a6660
|
Properly parse `Values' in types.
Closes PR 11145.
original commit: 3707310250ce2bdc6a0c31d8a3f8dd15bff639d7
|
2011-08-25 14:10:05 -04:00 |
|
Sam Tobin-Hochstadt
|
047af2b619
|
Support vector arguments to `datum->syntax'.
Related to PR 10290.
original commit: 4185da9035fc3c6aa5a5de796f0d6b077e3b72ec
|
2011-08-25 14:10:05 -04:00 |
|
Sam Tobin-Hochstadt
|
2d731cdfc8
|
Propagate expected function types propertly in case-lambda.
Closes PR 10139.
original commit: a7cf16d486dbc40febbefc00e6f174c9c4d625de
|
2011-08-24 15:29:10 -04:00 |
|
Sam Tobin-Hochstadt
|
d81dd2f811
|
Reuse `case-lambda' syntax in optimizer.
original commit: d6f1c35e1b615e3fc554e310de7ba2bb18217dd6
|
2011-08-24 15:29:10 -04:00 |
|
James Ian Johnson
|
4a3fbfd4ca
|
Changed rec-id black magic to a more robust syntax parameter solution.
original commit: e12472bdf7c54d3a68e253a1cbb06420ed9961f7
|
2011-08-22 17:04:16 -04:00 |
|
James Ian Johnson
|
e40f936d52
|
Fixed a hygiene issue with rep-utils. Rec-ids were in improper phase.
original commit: a873675832ab427739704bf353a068adf05702c3
|
2011-08-22 17:04:16 -04:00 |
|