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

647 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
51eff5eeb3 improve docs for opaque types 
fix pr 10106

svn: r15723

original commit: 79c4f9651eb49299e22631d5a0342f84e52237d9
 2009-08-12 22:22:54 +00:00
Sam Tobin-Hochstadt
f5e92fdd23 fix pr 10097 
svn: r15722

original commit: 614980f6ec32bab5f18aada279d008501ec21898
 2009-08-12 22:05:41 +00:00
Sam Tobin-Hochstadt
4bc1a32ad1 fix 9979 
svn: r15721

original commit: 1e5cb7d603ff13ce47ad4e09dec9ada8f9bb46ac
 2009-08-12 21:55:04 +00:00
Sam Tobin-Hochstadt
0b7ccf2e4b fix 9967 
svn: r15720

original commit: 6af7d327099ad47227a8df7e513b61e7341178a7
 2009-08-12 21:52:21 +00:00
Eli Barzilay
01e9263aa0 use spaces instead of tabs to indent output 
svn: r15719

original commit: 95f4d1eefe54b69b5ea81de4e4a0cda55e261a99
 2009-08-12 21:37:33 +00:00
Sam Tobin-Hochstadt
031ca17732 improve types for numeric predicates 
fix pr 9767

svn: r15717

original commit: 50b7a0b190ffea945aa012ad1be005bf3bd15030
 2009-08-12 20:42:20 +00:00
Sam Tobin-Hochstadt
c555ae3a9b Improve error messages from require/contract 
svn: r15716

original commit: 35336e77b86d137b21f36f1f216bd50ae98d0050
 2009-08-12 20:28:08 +00:00
Sam Tobin-Hochstadt
3df1a5b1a8 Allow filters/objects to be provided to untyped code. 
svn: r15706

original commit: 50545830f2bc3176fb0e34d828d8fdbd4c6eb7fc
 2009-08-11 21:00:57 +00:00
Sam Tobin-Hochstadt
2b0465d253 add getenv and pretty-print etc. 
svn: r15705

original commit: c27783830a1846857c82478e50c7380faa5f861b
 2009-08-11 20:44:45 +00:00
Sam Tobin-Hochstadt
534e5e48aa Move student expansion above or. 
Improve printing when no object.

svn: r15704

original commit: 28be0897c32bf7d614c0a339c9a6d1271e709b57
 2009-08-11 20:19:19 +00:00
Sam Tobin-Hochstadt
4a448aa21d document define-struct/exec: 
svn: r15703

original commit: 9649e10df843371f6c0436eb2024547767c38d79
 2009-08-11 20:05:31 +00:00
Sam Tobin-Hochstadt
018b998e24 Prohibit predicates, unions of tvars in contracts 
Add vector?

svn: r15701

original commit: b23016f86afbdd98a73fcb8f71d71a6ee5b8891c
 2009-08-11 19:35:34 +00:00
Sam Tobin-Hochstadt
af1593c0ea New contracts for hashtables, vectors, boxes 
svn: r15646

original commit: 1ea71ea94b86f9454825bebbc86215b73ede3f19
 2009-07-30 21:15:16 +00:00
Sam Tobin-Hochstadt
71e1b33d99 struct->vector 
svn: r15645

original commit: 55c9f55cf3e127fa748c619e78adffa5215b3750
 2009-07-30 21:00:04 +00:00
Sam Tobin-Hochstadt
93bdf0ebba remove c 
svn: r15644

original commit: 1977ab070999d88811c345ea7832432e1a4b3ca0
 2009-07-30 20:13:28 +00:00
Sam Tobin-Hochstadt
b168bed203 Add some hash functions 
svn: r15642

original commit: 7888fa5dc66fef9d8fe20063d6f7d71415130ec1
 2009-07-30 19:30:05 +00:00
Noel Welsh
c1b6706298 Add types for: 
- regexp? 
- pregexp? 
- byte-regexp? 
- byte-pregexp? 
- regexp 
- pregexp 
- byte-regexp 
- byte-pregexp 
- regexp-quote 
- read-bytes-line

svn: r15595

original commit: 9c7584b8c80771bed4d2983617695c6564b719c5
 2009-07-28 10:41:27 +00:00
Eli Barzilay
40fa4f26b2 Newlines at EOFs 
svn: r15380

original commit: a70bf64fd9d68487c128282ca85a8964e1592711
 2009-07-04 02:28:31 +00:00
Sam Tobin-Hochstadt
6d02292d53 Use let/ec instead of let/cc 
let/ec: and let/cc:
type for call-with-current-continuation
Start on ImpFilters

svn: r15220

