suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
921 Commits 13 Branches 1 Tag 9.2 MiB
c689b7d3e6
Commit Graph

920 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
7692d06741 Fix parsing of All on RHS of -> 
original commit: f320d36e9c7fc2698d1becff28511dd8413430da
 2010-05-24 13:26:29 -07:00
Sam Tobin-Hochstadt
b656915497 Improve verbose printer. 
- Fewer newlines.
 - Avoid printing hidden fields.

original commit: fac0e197cfe75a4a811b0d953674731e8be14e7b
 2010-05-24 13:23:37 -07:00
Sam Tobin-Hochstadt
3a0485de2b Improve type of count and vector-count. 
original commit: 601e693b01e3091612c3690d834becd0a83d69fb
 2010-05-22 18:07:50 -04:00
Sam Tobin-Hochstadt
3257de4bff Document Exact-Nonnegative-Integer 
original commit: e6d85175f3713d7e65bdc0219853ff43a94f3e48
 2010-05-22 18:03:18 -04:00
Vincent St-Amour
8a00140b63 Fixed a bug with Typed Scheme's do: with no finish-expr. 
Include in 5.0 release.

original commit: fece1f6d03caea796b99921f1979a652e1a6b97c
 2010-05-21 19:31:43 -04:00
Vincent St-Amour
00444e8b41 Extended the type signatures of trigonometric operations. 
Include in 5.0 release.

original commit: 88dc30aa3c1fcc0707a440aa9e9558d0e1764bb5
 2010-05-21 19:31:42 -04:00
Sam Tobin-Hochstadt
5a0e07e296 More precise types for: truncate, floor ceiling 
original commit: 230f1a59c6bb51bf69c1651cadb3a77868bcbef5
 2010-05-21 10:41:24 -04:00
Sam Tobin-Hochstadt
c679415de3 Add test file. 
Closes PR 10594.

original commit: e9ac3651a47233a278eb332e011cd24a1c042bbc
 2010-05-19 15:22:22 -05:00
Sam Tobin-Hochstadt
291937c278 Allow expected type to have weaker filters and objects. 
Closes PR 10729.

original commit: 9fe3747a19e38d2041814d897f7db0e67d02a0e0
 2010-05-19 15:14:18 -05:00
