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

138 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
22907160c9 formatting 
svn: r14791

original commit: 54eb4cc314dc31b7afdffcf5a1e00d70e02721fd
 2009-05-12 21:50:16 +00:00
Sam Tobin-Hochstadt
8e3a80596c Fix more tests for false info 
svn: r14787

original commit: 82c6720bc9d0ca4e31be19b31630a5781f39949b
 2009-05-12 19:54:09 +00:00
Sam Tobin-Hochstadt
bc9f01899a Fix more tests with truth info. 
svn: r14784

original commit: f24cbf99528313ea078cd74b71b16e4501b70815
 2009-05-12 16:52:55 +00:00
Sam Tobin-Hochstadt
1dbac3137a fix wrong results - 25 fails 
svn: r14783

original commit: e796cd802bf056a93a0328901b9e6631f1e63ada
 2009-05-12 15:30:15 +00:00
Sam Tobin-Hochstadt
3d37ef204b add tests for overlap 
fix more typecheck tests - 29 failures

svn: r14782

original commit: c19b66d5db4d25746472d17fbd6f750e3eb474ef
 2009-05-12 15:17:30 +00:00
Sam Tobin-Hochstadt
937ac8309a fix tests to handle identifiers, down to 38 fails 
svn: r14775

original commit: 1ce4411ceb4d355d9ddda5e073c00923f78b08fb
 2009-05-11 19:40:58 +00:00
Sam Tobin-Hochstadt
c43a6734ab Fix a lot of tests - 47 fail. 
svn: r14757

original commit: a828b89e92728243acea2e58dae064be28d83bbb
 2009-05-08 23:12:13 +00:00
Sam Tobin-Hochstadt
270ea45d4b all tests now compile 
svn: r14753

original commit: dcc2ff72d9ba3f2fb21c1485cc86c59246be9dae
 2009-05-08 21:38:30 +00:00
Sam Tobin-Hochstadt
5a3369a939 Fix parsing of All to only use parse-values-type when appropriate. 
Fix tests for new names.
Fix tests for parse-type not handling values.

svn: r14752

original commit: 9f3d719b4eed1f835372f63f71bdfdc837a199cc
 2009-05-08 20:26:27 +00:00
Sam Tobin-Hochstadt
f1b012bb42 Rename vars. 
svn: r14749

original commit: f6f9b20f17ef5be7a84cd37ab6f8eac883036a65
 2009-05-08 20:10:53 +00:00
Sam Tobin-Hochstadt
8b96f98595 compiles again 
svn: r14625

original commit: 8cbdf3ee951ce80178ff79b135906cb3d56c5a7e
 2009-04-27 16:06:54 +00:00
Sam Tobin-Hochstadt
9751e87403 fix conflicts 
svn: r14601

original commit: 994f0205f49bb8960b118ca0dda8dae740b1ab1c
 2009-04-24 21:30:18 +00:00
Sam Tobin-Hochstadt
ba8d0ff816 resolve conflicts 
svn: r14598

original commit: 1edf62a912ac0468c2a995043c58826607d645dc
 2009-04-24 21:21:06 +00:00
Sam Tobin-Hochstadt
a5c24172b8 Fix handling of filters that refer to out-of-scope vars 
svn: r14574

original commit: 60325b670c25276dddcf904b801bbde922ca2302
 2009-04-21 16:13:00 +00:00
Sam Tobin-Hochstadt
a6b5a432c0 Add test for match improvements. 
Improve handling of inference for let loop.  

svn: r14573

original commit: b1b5fe481681aef76c06b8abf1abe4cc267533ec
 2009-04-21 15:35:05 +00:00
Sam Tobin-Hochstadt
297a5745a6 Fix polymorphic structure predicates. 
svn: r14483

original commit: 929dc1d5b245e03d59eba55989c42c1a3e91954a
 2009-04-10 00:07:11 +00:00