original commit: 5b79cd7c0c7ec1298573d15b0c79abd403cdcf58
 2009-06-19 18:01:33 +00:00
Sam Tobin-Hochstadt
36dd39a994 add index entries 
svn: r15206

original commit: d7f0c681c7504224a87e9fa1d4604db9cdfc11c1
 2009-06-18 17:02:40 +00:00
Carl Eastlund
1a71d5e3a3 Added types for string-copy and string->immutable-string. 
svn: r15202

original commit: a06c6b38aa839860a6157b0644d7ab17ba964167
 2009-06-18 00:59:04 +00:00
Carl Eastlund
ee04be2096 Added types to the srcloc structure. 
svn: r15201

original commit: 21033a3e3c9af14c0bd06c291b0e9c779e43b869
 2009-06-17 22:28:21 +00:00
Carl Eastlund
db8dddad38 Added types for: 
- keyword?
 - string->keyword
 - keyword->string
 - char-upcase
 - char-downcase
 - char-titlecase
 - make-rectangular
 - make-polar

svn: r15200

original commit: f110157ac27b3dd3bac54dbed99386ae2ba66631
 2009-06-17 21:08:35 +00:00
Sam Tobin-Hochstadt
c8cf1953e5 Use vector-immutableof' and box-immutable/c' to handle boxes and vectors. 
svn: r15199

original commit: cfd65e7fa2ec01f345c6092c308c6894557dc7b6
 2009-06-17 20:49:13 +00:00
Carl Eastlund
f2d1a88bf5 Added a test for new datum->syntax type clauses. 
svn: r15159

original commit: 6ae56e5348b9bcf1033a5f67242aab6769d32ca1
 2009-06-12 23:36:08 +00:00
Sam Tobin-Hochstadt
f7019a6a2b Merge in changes to Syntax types from Carl. 
svn: r15156

original commit: bc6d606a604a999da46a18b7d01b8d39c7b0b7cb
 2009-06-12 20:53:47 +00:00
Sam Tobin-Hochstadt
ab3e94b6e2 Add NoFilter and NoObject to represent no information about filter/object. 
Handle these properly in check-below (with test).
Use NoFilter and NoObject to make if typechecking work properly with filters.
Reject mismatched filters/objects (with test).

New version of require/typed that handles opaque and struct requires.
Reorganize docs around this.

svn: r15155

original commit: 7b82069fa0805e3de16c9a49d6c303789fc75419
 2009-06-12 19:04:39 +00:00
Carl Eastlund
3e612cbb93 Corrected types for source location in lists passed to datum->syntax. 
Corrected types for peek-* functions (which may return EOF).
Added type for read-byte.

svn: r15137

original commit: e53b944fb3261c20322965f7671e08df5f7c5608
 2009-06-10 23:38:52 +00:00
Sam Tobin-Hochstadt
bbcaf97689 export type names 
svn: r15134

original commit: cdca1d610894cb93ac1268c2bd4ca3cebbf69368
 2009-06-10 21:50:50 +00:00
Sam Tobin-Hochstadt
9428ed0010 Fix a bunch of types and function types 
svn: r15133

original commit: 7d9f506760dd7d068641eea5f89c15e36a45d837
 2009-06-10 21:46:52 +00:00
Sam Tobin-Hochstadt
a9bff72959 add split-at and append* 
svn: r15119

original commit: 513987519940efd23a801dacf8ba35364758228d
 2009-06-08 15:54:05 +00:00
Sam Tobin-Hochstadt
17a3d0944e hash table keys are contravariant, not covariant 
svn: r15077

original commit: e14e58c8df07a874c5a9093c9453de92f3ab04f2
 2009-06-04 14:38:59 +00:00
Sam Tobin-Hochstadt
b659f1b16a change define-requirer to use library paths to fix build 
svn: r15041

original commit: a255514ba1bba6b92f2534537ba4706ceed2bf6b
 2009-06-01 17:15:22 +00:00
Sam Tobin-Hochstadt
e9b660cc63 move additional tests to test dir 
svn: r14963

original commit: c1eb25e47fe682861017fad901e23e0e9f626045
 2009-05-23 23:00:23 +00:00
Sam Tobin-Hochstadt
63589b9574 Improve error messages and printing. 
Turn off contracts.

svn: r14947

original commit: c27dccb9d8a5e475bc4b592995c183e1d946cd2b
 2009-05-22 22:30:24 +00:00
Sam Tobin-Hochstadt
ec01788aeb move new-if to if. 
svn: r14942

original commit: 844cbc678210650cf8c0f7982f1cc4179b46d20b
 2009-05-22 22:06:48 +00:00
Sam Tobin-Hochstadt
aecfeceb3b remove obselete code 
svn: r14941