Sam Tobin-Hochstadt
1e25674287 Allow recursive types in type annotations for `list'. 
Closes PR 10562.
 Tests for fixed bugs.

original commit: 7e9313bad3c8f8b7d6e0241f6904dce45ac77786
 2010-05-19 15:14:18 -05:00
Vincent St-Amour
d27153b74c Added logging to typed Scheme's optimizer. 
original commit: 3e757d0fb199d0cd565d2c094584a737be00942f
 2010-05-19 13:10:37 -04:00
Vincent St-Amour
e78937195c Extended the typed Scheme optimizer to handle all the core forms. 
original commit: 7adedacf2b6acb1c8cea34aae4e8e12009141adf
 2010-05-19 13:10:37 -04:00
Vincent St-Amour
a781b50533 Extended typed Scheme's optimizer to traverse more forms. 
original commit: b543177868f97a7cfe0bdf57f555da4d580ef726
 2010-05-19 13:10:37 -04:00
Vincent St-Amour
1f7ab8285d Typed Scheme's optimizer can now generate unsafe car and cdr. 
original commit: f2edae0e9a42e0bdb5c53224a3525edc8a6fd4d7
 2010-05-19 13:10:37 -04:00
Vincent St-Amour
f824817aa9 Wrote tests for the new pair accessor type signatures. 
original commit: 790658886b043085ec9f325e08565e52304cdd85
 2010-05-19 13:10:36 -04:00
Vincent St-Amour
40360c095e Added some special cases to type signatures for pair accessors. 
original commit: f77e4eeb418ffc1a626d40b97e56d1cfbac6c47d
 2010-05-19 13:10:36 -04:00
Vincent St-Amour
3ba7e83662 Fixed a typo in typed Scheme's base env. 
original commit: eb95b35a12e886f6678f62f69990b4553684680c
 2010-05-19 13:10:36 -04:00
Vincent St-Amour
e381611808 Added type signatures to more pair accessors in typed Scheme's base env. 
original commit: 849ee86c855999daf91947bd26fadb4e296dfaa3
 2010-05-19 13:10:36 -04:00
Vincent St-Amour
548e080a03 Added type signatures for caar and some others to typed Scheme's base env. 
original commit: b64fb126f652a239404413db2db87c239db9b967
 2010-05-19 13:10:35 -04:00
Sam Tobin-Hochstadt
7bc6e2e79e Add test for PR 10318. 
Closes PR 10318.

original commit: 3fd5c491728c720727785fec266d9893e163738b
 2010-05-19 11:12:13 -05:00
Sam Tobin-Hochstadt
87ff7915f6 Documentation for heterogenous vectors. 
Closes PR 10291.

original commit: 756bcc8a5e6509b2729ecfb5a20fed448224381f
 2010-05-19 11:08:28 -05:00
Sam Tobin-Hochstadt
eb9f6a9916 Better type annotation support. 
- Delay more errors for additional reporting.
 - Don't re-check expressions that were checked for inference.
 Closes PR 10098.

original commit: 638245e4c52f6bdaba7d62ac3d88a24462a09ace
 2010-05-19 10:10:54 -05:00
Sam Tobin-Hochstadt
d30ba6ac02 More fixes for Vincent. 
original commit: 535dc73fad6d22a5a057d18aa0ba4ff00f926810
 2010-05-17 18:03:34 -04:00
Sam Tobin-Hochstadt
29cd6cac2f Fix repeated type ascription. 
original commit: d2a1470ea51b5ca55656833f95dacd5ae7ba1285
 2010-05-17 16:20:44 -05:00
Sam Tobin-Hochstadt
2776f825c2 Fix internal error detected by vincent. 
original commit: 7ecf424ff88d0365da3be7af3051b0acc2cfe1ab
 2010-05-17 16:06:27 -05:00
Sam Tobin-Hochstadt
15c23cc374 rename to .rkt 
original commit: 0d1d61c725e58889dcda23a44ecb9b32f87e4002
 2010-05-17 15:55:23 -05:00
Sam Tobin-Hochstadt
fcf6876f28 Fix for git/rkt 
original commit: 68391b2d7fd0e9a092d663b56d761524aafc8d77
 2010-05-17 15:36:28 -05:00
Sam Tobin-Hochstadt
3efae1a1dc rename to rkt 
original commit: ce874bb0a16cc65348bfeaf3c2de958d86c3aa94
 2010-05-17 15:29:12 -05:00
Eli Barzilay
1cc6dee899 "Racunit" -> "Rackunit" 
original commit: 7b14a1f585d368bca8967072fbf3530d568e1391
 2010-05-17 12:07:32 -04:00
Sam Tobin-Hochstadt
7b401c4e80 Add annotation to test. 
Fix default case for `vector-set!'

original commit: 21b5c25c90a323d443b9611d9c0d30d30afb7dea
 2010-05-14 11:00:23 -04:00
Sam Tobin-Hochstadt
479db80e36 sensible handling of literal vectors 
original commit: ff36a6e8d1595cd0ee0c495efe240ebc23707419
 2010-05-14 11:00:23 -04:00
Sam Tobin-Hochstadt
6f16d9e2d6 more sensible version of het vectors. 
add vector-length, vector-set!

original commit: 7ac925695fadf3c8af20b2d65037c8bc6310f9b4
 2010-05-14 11:00:23 -04:00
Sam Tobin-Hochstadt
597a8151b3 fix typo 
original commit: 798a7f2a3c2189f14cc99143143be86c4eb0b2b5
 2010-05-14 11:00:22 -04:00
