Sam Tobin-Hochstadt
1a133d64f9
Add test of andmap.
...
svn: r14928
original commit: 5b7249eea551979eac88b199b270f5800cdad42a
2009-05-22 19:04:22 +00:00
Sam Tobin-Hochstadt
ec5105962f
Fix keyword argument handling - sort of hackish.
...
svn: r14924
original commit: c8828d0638d6d6ccc1e437ae79e5b82a9937b6ce
2009-05-22 18:18:34 +00:00
Sam Tobin-Hochstadt
4e1108f138
Convert to syntax-parse.
...
Use tc-results->values where appropriate.
svn: r14891
original commit: 06e252b1a15cfe159f4f6c2047ccbaf01e895009
2009-05-20 23:54:14 +00:00
Sam Tobin-Hochstadt
8ccd47ab1c
Remove lots of debugging code.
...
Use `needs-resolving?' in subtype.
Make resolve-{app,name} handle not-yet-bound names.
svn: r14890
original commit: c4762078e32003f60402872f27ce94f2561f7b15
2009-05-20 23:40:03 +00:00
Sam Tobin-Hochstadt
1265433a2e
Sort unions on re-construction to make contract happy.
...
Use resolve-once more.
Improve `overlap', in particular use keys.
Resolve names and apps before doing structure comparison.
svn: r14884
original commit: 19c4aa6ba450fdbcaf927fd6391987cc4deca69e
2009-05-20 18:35:59 +00:00
Sam Tobin-Hochstadt
fc2b7f344d
Pass the right argument to unfold.
...
Fix tc/rec-lambda/check for tc-results in appropriate places.
svn: r14871
original commit: 6d1257e624f6165003af3ddb53d8a3fdf91a14ce
2009-05-19 16:27:44 +00:00
Sam Tobin-Hochstadt
65c216e99d
Add flag for testing unreachability in env+.
...
Use flag in if-unit.
svn: r14870
original commit: eedafc034b99545161a3a3d254cbf43d73cc8b55
2009-05-19 15:24:55 +00:00
Sam Tobin-Hochstadt
e8872656b5
Add test for unreachble code with expected type.
...
svn: r14869
original commit: 0cd135c3bb0f2250fd23613ad07fc3d298eeb052
2009-05-19 15:24:12 +00:00
Sam Tobin-Hochstadt
164416b707
add syntax locations to cond* macro
...
svn: r14868
original commit: f71249500992e1b9a0729b1340d7ecc20cd8d563
2009-05-19 15:23:57 +00:00
Sam Tobin-Hochstadt
a3d05e4cec
Remove tc/if-twoarm/check
...
svn: r14860
original commit: 5f1895cfb587de8072572cdd3090db8e355a3d26
2009-05-18 22:19:05 +00:00
Sam Tobin-Hochstadt
2799f30a5f
take path elems from the end
...
svn: r14859
original commit: b8f944679e9ff255d094c4b50baa619364ae2813
2009-05-18 22:18:47 +00:00
Sam Tobin-Hochstadt
0c647544df
Parse (A -> B : C) correctly, B can't be a `values'
...
svn: r14858
original commit: e269f7aa7c0bf75b823e5f67931b4a9c5fb61723
2009-05-18 22:18:19 +00:00
Sam Tobin-Hochstadt
d6a1b098ca
Make env struct transparent.
...
svn: r14857
original commit: ef095c931a30c98adf4dc2f326780f62173be9bd
2009-05-18 22:17:32 +00:00
Sam Tobin-Hochstadt
3a21f89ecd
make struct-exec a little more interesting
...
svn: r14828
original commit: 7a24d39348fc652863895491310d101cfd7513cd
2009-05-15 15:47:57 +00:00
Sam Tobin-Hochstadt
936629c1b1
Fix handling of structs-as-functions.
...
Subtyping should look up names in both positions.
svn: r14827
original commit: ddefd28d6d2bc1b5bacb7f2ef6667e90d6ba8165
2009-05-15 15:47:22 +00:00
Sam Tobin-Hochstadt
16f0b6a30b
Fix typo so cdrs in paths are handled.
...
svn: r14826
original commit: b2cf9c0006bb8db35d1de5a0d48042d8958b48c2
2009-05-15 15:05:53 +00:00
Sam Tobin-Hochstadt
bea5e0d9b1
turn printing back on
...
svn: r14817
original commit: 792bacbd557e6395516f2d1d6686ce527014444e
2009-05-14 18:57:43 +00:00
Sam Tobin-Hochstadt
e81e3049b0
add test of `apply values'
...
svn: r14816
original commit: af623cbdc7a021caefe909460df7ec59212e138f
2009-05-14 18:57:23 +00:00
Sam Tobin-Hochstadt
077ec2440e
Handle ValuesDots in check-below.
...
Fix typo in valuesdots handling in values->tc-results
Handle ValuesDots in do-ret.
Don't try to construct silly wrappers for `apply values'
Don't use rest as list extension if it's #f
Fix tc-result handling for check-subforms/check
Add stronger contracts for Scope
Always generate substitution for infer/dots.
Fix type of `time-apply'
svn: r14815
original commit: 1047f7625d2dfa53d2896fa44fde732873d86ba4
2009-05-14 18:57:02 +00:00
Sam Tobin-Hochstadt
e9a029e899
Add some contracts in tc/plambda.
...
Fix handling of tc-results vs types.
svn: r14812
original commit: 775fa34f5f0ffeef340e477192606a5beea4734a
2009-05-14 15:11:33 +00:00
Sam Tobin-Hochstadt
37d71ded6f
Fix type->contract of function types.
...
svn: r14810
original commit: d8c613494e838711d2b85cc61607238d4c36baad
2009-05-14 14:45:24 +00:00
Sam Tobin-Hochstadt
30b3106020
Add start of type->contract test suite.
...
Add test for poly annotation failure.
svn: r14809
original commit: b30338e0c55fcef33a43a844d963ad8cdcee998b
2009-05-14 14:45:07 +00:00
Sam Tobin-Hochstadt
91b2e1d687
inference for filters and objects
...
svn: r14799
original commit: a47bb9e8c398c86607071632cce1bcf8f840d310
2009-05-13 21:25:56 +00:00
Sam Tobin-Hochstadt
7b43128a36
add require
...
svn: r14798
original commit: 88159e24792f0e69d324b31b5fabb4b91e4e4ca9
2009-05-13 21:25:41 +00:00
Sam Tobin-Hochstadt
8add889cfe
Fix two tests
...
svn: r14797
original commit: 5f1b4a7daf99c2db91b1b9c1685a0dc9ef65614e
2009-05-13 16:17:01 +00:00
Sam Tobin-Hochstadt
d825cc12d7
rationalize get-type/infer to handle tc-results.
...
Fix tc-let to handle tc-results in various places.
svn: r14796
original commit: a3fb3575f9daccccc8ec053d585f3e8e9e192748
2009-05-13 16:16:39 +00:00
Sam Tobin-Hochstadt
b9ec9f145e
Enable inference for ((lambda with rest args when no annotation on rest arg
...
svn: r14794
original commit: 8ca532220a402daace37d5b539d5c95c85e83544
2009-05-13 14:34:44 +00:00
Sam Tobin-Hochstadt
67420e1988
Contracts for lexical-env
...
Fix type of quotient/remainer function
svn: r14792
original commit: f349525244ffac48741b12a147789cbbedd21852
2009-05-12 21:51:01 +00:00
Sam Tobin-Hochstadt
22907160c9
formatting
...
svn: r14791
original commit: 54eb4cc314dc31b7afdffcf5a1e00d70e02721fd
2009-05-12 21:50:16 +00:00
Sam Tobin-Hochstadt
dd1270237f
Fix inference when filters/objects are not needed
...
svn: r14790
original commit: 8fc6e38b1195cae7463ca277a8e2b06678961eb7
2009-05-12 21:31:21 +00:00
Sam Tobin-Hochstadt
4b6d8992b8
Special case for `call-with-values'
...
handle subtyping with ... args
svn: r14788
original commit: a8a64cfa7c6f50b7f01ecfe4f06f02e4ed769708
2009-05-12 20:56:32 +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
2c3994544e
Move `hashof' contract combinator to utils/utils.ss
...
Fix frees for arr to use `fix-bounds' properly.
Match : symbolically in ->*
svn: r14786
original commit: 5300481176a6067d1cf561aeb329ecc6d8f0c99f
2009-05-12 19:53:48 +00:00
Sam Tobin-Hochstadt
f33aee2881
Type goes before symbol in drest.
...
Handle tc-results properly in a few places.
svn: r14785
original commit: ce9f98098d8c6429e8586d3ff0cbe1cca2477ba0
2009-05-12 16:53:24 +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
d7d9932f89
Allow objects to be specified in ->
...
Fix overlap to handle overlapping base types (numbers)
svn: r14781
original commit: 7b4081eef114343991472b0839e336d35301802a
2009-05-12 15:13:17 +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
9f7ae2f23f
match based on symbol for : in ->
...
svn: r14758
original commit: fbae33b1c3d49eca4a8f7d08bcd88f13d10eb4b1
2009-05-08 23:31:33 +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
43689172b7
polymorphic lambdas are true values.
...
Use correct pattern.
Return the appropriate types from apply, not the Values struct in the rng.
svn: r14756
original commit: 1444c07c0af3f1ebfffe8db7e3782e96711ea2ef
2009-05-08 23:11:57 +00:00
Sam Tobin-Hochstadt
a7cdd78864
Provide tc-literal.
...
svn: r14754
original commit: c2da52d661d95092e55a3bdc069949f2a1fe5683
2009-05-08 21:41:23 +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
358a8d5ca6
Remove debugging printfs.
...
Comment tests back in.
svn: r14748
original commit: 3575ba8d5fb8ee8378c69165e88f1af444795a2c
2009-05-08 19:10:12 +00:00
Sam Tobin-Hochstadt
d2bea2a771
Add missing file.
...
Fix bug in struct type creation.
Add ability to disable printing dynamically.
Fix recursion into objects & paths.
svn: r14747
original commit: dbe5556b45a036e0457dc2f5ae6abcfad31d2947
2009-05-08 19:00:07 +00:00
Sam Tobin-Hochstadt
c6953e5403
All code from old app is now in new app
...
svn: r14740
original commit: d2cc1b2400a6c15c4103de0a0f4f2561cd0c9ce9
2009-05-07 20:17:38 +00:00
Sam Tobin-Hochstadt
f031868e1b
Type inference for ((lambda with rest args
...
svn: r14739
original commit: aa887be6d2def1ba9f3c57abb82b31f771ff35f9
2009-05-07 17:40:29 +00:00