original commit: 2a55bec3352dff0b9d29ba72d5df61bb0a16b94f
 2009-05-22 22:05:56 +00:00
Sam Tobin-Hochstadt
136f8c4f80 Instances can have any Type as their class. 
Fix some handling of tc-results as pertains to classes.
Bottom is an ok Class.

svn: r14938

original commit: 7d239a4dfaa5d44e2bdbb8ebc31b72bbd3f87b61
 2009-05-22 21:41:12 +00:00
Sam Tobin-Hochstadt
39eca53d55 Use tc-result1: instead of tc-result: in object handling. 
Use tc-results->values instead of bogus version.

svn: r14937

original commit: 0feb99f6bc08fdff518cf9587438ab4e46493166
 2009-05-22 21:19:46 +00:00
Sam Tobin-Hochstadt
7d38e20994 Avoid spurious quoting. 
Use display instead of printf.

svn: r14936

original commit: e92a8dd2f546b2e429e6776b064de119c2593852
 2009-05-22 20:23:15 +00:00
Sam Tobin-Hochstadt
09d6ee6b77 Untyped top-level variables are not an internal error. 
Handle latent filter of LBot in values->tc-results when there are no formals.
Use check-below properly in tc/mono-lambda/type

svn: r14935

original commit: 2ee1d2b5962343cd86e520879e88b7e092cf3bb7
 2009-05-22 20:07:36 +00:00
Sam Tobin-Hochstadt
85ceb35511 Add contract for make-pred-ty 
svn: r14934

original commit: 23a735ee2ff321b69746f2cdacb01fbc0c874b5e
 2009-05-22 19:43:31 +00:00
Sam Tobin-Hochstadt
44e0580370 Fix construction of predicate type for `declare-refinement'. 
svn: r14933

original commit: 7237ad6046a636b4ce0f5f1354fc0ff9237e416c
 2009-05-22 19:26:06 +00:00
Sam Tobin-Hochstadt
e48efb7618 Handle return of Bottom to context which expectes multiple values. 
Check values length before using for/and.
Add back ormap/andmap special case for ... args.

svn: r14930

original commit: 7e6c1be6b0886bcd73e308930f313341eaa73add
 2009-05-22 19:09:19 +00:00
Sam Tobin-Hochstadt
ff29088667 Add unit tests for andmap of ..., Bot return to MV context 
svn: r14929

original commit: e772687a583966b882912904b9a2cfe365e1bb17
 2009-05-22 19:08:12 +00:00
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
Sam Tobin-Hochstadt
783581aa49 Handle polymorphic function application. 
Paths work with car/cdr.
Fix #%require/#%provide top-level handling.

svn: r14735

original commit: 50696a08a31258428edf4af9d58c84d763a2bc17
 2009-05-06 22:45:12 +00:00
Sam Tobin-Hochstadt
e4997f6176 Remove `make-arr/values' 
Accessors now have appropriate latent objects
Handle function application for unions, error, mu, parameters

svn: r14724

original commit: 07341c605b9660333444665265a4fb3104efdc6e
 2009-05-05 23:03:02 +00:00
Sam Tobin-Hochstadt
dfcd59c8fa Handle rest args and case-lambda in app. 
Fix parsing.

svn: r14722

original commit: 59dbcade9c888afac614dba06b4c93cdff64c6b7
 2009-05-05 19:10:21 +00:00
Sam Tobin-Hochstadt
7a07559474 Various constants are true. 
Remove useless code.
`combine-filter' now handles producing the new type/object in appropriate cases.
Move student expansion later in pattern match.
Print out top-level tc-results.

svn: r14721

original commit: 6b89062d6a2e6b35fb24c71d7f0fb839d49546b1
 2009-05-05 16:27:18 +00:00
Sam Tobin-Hochstadt
c5bb0e753d `values->tc-results' needs the formals 
Fix values->tc-results for ValuesDots
Don't generate problematic nested lists.
Fix stupid typo.
Parsing of tc-results now doesn't use parsing of values, which does something different.

svn: r14713

original commit: 9c538764dcd499d9b8a04b415a88835ccd55f1c9
 2009-05-04 18:49:56 +00:00
Sam Tobin-Hochstadt
f0ec51670c fix values->tc-results, doesn't compile yet 
svn: r14688

original commit: cce7f91b78955206b44c180c77b9c6d78be88ce4
 2009-05-02 12:46:53 +00:00
Sam Tobin-Hochstadt
da63bcbcb7 more tests 
svn: r14685

original commit: 16305c20ff620f56df136583663a735b02f9a3a8
 2009-05-02 01:45:50 +00:00
