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
8c928ca0bf
Fix subtyping, printing, inference for refinement types.
...
svn: r14403
original commit: 6d07cf912830c478b22ef005bbf267cda3d06f2a
2009-04-02 03:03:44 +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
5949a60cf7
fix some small bugs
...
svn: r14352
original commit: ebdd60a3a3cbdc7904f71c93316379caf866afdf
2009-03-30 12:51:02 +00:00
Stevie Strickland
f288f98416
Sam and I did some work to allow automatic inferred linking in
...
(define-values/)invoke-unit/infer.
svn: r14315
original commit: 99aac7d7455c3ce9189d038f781558b6bd696424
2009-03-27 13:47:12 +00:00
Sam Tobin-Hochstadt
44a858ba4a
add `remove-duplicates'
...
svn: r14278
original commit: f48dbda950dc70be1966a352ded70bd12a339a24
2009-03-25 17:22:09 +00:00
Sam Tobin-Hochstadt
fc897da813
sync ts to trunk
...
svn: r14257
original commit: fcc2a24545b0b4f71052457acdf8097f084a4b27
2009-03-25 01:07:34 +00:00
Sam Tobin-Hochstadt
23a33e158c
Add fake type name -Real
...
Add `scheme/math' types from Jos Koot.
svn: r14251
original commit: 43443652b8d4c0b73ec950c3ead818c262ddf0bb
2009-03-24 17:49:15 +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
bb80c7809e
Types for `scheme/path', from Harsha.
...
svn: r14240
original commit: 6108dc873cb9c07a86f64fb20ef6b5f89f3c79ab
2009-03-23 17:25:57 +00:00
Sam Tobin-Hochstadt
31acd517ab
Typed wrapper for file/tar
...
contributed by YC.
svn: r14233
original commit: 746446d4ac5f05a8876859a6a1de26541d654e5c
2009-03-23 15:34:34 +00:00
Sam Tobin-Hochstadt
2e7fb8105f
improve types for foldl, foldr
...
svn: r14228
original commit: bb2268b9be8243a7e928df4e83ef6bc19a68a213
2009-03-23 12:02:46 +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
3bcaed5d41
add new section about libraries in ts
...
svn: r14145
original commit: fee4c1944dca20f41b0dc3217dfaf3295ee89215
2009-03-17 12:43:20 +00:00
Sam Tobin-Hochstadt
63d2f3ecb2
Fix docs for HashTable.
...
Add string->list, list->string, sort.
svn: r14138
original commit: 6b5b193815bd469a2119e1227503fe446f89e8d2
2009-03-17 02:14:11 +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
d3e559a233
more work on lambda
...
svn: r14073
original commit: c4f5fd3773100a15690ef37c1f3f7b331db64d03
2009-03-12 15:27:24 +00:00
Sam Tobin-Hochstadt
feaf570b14
new version of abstract-filters that handles multiple values/arguments properly
...
strengthen contracts
improve match expanders
svn: r14057
original commit: c51dd1e8b058b99367a7a0fb8df4135f04cfcd4c
2009-03-11 19:11:50 +00:00
Sam Tobin-Hochstadt
61750cad33
tc-lambda-unit now compiles
...
generalize tc-results to handle drest
svn: r14044
original commit: 058e78ab17c0b749196849660d3d580c08df6c9a
2009-03-11 00:15:13 +00:00
Sam Tobin-Hochstadt
11f325e1c6
Correctly report syntax def from define-struct:
...
Add alias in type env when rename transformer is used.
svn: r14034
original commit: 79ee9fbee8868a4f5911356d2c1d2a9b0d7fd016
2009-03-10 20:29:02 +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
2afd5ece54
everything except lambda, app units work
...
svn: r14008
original commit: 8b7497cccfa8dcc264bf16f90641f2f3f99084b2
2009-03-07 23:19:41 +00:00
Sam Tobin-Hochstadt
fc229e12cb
New true-filter and false-filter abbrevs
...
Fix for Stevie's d-s/c fix.
tc-expr now compiles
svn: r14007
original commit: 18e03efc840e0df5dec1a6333a0d6ba42fc10bb1
2009-03-07 22:51:54 +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
ad00361e3a
Add provides
...
Use Type/c instead fo Type? in contracts
New if typechecking.
match expanders for tc-result.
svn: r13996
original commit: 2dbd82e587a87663afacefc5524553c4fc2246ed
2009-03-06 22:25:19 +00:00
Sam Tobin-Hochstadt
b33c622891
fix bugs
...
add env+
svn: r13994
original commit: aa32d9b928c7edaf68356775659dde96096b4123
2009-03-06 21:27:05 +00:00
Sam Tobin-Hochstadt
89f647fde1
combine-filter
...
update
svn: r13992
original commit: d293635cb7f2894111ec06339422a24c7fb7ef39
2009-03-06 20:54:39 +00:00
Sam Tobin-Hochstadt
af10c650fa
fix typo
...
svn: r13989
original commit: e2a017f331b09745540bf47873cd9f1539f878ca
2009-03-06 19:51:33 +00:00
Sam Tobin-Hochstadt
c6ccbfc76d
Remove some old debugging printfs in soon-to-be-dead code.
...
Fix some requires.
Start implementing metafunctions.
Strengthen contracts on filter-sets.
Rename N B Sym.
svn: r13988
original commit: 6c30e2d9e7c9d983f97092ad3aad8268e0560cb5
2009-03-06 19:50:42 +00:00
Sam Tobin-Hochstadt
bc1da3d537
All subtype tests now pass.
...
svn: r13963
original commit: 511d641b450b788760ca9207b586fe0792a4744e
2009-03-05 00:33:48 +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
6cafdd4a5d
all of private, and tc-structs, now compiles
...
svn: r13956
original commit: 00721c10c80eae7fe51bea7593c1cab181820716
2009-03-04 19:49:20 +00:00
Sam Tobin-Hochstadt
361712cb27
base-env now compiles
...
svn: r13954
original commit: e53a851bc21a1759161e0831730cc97c36743e2e
2009-03-04 19:28:48 +00:00
Sam Tobin-Hochstadt
5b48a2df26
more stuff compiles
...
svn: r13952
original commit: 37aa9746ea98b683b8b4d90193f20d6e51e9a5af
2009-03-04 18:53:37 +00:00
Sam Tobin-Hochstadt
0ff58e7208
env now compiles
...
svn: r13950
original commit: 78fe918457e1aea1f7d0acfcf9a47d0893b5b453
2009-03-04 18:39:19 +00:00
Sam Tobin-Hochstadt
85369a60d1
infer now compiles
...
svn: r13949
original commit: 84d13347d7929b6dc71a91701b46d718b4775cb0
2009-03-04 18:33:29 +00:00
Sam Tobin-Hochstadt
8af795574a
undo this move
...
svn: r13947
original commit: 7847d358426bc9b7d22547b33cddf06de89e8336
2009-03-04 16:37:00 +00:00
Sam Tobin-Hochstadt
1716037a42
more movement
...
svn: r13945
original commit: e8fa7fd4dde516bd336c45c817e65e9682ab2a43
2009-03-04 16:32:50 +00:00
Sam Tobin-Hochstadt
e8aa501462
more stuff works
...
svn: r13935
original commit: c819793a828c0688d156dee35045848e1b775345
2009-03-04 00:13:54 +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
0674606052
all of types/ now compiles
...
everything that doesn't use Un out of convenience.ss
added -out form for requires
svn: r13931
original commit: f05fcfcf13ccb0e8f57edc86191fdaa6fef4da91
2009-03-03 22:45:57 +00:00
Sam Tobin-Hochstadt
c98a07ebb7
convenience now compiles
...
svn: r13930
original commit: 44902149cbc6f0ed024e2e761700a6c83f4ab6df
2009-03-03 22:30:08 +00:00
Sam Tobin-Hochstadt
207b5ebab2
More file movement
...
svn: r13929
original commit: bbfb99bc77cdb16e9178ad45d0d1440f6fc91f92
2009-03-03 22:26:15 +00:00
Sam Tobin-Hochstadt
b52de7d71f
union.ss compiles
...
svn: r13927
original commit: 20628199f58d659b7a62f13b56a4b7e8bb8c2196
2009-03-03 21:55:11 +00:00
Sam Tobin-Hochstadt
5d73d8eae2
fix make-arr
...
svn: r13926
original commit: 0eda7878d5b7e7b9cbaac8db4794cc5cd94ecfdd
2009-03-03 21:53:26 +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