Sam Tobin-Hochstadt
88b15b7219 Fix bug with structure keys and polymorphic structs. 
Use `match*'
Add test

svn: r14482

original commit: 69a3b7a70f56e01d732491d0fa001fe3c7667868
 2009-04-09 23:52:13 +00:00
Sam Tobin-Hochstadt
b111dc6b98 Fix bug with match dots. 
Fix handling of keywords.
Add keywords in call-with-input/output-port.

svn: r14469

original commit: ac7e87936043f80e97057c252b855159349001d6
 2009-04-08 20:24:05 +00:00
Sam Tobin-Hochstadt
7b70ced131 Report more information for untyped imported identifiers 
svn: r14418

original commit: 2aab5762370806fb648694cbbd6cb1c44ba2fc83
 2009-04-03 22:42:29 +00:00
Sam Tobin-Hochstadt
35a67354ca Require that `require/typed' uses the contracted version of typed identifiers. 
svn: r14415

original commit: 6d302a93046299af4ccd58f8e8ea3938c258f7ac
 2009-04-03 18:42:38 +00:00
Sam Tobin-Hochstadt
474ead72a9 Add refinement types. 
Add `parse-commmand-line'

svn: r14372

original commit: cd4305ca4f395a183450b762b2c7e5be0fe4d7db
 2009-03-31 03:33:04 +00:00
Sam Tobin-Hochstadt
8fa0ec6079 First step to polymorphic functions in typed/untyped interface 
- poly/c contract from Carl/Stevie
- generate the contracts
- test
- use in typed/srfi/14

svn: r14241

original commit: 60e096913d18554592f4dd6e024d3f58cc94b88e
 2009-03-23 18:29:07 +00:00
Sam Tobin-Hochstadt
56216d320e Use 'no-free-identifier=? property with rename transformers. 
Allow use of ... without bound when only one ... var in scope.

svn: r14214

original commit: 6d8014783b16c2d31624f8bd5f6d25d9fb10b5e2
 2009-03-22 12:41:26 +00:00
Sam Tobin-Hochstadt
fdfa1cd04a Allow `apply' of non-uniform polymorphic functions to fixed-length list arguments. 
Please backport.

svn: r14162

original commit: 0ed8d251bff94224448a2d860d329a7427513a61
 2009-03-17 21:18:50 +00:00
Sam Tobin-Hochstadt
d8ac05e077 disable application checking, `3' now typechecks 
svn: r14128

original commit: 537d267314bbf5e74230460874b9af89a43bfacf
 2009-03-16 15:28:29 +00:00
Sam Tobin-Hochstadt
a8d21c7178 new tests for struct providing 
svn: r14033

original commit: 2ad93c7da514183caebbe313054625c71c427ef3
 2009-03-10 20:27:46 +00:00
Sam Tobin-Hochstadt
ffa5d528a2 try to fix this test 
svn: r13999

original commit: d1ac259bcc5fc8cf5c9b6a94910b0c42f585dbf6
 2009-03-06 23:37:05 +00:00
Sam Tobin-Hochstadt
ee917a791e handle subtyping for varargs functions 
svn: r13962

original commit: 147cac076ca959adfb754a778979621a37d5ce73
 2009-03-05 00:09:43 +00:00
Sam Tobin-Hochstadt
5f9dbd695a remove contract errors 
svn: r13959

original commit: f106e885510ee32b88328abc3f34f762b798ba2f
 2009-03-04 20:31:46 +00:00
Sam Tobin-Hochstadt
8650f1ade7 most test suites pass 
svn: r13958

original commit: 8498619ab87c1b3f01a68cb8f5614ac982be7e4e
 2009-03-04 20:26:34 +00:00
Sam Tobin-Hochstadt
eb77d9debc Fix name of Type/c 
Fix fold on Result.
Add comments.
New -struct constructor with opt args.
Fix tests to agree with contracts.

svn: r13934

original commit: 9d0ee637c74b0d7705d7b9fc60ee0712cac6b0f9
 2009-03-03 23:18:00 +00:00
Sam Tobin-Hochstadt
c28b5d1eb7 fix some requires 
svn: r13925

original commit: 6271f648c6c3b4b0b7220497f037a2783a5a2ce0
 2009-03-03 21:53:02 +00:00
Sam Tobin-Hochstadt
2901393e97 subst-tests now pass 
svn: r13923

original commit: 4615d7573e2a3c6313bd35913dc4267db6427723
 2009-03-03 20:35:18 +00:00
Sam Tobin-Hochstadt
d6efd0acc3 Fix error message when polymorphic inference fails because of expected type. 
Add test case.

svn: r13639

original commit: 02efc28dff062b60e0ee5e1c425b438d44ce9c28
 2009-02-16 02:12:13 +00:00
Sam Tobin-Hochstadt
5312746af4 revert back to regular parse type 
svn: r13619

original commit: 204806a13acc831a2c6954c4b9ef00e3239c2e86
 2009-02-15 21:57:30 +00:00
Sam Tobin-Hochstadt
3ac20b4930 test fix 
svn: r13456

original commit: 2b5413539433b9a0b2a8d615b74b16cdb49c6d95
 2009-02-05 15:05:59 +00:00
Sam Tobin-Hochstadt
2f4a6079e0 use exact-integer? instead of integer? 
use (Listof Any) instead of List

svn: r13437

original commit: 52d711e0bdaddd9f516a63cbc19b7e478fde9c77
 2009-02-04 23:06:35 +00:00
Sam Tobin-Hochstadt
5570ebc151 Fix handling of inexact integer literals. 
svn: r13294

original commit: 2962c0bfa7f13a16406248abf891c574fe08b006
 2009-01-27 17:55:10 +00:00
Eli Barzilay
9f15554e02 newlines at EOFs 
svn: r13105

original commit: d1a0086471bf5e9553a9b056b26286c427831d38
 2009-01-14 03:10:47 +00:00
Sam Tobin-Hochstadt
53a5f53d15 Make inference work in subtype tests. 
Add test for top-arr.

svn: r12746

original commit: 08fa300d14085b678a0d0fd357613649e2e459b9
 2008-12-08 18:26:58 +00:00
Sam Tobin-Hochstadt
fe7eb33c59 Fix time-apply, add test 
svn: r12727

original commit: dd8e878cb442a7b9e6b7204552a3856073b6131d
 2008-12-08 03:12:38 +00:00
Sam Tobin-Hochstadt
f168aa06c3 Add `current-continuation-marks' 
Add some exns
Test require substructs

