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

276 Commits

Author SHA1 Message Date
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
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
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
15a844f9f3 fix more tests 
original commit: a8931163918c4996a18b4cff2c69d9685fd3ef12
 2010-05-13 13:36:54 -04:00
Sam Tobin-Hochstadt
1725a8a95a Fix incorrect tests. 
original commit: dcf8507fd69ddd1c822feeb02e76a916a39e02fe
 2010-05-13 12:35:14 -04:00
Sam Tobin-Hochstadt
fe7130a964 fix more tests 
original commit: 60aed123ce0ffbd4a9a153b239be7ea863b0dedc
 2010-05-12 21:33:55 -04:00
Sam Tobin-Hochstadt
0517b50456 add simple test 
original commit: 499f36ee69a9946a0ad06cc23110bb8362668c44
 2010-05-12 17:05:09 -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
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
3dfdcf9722 fix `implied-atomic?' 
original commit: b1a49470eeaae287a8b2754308c476c3257434af
 2010-05-10 11:51:18 -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
0c4ea82ca1 use racunit better to get expected/actual info 
original commit: a728bae3cb83770c8e293e90acebe4ff1d7491da
 2010-05-04 19:47:38 -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
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
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
a15708cba8 run .rkt files 
original commit: 6b5305afe742cdb399d049c6732fc92ddabbad3d
 2010-05-03 13:01:58 -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
Sam Tobin-Hochstadt
b922e088d6 move d/c/p 
fix tc-e/t

original commit: b5acbe3168012661272f6ea3866efca693fa6c35
 2010-04-27 19:29:10 -04:00
Matthew Flatt
94184a7671 rename all files .ss -> .rkt 
original commit: 28b404307793f041bb3363135a2968e283855318
 2010-04-27 16:50:15 -06: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
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
07d4b90de3 progress, fix some dumb bugs 
original commit: 9c59782a37502e0cc45a0261df3930306201f930
 2010-04-21 19:00:12 -04:00
Sam Tobin-Hochstadt
f4bd6d4285 typecheck-tests compiles 
original commit: a979bbdbdfbda13d499533d59f6c304575cfb5a1
 2010-04-21 15:07:53 -04:00
Sam Tobin-Hochstadt
f06b81ba16 eta abstraction seems to work 
original commit: 462b7f1b92300fae8d4a9632ba97432426982aef
 2010-04-21 11:34:04 -04:00
Sam Tobin-Hochstadt
ed36f40a4a finished with the examples 
original commit: 8bea31d725a3178144d90b53c43dec12bf5c4a4d
 2010-04-20 15:30:07 -04:00
Sam Tobin-Hochstadt
083b1e10ae add tests for occurrence typing work 
original commit: 5f0597b83463080681d97830708a1a72e3f9bb38
 2010-04-20 14:49:38 -04:00
Sam Tobin-Hochstadt
b797c59d21 start removing names 
original commit: df1572231ea34907db23f7c930a19bea7e4e6249
 2010-04-19 17:52:10 -04:00