Sam Tobin-Hochstadt
|
35a4584929
|
re-add bindings lost in merge
original commit: 70d498beeb438e871c7d9b140584fc0d581af4ae
|
2010-05-12 17:22:13 -04:00 |
|
Sam Tobin-Hochstadt
|
620fb6182a
|
debugging
original commit: dbe9a0f997461f209c6893479b2fe76f9c0384e0
|
2010-05-12 17:06:04 -04:00 |
|
Sam Tobin-Hochstadt
|
136f0942bd
|
Descend into path elements.
original commit: 6f7e88cfef024c4207d8187c0c9c2a4d0da19875
|
2010-05-12 17:04:43 -04:00 |
|
Sam Tobin-Hochstadt
|
b0b01fa807
|
flatten and filters before using them
original commit: e0c82c8ac6d4400c723d2ebace2f8efadd3fd923
|
2010-05-12 15:10:37 -04:00 |
|
Sam Tobin-Hochstadt
|
2f671bdbff
|
Fix contracts.
Handle improper formals lists.
original commit: e7c8ffb834f78bbe83033a8a1dbbfa27c829eddc
|
2010-05-12 11:53:27 -04:00 |
|
Sam Tobin-Hochstadt
|
da5bdb841a
|
switch to typed/
original commit: 5a8fac0bdf9f4a93d2407c309c7c7110d5c029b3
|
2010-05-12 11:52:11 -04:00 |
|
Sam Tobin-Hochstadt
|
ecbd63562b
|
fix handling when subtype doesn't have rest arg
original commit: 2d1625336e2512ba4df3a93fc28682c32be48ceb
|
2010-05-10 17:53:48 -04:00 |
|
Sam Tobin-Hochstadt
|
5cb9ec4f09
|
add #:optimize keyword
original commit: a6e314d367062858e1bf23027638c8ee66ff31ea
|
2010-05-10 17:32:53 -04:00 |
|
Sam Tobin-Hochstadt
|
cd4744d11b
|
use aux function to avoid generating useless filters
original commit: c031729e4bcd46fab66ed1c3b0aa6578563126ec
|
2010-05-10 17:03:21 -04:00 |
|
Sam Tobin-Hochstadt
|
fb755e912c
|
don't add to identifiers
original commit: 6baef71d57af67f230a0f8efb23fb2d7294f1e9c
|
2010-05-10 16:09:47 -04:00 |
|
Sam Tobin-Hochstadt
|
5912a6243a
|
more contract fixes
original commit: 52c1f41a2036906ab6462abd5479053e2894b1ca
|
2010-05-10 15:50:24 -04:00 |
|
Sam Tobin-Hochstadt
|
5557322514
|
use racket/base
original commit: 1bbb857b18fa2fa6fb3be2387c51367d984a1799
|
2010-05-10 15:43:03 -04:00 |
|
Sam Tobin-Hochstadt
|
bd2e4e09ad
|
fix contract error, use the same contract for drest everywhere
original commit: d75232baa0a6076b2e16e73afcdc3fa79eb682a1
|
2010-05-10 15:42:45 -04:00 |
|
Sam Tobin-Hochstadt
|
d483be21af
|
avoid trying to reconstruct bogus arrow type, use dummy instead
original commit: 8461045e8cfaf2dbd4fffb88eed046c44276796a
|
2010-05-10 15:42:23 -04:00 |
|
Sam Tobin-Hochstadt
|
3dfdcf9722
|
fix `implied-atomic?'
original commit: b1a49470eeaae287a8b2754308c476c3257434af
|
2010-05-10 11:51:18 -04:00 |
|
Sam Tobin-Hochstadt
|
1da306516a
|
rackety TS docs
original commit: 9ccd44e8fd023e6e607233cd46dfae31f90679d3
|
2010-05-09 12:35:59 -04:00 |
|
Sam Tobin-Hochstadt
|
80e644c20d
|
produce the correct type
original commit: 62af50867a825aab3572a442276921b205180a3a
|
2010-05-05 17:50:20 -04:00 |
|
Sam Tobin-Hochstadt
|
153a5db15b
|
Remove unnecessary requires which caused bizarre errors
original commit: ad537cce84c9c0f16183563419512c67ad1d9ccc
|
2010-05-04 19:47:38 -04:00 |
|
Sam Tobin-Hochstadt
|
fe3eee50bd
|
avoid error when not transforming
original commit: 646bc0ecab63e350d69af5e8517503c2ab6d7fcb
|
2010-05-04 19:47:38 -04:00 |
|
Sam Tobin-Hochstadt
|
9781bbfbf4
|
Require '#%paramz at the correct phase (thanks ryan)
original commit: 087c5129e33458acb20ee4fa9c7d07a4735c719d
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
9b40abb674
|
Don't wrap booleans, print typed values
original commit: 08ca97bf9e8650f204228ebee4252805db0fcb0f
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
11ae3af9b3
|
add type for 2-arg `atan'
original commit: 9ab4887e580d17d756e70642168c8c2171b92df1
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
7d53ae96a1
|
doc fix
original commit: 4183a3f32a254897d956f607a8b092767d098885
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
b45d2f1a0c
|
handle full generality of extend-parameterization
original commit: 4984345657eda9736b458cf73f97996e3da1ce95
|
2010-05-04 19:47:37 -04:00 |
|
Ryan Culpepper
|
5f732f0a0a
|
syntax/parse: literals, literal-sets, and phases (todo: docs)
typed-scheme: added missing import for literal
original commit: eff9147ddcf6b8fefb51cb1753ae678c2ac8f0ae
|
2010-05-04 14:12:49 -06:00 |
|
Sam Tobin-Hochstadt
|
419307edd1
|
add some vector functions
original commit: 105a560698dfa979ab592ceb3c443e9425f2c956
|
2010-05-03 18:13:12 -04:00 |
|
Sam Tobin-Hochstadt
|
55fb37ff16
|
fix problem reported by Sigrid on plt-scheme
original commit: 996405af9c5ba32c49d1051c85b573d1383e244a
|
2010-05-03 13:15:19 -04:00 |
|
Sam Tobin-Hochstadt
|
60812be652
|
fix PR 10868
original commit: 8c22099aec99b15867cbf47bff5f6998e5cab988
|
2010-05-03 13:07:30 -04:00 |
|
Sam Tobin-Hochstadt
|
59971400af
|
change error message for `define:' (fixes PR 10883)
original commit: 55929072bb5b8cb35a113678690418fde048390d
|
2010-05-03 11:35:30 -04:00 |
|
Sam Tobin-Hochstadt
|
bb79a8eb11
|
fix literal hashtables and pairs
original commit: abc83496b358557a96af72dbd3d8ffecf5982c9a
|
2010-05-03 11:31:27 -04:00 |
|
Sam Tobin-Hochstadt
|
11d39ed32c
|
don't need d/c/p any more
original commit: 96da4276591c93687885780e58a14d06bd21962a
|
2010-04-30 16:04:22 -04:00 |
|
Sam Tobin-Hochstadt
|
2addf717a0
|
rename to rkt
original commit: 459a675b90443b59e46bccae476a6f040fa8434d
|
2010-04-30 09:51:32 -04:00 |
|
Sam Tobin-Hochstadt
|
b922e088d6
|
move d/c/p
fix tc-e/t
original commit: b5acbe3168012661272f6ea3866efca693fa6c35
|
2010-04-27 19:29:10 -04:00 |
|
Sam Tobin-Hochstadt
|
18e9d91e0a
|
Split filter operations into their own file.
Take into account the type of arguments in filter generation.
original commit: 27b0c01cdd4b07201ba95281dae4b24346e9dabd
|
2010-04-27 19:12:06 -04:00 |
|
Matthew Flatt
|
94184a7671
|
rename all files .ss -> .rkt
original commit: 28b404307793f041bb3363135a2968e283855318
|
2010-04-27 16:50:15 -06:00 |
|
Sam Tobin-Hochstadt
|
da59949249
|
substitute in the dtype
original commit: 35f090cde86420b1618ac4a127a30c380fb22699
|
2010-04-27 11:39:31 -04:00 |
|
Sam Tobin-Hochstadt
|
95dfc50d12
|
fix the fold for Class types
original commit: 826eeab7cb2fb738da9b56a8dd02010dc5174e53
|
2010-04-27 11:39:15 -04:00 |
|
Sam Tobin-Hochstadt
|
a288c49d64
|
remove debugging printfs, comment out fail test
original commit: 53a4e4a2e46b98f009487e3357b8eb6cc2a1b586
|
2010-04-27 10:23:30 -04:00 |
|
Sam Tobin-Hochstadt
|
f792d08edb
|
strnum? works
original commit: 83c16719725e6aa423e9f2ef4adab8483def4436
|
2010-04-27 10:16:21 -04:00 |
|
Sam Tobin-Hochstadt
|
1505c7c3de
|
so close
original commit: d935b63290b1aae41b61c772f9a3a728350a1b11
|
2010-04-27 09:50:39 -04:00 |
|
Sam Tobin-Hochstadt
|
6ae59dc036
|
fix contract error
original commit: 884375ce96155d795a927a6cec473b3078e185cf
|
2010-04-26 12:19:11 -04:00 |
|
Sam Tobin-Hochstadt
|
47dce89a25
|
more progress towards let
original commit: f7bf6d8a220e3d07eb27f6213273dcee5a585b46
|
2010-04-23 18:36:15 -04:00 |
|
Sam Tobin-Hochstadt
|
f50ace2729
|
progress towards let
original commit: 788630d26a479363f8abe244f70a9b36c107ebab
|
2010-04-23 16:40:05 -04:00 |
|
Sam Tobin-Hochstadt
|
d5a9325d48
|
implication works
original commit: 2d88d698c20722f59f82e0dd2352e1e1cd067234
|
2010-04-23 12:31:22 -04:00 |
|
Sam Tobin-Hochstadt
|
f09a00fb81
|
better filter printing
original commit: 64a6f7c3d53bcf81269513dc95f9911d55d36cb7
|
2010-04-23 09:59:00 -04:00 |
|
Sam Tobin-Hochstadt
|
8c25785856
|
fix asym pred not to use identifiers
original commit: 3311b2bb3a888d0d7f30f64fdd53667f1d464be6
|
2010-04-22 18:27:08 -04:00 |
|
Sam Tobin-Hochstadt
|
8ab2ccb53f
|
add first steps in real solving
original commit: b0918cd8b90972bd0b134e2e67f20020444be65e
|
2010-04-22 16:46:06 -04:00 |
|
Matthew Flatt
|
8cf31c8de6
|
change #:module-info to #:language-info for consistency with module->language-info
original commit: 7503f8c6e948a7e949cc4bb48e4fad71f877c90c
|
2010-04-21 18:50:16 -06:00 |
|
Sam Tobin-Hochstadt
|
07d4b90de3
|
progress, fix some dumb bugs
original commit: 9c59782a37502e0cc45a0261df3930306201f930
|
2010-04-21 19:00:12 -04:00 |
|
Sam Tobin-Hochstadt
|
88ae88c901
|
everything but or and implies works
original commit: 0804e64695ab0d04a8db1d1f95e1fc8f14b32217
|
2010-04-21 18:13:13 -04:00 |
|