Sam Tobin-Hochstadt
4627335b14 Fold tc/let-values/check into tc/let-values. 
Remove printfs.
More metafunctions to handle splitting and merging filter sets.
Handle `delay', `list', `list*'
Implement tc/funapp for the simple case.
Make `id-from' a stxclass.
Shuffle code around so that it compiles.
Type parsing now handles multiple values properly, and has a values and results entry point.

svn: r14680

original commit: b4d100d60cb99e714374d2db3c75a36167b109cc
 2009-05-01 21:18:23 +00:00
Sam Tobin-Hochstadt
4255e1dfab Add `single-value' function, should be used more. 
Construct returns correctly in lam-result->type
Add typechecking for `values' applications.
Extend `ret' to handle dty/dbound.
Define conversions from/to values <-> results
Handle multiple values at the repl.

svn: r14665

original commit: 91f5c269642ec9ecc62efabcc83131db539fcedd
 2009-04-29 22:54:29 +00:00
Sam Tobin-Hochstadt
e79d66e9b8 Rename id to mk-id to avoid name clashes. 
Start on new tc-app as copy.

svn: r14660

original commit: c5b4ac4f219f2421ebc2743b2c8afa038109f389
 2009-04-29 19:52:53 +00:00
Sam Tobin-Hochstadt
9ded685d1c copy 
svn: r14659

original commit: e79ece72c524eb8a187bd905dc98a2ebf8b28755
 2009-04-29 19:38:36 +00:00
Sam Tobin-Hochstadt
ac6d723e03 more testing 
svn: r14655

original commit: b205f65bec553659e19641c61b7b5d94bb8e25dd
 2009-04-29 16:58:20 +00:00
Sam Tobin-Hochstadt
b32d7af9bf Fix reconstruction of Latents, which do not have keys. 
svn: r14652

original commit: 6662b72162602e70ea244532c263bb016b0146d0
 2009-04-29 14:35:52 +00:00
Sam Tobin-Hochstadt
89ea60ce9b Fix p/c handling of rename. 
svn: r14651

original commit: ea03a751137b4be3865258840f84527fd80dcb52
 2009-04-29 14:35:26 +00:00
Sam Tobin-Hochstadt
fa0e28678a a couple small fixes 
svn: r14643

original commit: ce0032f4c5d1262848d58f48d6846446b3f46f28
 2009-04-28 18:53:16 +00:00
Sam Tobin-Hochstadt
3161d6d8a3 fix subtyping w/ filters 
svn: r14640

original commit: 7b6702c9e77f1ea1e4adcf52c62cd4fa74cd1a44
 2009-04-28 14:56:18 +00:00
Sam Tobin-Hochstadt
6ecd33b765 more fixes for lambda with expected 
svn: r14639

original commit: 077574cfe1192c2004b2b1528c103f6b58524359
 2009-04-28 14:48:53 +00:00
Sam Tobin-Hochstadt
1ed980a7eb Fixes for letrec. 
svn: r14638

original commit: 9118e9ef1263e0d92959b8b96f81c25684e67204
 2009-04-28 14:24:09 +00:00
Sam Tobin-Hochstadt
33ec27925d lots of let improvements 
and check rationalization

svn: r14635

original commit: 5a49e92de7e48a52482a3287846a8a37b8d42de4
 2009-04-27 23:25:34 +00:00
Sam Tobin-Hochstadt
b0634cd6af fixes for plambda 
svn: r14634

original commit: 2e2e9b8acf4cb8e48327f4f29229577bee19a006
 2009-04-27 22:44:42 +00:00
Sam Tobin-Hochstadt
7b651a3856 more printer improvements 
svn: r14633

original commit: dfbfc371e25badd5bae47a0f099466e19fe2010a
 2009-04-27 22:24:47 +00:00
Sam Tobin-Hochstadt
e3f499b605 more contracts 
more fixes

svn: r14632

original commit: af7b966c82cf3ed41ec4a3acf37e5503033ce912
 2009-04-27 21:58:35 +00:00
Sam Tobin-Hochstadt
4329ac34db Lots more fixes 
svn: r14631

original commit: 9853ae1f0f0d7c4791bc2237ab8183f6102ffa50
 2009-04-27 21:16:34 +00:00
Sam Tobin-Hochstadt
4495909274 use correct constructor 
svn: r14630

original commit: 4d8ba2bca691a99f48a332b1c3cc4dab7f61d7dd
 2009-04-27 20:15:14 +00:00
Sam Tobin-Hochstadt
fca47159f2 two fixes 
svn: r14629

original commit: 18f89c73e43e160c26a3f42d6d118f022ac3814a
 2009-04-27 20:11:57 +00:00
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