svn: r12726

original commit: 238b248ad5304189396008634e8a62780fb8fb7f
 2008-12-08 03:10:12 +00:00
Sam Tobin-Hochstadt
df8d714918 Enable require-typed-struct with substructures. 
Fixes PR 9053.
Move test to succeed.
Add some new bindings.

svn: r12709

original commit: e6eb482de48b8d82a09a9a18db71a2879a5e620a
 2008-12-05 00:25:02 +00:00
Sam Tobin-Hochstadt
2a450f220f Store contract in Base type representation. 
Fix tests, pattern matches.
Contract is *ignored* in equality testing.

svn: r12227

original commit: 477fa5581e1c9923df030e0eea86a62c367f014f
 2008-11-03 23:58:29 +00:00
Sam Tobin-Hochstadt
ea2ca9402c Reorganize initial type definitions to use DSL. 
Split special type names into base-types-extra.ss
Fix test require.
Base types are now require in main.ss

svn: r12203

original commit: e69f6e126ad851175ea2ca8ce5f8381d238d1a40
 2008-10-31 17:12:16 +00:00
Sam Tobin-Hochstadt
76916addfd Fix types of syntax tests. 
Test for double instantiation.

svn: r12164

original commit: acfba8a390e9f5638daad8ff8220da4ffc04f004
 2008-10-29 02:15:50 +00:00
Eli Barzilay
e94b7c2f70 TS tests now work, and are not noisy when succeeding 
svn: r12119

original commit: 0ccbac0647a6a0dd129d9b7531514cfdca24d58d
 2008-10-24 19:50:24 +00:00
Sam Tobin-Hochstadt
fd7442f6ed New test from John, fix tests to work with new code. 
svn: r12108

original commit: d93505082f85d471ea62f73ae0c402443d0e15c4
 2008-10-23 23:34:00 +00:00
Sam Tobin-Hochstadt
5308710cd1 Fix tests with even? 
Add test for struct syntax info.

svn: r12095

original commit: 24c4d0b3fc067072677cd6037657247a315aaccb
 2008-10-22 21:07:31 +00:00
Sam Tobin-Hochstadt
a8185f5048 Add new test for better error reporting. 
svn: r12082

original commit: c6c4a049ee8b658459b5bf6b1564aced1afdd7b8
 2008-10-21 17:58:57 +00:00