Sam Tobin-Hochstadt
a4717c49ef Fix het vec with strange expected types 
original commit: f40000c9c752b79d029cf2328425c5b012c16d47
 2010-05-14 11:00:22 -04:00
Sam Tobin-Hochstadt
cd0c71d923 Finish het vectors 
original commit: ec14f2c0b81ee4e5052555cbdabfd0a53c821bec
 2010-05-14 11:00:22 -04:00
Sam Tobin-Hochstadt
094d75b4e6 more testing 
original commit: 0558d11abb3233852f891d8f1dab2c1fefe50061
 2010-05-14 11:00:22 -04:00
Sam Tobin-Hochstadt
2fdcb1ef9a mostly done with heterogenous vectors 
original commit: 2c03f2223b55483bc02d66946097ed17e63529f3
 2010-05-14 11:00:22 -04:00
Sam Tobin-Hochstadt
15b1f6378b Fix w/c to handle expression form of with-contract, and disable internal contracts. 
original commit: 684ae395e648f22e38f1fa55aa6c0f48a60fbd5e
 2010-05-13 14:41:59 -04:00
Sam Tobin-Hochstadt
bf8b4e8080 Don't generate extra filters unless they're useful. 
original commit: 814c02664ee7892af26f6c0d0b8d90cbf55bdc4a
 2010-05-13 13:37:24 -04:00
Sam Tobin-Hochstadt
15a844f9f3 fix more tests 
original commit: a8931163918c4996a18b4cff2c69d9685fd3ef12
 2010-05-13 13:36:54 -04:00
Sam Tobin-Hochstadt
7cff4534ab Don't generate type filters for mutated variables. 
original commit: 8d59ee77e4eefca21f2e27140d2b8bcdf691105e
 2010-05-13 13:24:41 -04:00
Sam Tobin-Hochstadt
1725a8a95a Fix incorrect tests. 
original commit: dcf8507fd69ddd1c822feeb02e76a916a39e02fe
 2010-05-13 12:35:14 -04:00
Sam Tobin-Hochstadt
2f061da0ea abstract even when out of bindings 
original commit: a7a56ce856e4082b951be6c51d762eb19f97d5e7
 2010-05-12 21:34:18 -04:00
Sam Tobin-Hochstadt
fe7130a964 fix more tests 
original commit: 60aed123ce0ffbd4a9a153b239be7ea863b0dedc
 2010-05-12 21:33:55 -04:00
Sam Tobin-Hochstadt
2ceba6db20 Fix typo 
original commit: 264bf78559a67d49e87581944d25a9a6b0bd0150
 2010-05-12 18:43:55 -04:00
Sam Tobin-Hochstadt
772abbfa81 Updates along useless paths are not errors. 
original commit: 4ceda9970005b4da3b56b0e48a0d69de05e3fa54
 2010-05-12 18:24:19 -04:00
Sam Tobin-Hochstadt
5fb5d7125b Allow dummy filtersets 
original commit: 41f0152435e5f8ae7edefa75b1c4e965cf6349df
 2010-05-12 17:31:58 -04:00
Sam Tobin-Hochstadt
d1153d23e0 more lost changes 
original commit: daf43d1702800a47210489080f47a1bc14386ace
 2010-05-12 17:25:53 -04:00
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
0517b50456 add simple test 
original commit: 499f36ee69a9946a0ad06cc23110bb8362668c44
 2010-05-12 17:05:09 -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
507309df27 add test for bug found by vincent 
original commit: a81de56b302dcf9a44c496967df3d40e3d5779f5
 2010-05-10 17:55:29 -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
d71a420fa4 more test errors 
original commit: fe10457f4e3a662cc49e7c3b1b122bc6a389facd
 2010-05-10 16:22:41 -04:00
Sam Tobin-Hochstadt
83e5843577 fix test suite errors 
original commit: 08d0df52562a72507aa82db19b9bcef496315e55
 2010-05-10 16:09:58 -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
