Sam Tobin-Hochstadt
f4ebee3d68
Sync to trunk again.
...
Fix require/contract.
Subtyping, printing for refinements.
svn: r14626
original commit: f2bffcabab6e027a2cd59dc78ab0fd5a77be99c7
2009-04-27 18:26:00 +00:00
Sam Tobin-Hochstadt
8b96f98595
compiles again
...
svn: r14625
original commit: 8cbdf3ee951ce80178ff79b135906cb3d56c5a7e
2009-04-27 16:06:54 +00:00
Sam Tobin-Hochstadt
415acf88ff
Clarify docs.
...
svn: r14615
original commit: 119fd5bc95aa637fdee27c30223ccb63f80fdd25
2009-04-26 17:55:02 +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
93291d7e72
type for append-map
...
svn: r14579
original commit: 062008c7586ec2192d1a3b51f6a27402a8e7efb9
2009-04-21 22:51:55 +00:00
Sam Tobin-Hochstadt
4d2d5bfc9f
remove debug printf
...
svn: r14578
original commit: 1edd4770f4f73daf82601a20d9e4c44854fee261
2009-04-21 17:43:33 +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
17c0dbbcd3
Infer on ((lambda
...
add types for matchable? and match-equality-test
svn: r14570
original commit: 8918328e8a06d4cc7973bd94cb6c436e286d0be1
2009-04-20 22:41:37 +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
e5d7c897d4
document quote for more types
...
svn: r14480
original commit: 2332f2f50ab0da2d6455742ce07e3d1aa3f26b86
2009-04-09 22:27:25 +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
d946fc3b79
Document typed-scheme/no-check
...
svn: r14465
original commit: 95988f86a2c60eed0edfd4710b9064ea035efb62
2009-04-08 15:04:03 +00:00
Sam Tobin-Hochstadt
ac03c56716
Fix static struct info
...
svn: r14433
original commit: d57f1a68a4303e0c52ca9f3e383719c3f9e4591f
2009-04-06 06:18:06 +00:00
Eli Barzilay
b155c5e8f0
Changed @itemize{...} to @itemize[...] (done after comparing the doc
...
tree and verifying that there are no changes).
(Also fixed a few bugs that were in the code)
svn: r14427
original commit: c0a8a0122200209e38dff1959d79b58f847814db
2009-04-05 17:46:20 +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
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
