Ryan Culpepper
845fb67bb5
unstable:
...
added struct and syntax libraries
svn: r16621
original commit: 7483b7ed20c330602fcb9cd6b7ab976470a15b0f
2009-11-08 19:20:53 +00:00
Sam Tobin-Hochstadt
115c7c8443
Types for all functions documented in reference/vector.scrbl
...
Fix docs for vector-arg{min,max}.
svn: r16602
original commit: dcb5f5cfb1a17fa652cee73fd95a4acdaf9b57ca
2009-11-07 07:11:00 +00:00
Robby Findler
4ed2cea857
added some font sizing information to the insert large letters dialog
...
svn: r16561
original commit: ad438ef63fe680b29ffde88bf8d6e4a7f233ec3f
2009-11-05 16:19:01 +00:00
Sam Tobin-Hochstadt
b616135475
Add failing test to xfail.
...
Remove old dead code.
svn: r16479
original commit: 93a504a8173309922e087142ca191d76c6885032
2009-10-30 16:26:48 +00:00
Sam Tobin-Hochstadt
a714f51138
Use tail-position syntax property for non-functions.
...
svn: r16451
original commit: 6d70a48de13cbc2e54535c274144adb741d8aba1
2009-10-29 18:02:33 +00:00
Sam Tobin-Hochstadt
2ca3a9176f
Allow optional keyword args in a few more places
...
svn: r16400
original commit: 38fe4782b75eb88e4db750921bade80147f453b9
2009-10-21 14:47:56 +00:00
Sam Tobin-Hochstadt
32fb4f441d
Avoid error when `orig-module-stx' not set.
...
svn: r16399
original commit: dc5d10409cff2f12e074a45f88e0d9e59958d2b8
2009-10-21 14:47:07 +00:00
Sam Tobin-Hochstadt
34f394533b
fix test result
...
svn: r16398
original commit: a3082cba0b10ebd0e21d4ffa998332f73467d9aa
2009-10-21 14:46:36 +00:00
Sam Tobin-Hochstadt
382a771d75
Better error message for inference with keywords.
...
Do inference when loop is unannotated, even when argument are.
Don't infer for ((lambda when vars are annotated.
Make promise contracts work.
Fix types of min, max, port->lines, subbytes, bytes-length, bytes, bytes-ref
svn: r16397
original commit: a5849fb05af85c586bbd730d220b324018a6673e
2009-10-21 13:30:03 +00:00
Eli Barzilay
029cacff8e
I just cleaned this floor -- take off your shoes when you walk around
...
svn: r16386
original commit: 444750fd4295699c84467aa8ddabf0373843b39d
2009-10-20 18:53:06 +00:00
Sam Tobin-Hochstadt
387ee8193b
Add `typed/scheme/system'
...
Special handling of (letrec ([x e]) x)
Allow functions with optional keyword args to be inferred when kws not supplied.
Infer instantiations for kw functions in simple cases.
Add `Path-String' type
Fix types of `filter', `with-{input-to,output-from}-file'
Add `port->lines'
New 'metrics.ss' test
svn: r16385
original commit: 37106bd6f7241277288ad56a3c75aef53cdfc3c3
2009-10-20 18:30:37 +00:00
Sam Tobin-Hochstadt
9c607d6779
Don't error for branches with wrong number of results where return type is Bot.
...
Allow case-lambda to be subtype of equiv union type.
Add types for path?, fold-files, assert
svn: r16357
original commit: 6a83901a8bd60ccea014f84238a378749573beb2
2009-10-18 01:10:00 +00:00
Sam Tobin-Hochstadt
bd75ded350
Elimintate printing of complex filters.
...
Allow parsing of ...* and ...a
Parameter for printing ...* and ...a
svn: r16225
original commit: 96f664354d80ed25ff70e27fd7d6dc7f694c6c7d
2009-10-02 20:41:56 +00:00
Eli Barzilay
43b5710477
require trace, not
...
svn: r16223
original commit: 44fda2f304627a0e36f8e505cf5bf3bd9d4ff729
2009-10-02 20:37:03 +00:00
Sam Tobin-Hochstadt
cc3c031d80
Fix bug with use of match with ... and annotation.
...
svn: r16216
original commit: 6efd0abc13711b0ca3f75b7c6460291ffb77b8d9
2009-10-02 16:20:30 +00:00
Eli Barzilay
43c0b93899
fix optional argument to number<->string functions
...
svn: r16123
original commit: cee0e5f3260e3571a54b546225aba4ee7c551f8e
2009-09-24 15:26:13 +00:00
Ryan Culpepper
8eb494615f
removed old stxclass collection
...
Please apply to release branch.
svn: r16047
original commit: 987ab4c5e8c4548b9eb87f6f78c75b6877118065
2009-09-17 16:11:20 +00:00
Sam Tobin-Hochstadt
535ec1720f
fix uses of syntax-parse attributes
...
svn: r15984
original commit: ed65dacdcd2c4c2d2cfe2177865598c97903dfd7
2009-09-11 22:49:56 +00:00
Sam Tobin-Hochstadt
391f497ebb
Remove obselete file.
...
Use syntax/parse instead of stxclass.
svn: r15983
original commit: 49b30f9055bbd996e86eafbfbd60aece4fe87f17
2009-09-11 22:17:45 +00:00
Sam Tobin-Hochstadt
2c3930216b
use splicing-syntax-class
...
svn: r15981
original commit: 417b9d16e097f4944dbefc0d327b91da790c83b0
2009-09-11 21:17:42 +00:00
Sam Tobin-Hochstadt
0333d4f210
Simplify a syntax class
...
svn: r15977
original commit: 8001ab7fb0254cde97a76afb61e1d0a1a5fb786d
2009-09-11 19:19:41 +00:00
Sam Tobin-Hochstadt
87d48f63ef
Remove last uses of stxclass.
...
svn: r15976
original commit: 5fc019ba6c8d0a9ca21c05c4a92f8476e348f407
2009-09-11 17:49:50 +00:00
Sam Tobin-Hochstadt
8898a34829
Remove almost all uses of `stxclass' library.
...
svn: r15944
original commit: eda69b472ad5de8874ddf99b40f04dea22a9672e
2009-09-09 21:24:05 +00:00
Sam Tobin-Hochstadt
34a2dda59c
Make type keywords show check syntax info
...
svn: r15925
original commit: bc25b75eb39e85c21fd23b95706295b158c11463
2009-09-08 20:16:48 +00:00
Sam Tobin-Hochstadt
521dee2bb5
Move parse-type2 to parse-type.
...
Re-enable typed-scheme tests automatically.
svn: r15924
original commit: 4907d266df8438b6f0f4a3e3fd0241702ab46b57
2009-09-08 20:02:03 +00:00
Sam Tobin-Hochstadt
cf872c4e38
New type parser, written using syntax/parse.
...
- uses keywords with bindings
- : macro in separate file so it can be used earlier
- internal function in separate file
FilterSet/c and LatentFilterSet/c contracts
Avoid returning #f when `look-for-in-orig' fails
Add type for unsafe-cdr
svn: r15923
original commit: 63d318fd4b7e7244af10fff21db74f0d09db5006
2009-09-08 19:51:34 +00:00
Matthew Flatt
dc68f722ee
unsafe ops (v4.2.1.8)
...
svn: r15899
original commit: 8ae0ea9d14716c94f73c5c85f8278934fe85fe15
2009-09-06 18:24:46 +00:00
Sam Tobin-Hochstadt
5caab968c2
fix keyword application handling for new expansion
...
svn: r15864
original commit: 799027d40f74bcb08071bf4ecd222d5c3133b67c
2009-09-03 07:54:32 +00:00
Sam Tobin-Hochstadt
240f4eaeb3
remove extra whitespace
...
svn: r15863
original commit: 9e25d28a28306bf397ae40c06ebf07fdce7b8f1c
2009-09-03 07:53:39 +00:00
Sam Tobin-Hochstadt
c315e83375
Handle type ascription and type instantiation better with expected type.
...
Add remove-ascription
Identify incorrect element of wrongly typed list.
Use function argument types as expected types.
Allow multiple uses of orig-module-stx, older one takes precedence.
svn: r15857
original commit: b3dde2ca7f0e343e207deb2d983785a7fea64a1b
2009-09-01 22:25:35 +00:00
Sam Tobin-Hochstadt
d4b5a51fce
New tests
...
svn: r15856
original commit: 95cb438a9c7dca02d4a55c949f27601af07bbd59
2009-09-01 22:22:37 +00:00
Sam Tobin-Hochstadt
dec8803f27
when result type is dotted, pass it through tc-expr/check
...
svn: r15737
original commit: 5174bbb5f062011c2edfe7a0403071055830f55f
2009-08-14 20:27:53 +00:00
Sam Tobin-Hochstadt
1d9468f30a
return a better type
...
svn: r15736
original commit: 83e0ec2b407fc06092757cdec0ec898c415b3818
2009-08-14 19:44:46 +00:00
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