9bf9016106 add typed/racket and typed/racket/base 
original commit: 820040abc14381dc4b2ad7e4f11bcadbd821e089
 2010-05-09 11:44:38 -04:00
Sam Tobin-Hochstadt
80e644c20d produce the correct type 
original commit: 62af50867a825aab3572a442276921b205180a3a
 2010-05-05 17:50:20 -04:00
Sam Tobin-Hochstadt
8335533ea2 minor test edits 
original commit: 90f7f522f8b53d6460fc0da2113605e538969762
 2010-05-04 19:47:38 -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
0c4ea82ca1 use racunit better to get expected/actual info 
original commit: a728bae3cb83770c8e293e90acebe4ff1d7491da
 2010-05-04 19:47:38 -04:00
Sam Tobin-Hochstadt
e30cd94960 checks can sometimes return #t 
original commit: d7d157b441457e4bbcb07c328c9b8e350f3c92ce
 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
41634b8e34 use `test-begin' in test 
original commit: d678e7657deee54921e332157367979b90e36971
 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
Sam Tobin-Hochstadt
bbf8fe4b54 use hairy macro rewriting to make more of racunit work 
original commit: b00b72a73a78f5b24a18fd79d907d987efe61530
 2010-05-04 19:47:37 -04:00
Sam Tobin-Hochstadt
c1415c98c2 typed/racunit: 
- fix more contracts
- make test tests not fail

original commit: 3ebd04550a14e52ed1ce44abe2c1d9f4b7c3374a
 2010-05-04 19:47:37 -04:00
Sam Tobin-Hochstadt
9e9ee0aee4 fix some racunit types, add test case 
original commit: 0a2b16f804502b169e1b1a7ab89fe25f5f6bb0ed
 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
Jay McCarthy
80a48b4a6e Adding typed/racunit and fixing racunit exports vis a vis documentation 
original commit: 445a143f5193e874d88bddfa9fc9ef1b52211f26
 2010-05-03 22:30:32 -06:00
Sam Tobin-Hochstadt
419307edd1 add some vector functions 
original commit: 105a560698dfa979ab592ceb3c443e9425f2c956
 2010-05-03 18:13:12 -04:00
Sam Tobin-Hochstadt
db9ffaaae8 use `vector-member' 
original commit: d5776a12666c507525df54c2f217f819dd407f33
 2010-05-03 18:03:01 -04:00
Sam Tobin-Hochstadt
19c4c523f3 Add test for bug 10868 
Add 'unit' command line arg to 'run.rkt' command to just run the unit tests

original commit: 34e64b650fd55c99aff3c79279663becd4da4249
 2010-05-03 15:13:33 -04:00
Sam Tobin-Hochstadt
d4d0b811cd rename 
original commit: 92a3085658a7addbfd8261a8c6573918d2a4235a
 2010-05-03 13:18:56 -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
a15708cba8 run .rkt files 
original commit: 6b5305afe742cdb399d049c6732fc92ddabbad3d
 2010-05-03 13:01:58 -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
3bfbc7da7f fix to work w/ racket renamings 
original commit: b308a52240c9edcdd0c51bad5612314d44894b51
 2010-04-30 16:04:03 -04:00
Jay McCarthy
b91ae08c0e Renaming rktunit to racunit 
original commit: bc5cf30ebe1ba3743f7097d81ebf1297435e0201
 2010-04-30 10:57:32 -06:00
Sam Tobin-Hochstadt
2addf717a0 rename to rkt 
original commit: 459a675b90443b59e46bccae476a6f040fa8434d
 2010-04-30 09:51:32 -04:00
Jay McCarthy
331f098693 Renaming schemeunit to rktunit and adding compat layer 
original commit: f70ffca75665f86a380c3df846c8a63b1e941b8b
 2010-04-29 15:00:02 -06:00