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

3662 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Neil Toronto
6c7b6717b0 Fixes and additions for some GUI class types 
original commit: c245ef4c67acea851c5aabb69de7c64229e85336
 2014-09-06 22:44:26 -04:00
Asumu Takikawa
fc02f40dbd Adjust types for stx-map and syntax->list 
These types need to be adjusted to match the types that
are now produced for syntax datums due to the previous
commit.

original commit: 99c8da4d92259251c6fbdac38969c16dec80ef62
 2014-09-06 17:39:24 -04:00
AlexKnauth
b844ae5119 Fix typechecking of (syntax ...) expressions 
The type is
  (Syntaxof the-type-of-the-result-of-syntax-e), not
  (Syntaxof the-type-of-the-result-of-syntax->datum)

Closes PR 14561

original commit: ada4fb74fa28b0f72ed590785afb9ebe08dded45
 2014-09-06 17:39:24 -04:00
Vincent St-Amour
2c9aca6fc0 Remove out of date OC docs and replace with pointer to the OC package. 
original commit: 9a7663ac734283a51a057e4040008b63ad944c11
 2014-08-28 10:42:20 -04:00
Sam Tobin-Hochstadt
224986b222 Treat fully-annotated plain define as an annotated defintion. 
Fixes most of PR 14702.

original commit: 2825ba142b03c8ecd6f3231d7685a2d652c6201b
 2014-08-26 09:39:55 -04:00
Vincent St-Amour
38c64fcdc6 Allow type annotations after for clauses in the for macros. 
Cf. GH issue #751.

original commit: 8de77f596f6337531656aac8e5aed980d4d51267
 2014-08-21 16:55:32 -04:00
Kat Lyons
77c61e5eaf Add net/http-client to Typed Racket 
original commit: 7ed93e6fba55e4c3360e9a3fae5be9cc871d9aef
 2014-08-15 11:19:48 -04:00
Matthew Flatt
d13aae072f add update-implies to package "info.rkt"s 
original commit: eb9cbe20bf7b4ebc1eee63e2ca079ae566ff8c05
 2014-08-14 16:49:53 +01:00
Asumu Takikawa
6d612c4627 Fix TR type for current-check-around 
original commit: cc442ef0ec596e9e6921da688498f233f9e88d36
 2014-08-12 17:24:07 -04:00
Sam Tobin-Hochstadt
8b0f2f573a Remove long lines in typecheck-tests.rkt 
original commit: c24a864986ad90b399177bd3d0e533e478ba2469
 2014-07-30 16:07:20 -07:00
Sam Tobin-Hochstadt
a9844f072f Don't allow nullary functions under Any to be called. 
Closes PR 14173.

original commit: 5bda93dfd5feef6dc31816566a156e1514f70151
 2014-07-30 16:07:19 -07:00
Sam Tobin-Hochstadt
5db372b4fc Close holes in what values can be thrown. 
- Don't allow 3d-syntax in the exprs field of `exn:fail:syntax`
- Don't allow throwing arbitrary higher-order values

original commit: 9eaae1f93e312009d59ff7bf7535c3a2bbfe7be2
 2014-07-30 16:07:19 -07:00
Asumu Takikawa
d19e9b1a53 Export editor stream base classes in TR GUI 
original commit: c14030860397ad18368a4bbb3b9ce302f2f884e9
 2014-07-30 14:46:29 -04:00
Asumu Takikawa
10874691d9 Fix typo in GUI type 
original commit: 565fb07064a59cd07671bc858e1347648a083f95
 2014-07-29 17:03:56 -04:00
Asumu Takikawa
69038fdfde Fix Values in type annotations 
Closes PR 14218

original commit: 8f08418699097817e89c14936f12ba4b708f03ba
 2014-07-28 12:10:04 -04:00
Asumu Takikawa
b7bda1e282 Check with-handlers better in TR 
Now checks that a predicate and handler in the same clause
are consistent (using the filter on the predicate).

Closes PR 13950
Closes PR 14641

original commit: 41175d74bee9bdadf8ecda552fc097773ab30ce5
 2014-07-25 18:31:10 -04:00
Asumu Takikawa
0d27a196a4 Refactor and organize imports 
original commit: 44b83a6409dee6b0879415b2095c4daa8a3d4bd1
 2014-07-25 16:47:02 -04:00
Asumu Takikawa
33724a5e6a Fix cast/make-predicate contracts in with-type 
original commit: 4ead2124c75e06f441441062e3392d6ac09355e6
 2014-07-25 16:47:02 -04:00
Asumu Takikawa
12cfa04573 Support lifts in TR with-types 
Closes PR 14650

original commit: 0e8e71f48f128a97c69d51ca21cf72fa763b0f31
 2014-07-25 16:47:02 -04:00
Asumu Takikawa
3015f2156b Move syntax lifting helper to a new file in TR 
original commit: 4cabad171400395046602278414f190d49ca611d
 2014-07-25 16:47:02 -04:00
Asumu Takikawa
c62bf57372 Fix inherit in methods without type annotations 
Uses of inherited method names inside other methods that
didn't have type annotations didn't work properly.

original commit: bd60509bf6d83bc219d4ef22996a74f4ee361230
 2014-07-24 20:54:19 -04:00
Robby Findler
35046e9295 misc improvements around read-language (uses and docs) 
- make a logger for drracket-related #lang problems
- change read-language's docs to indicate that it can return #f
- adjust a bunch of calls to read-language for the case that it returns #f
  with the goal of making that be the same as a get-info function that
  always returns the given default
- mention `read-language` in the guide section entitled
 "Source-Handling Configuration"

original commit: 8429f3e9d6db6a790335f026a93e7850a89bb1fa
 2014-07-22 08:54:08 -05:00
Vincent St-Amour
ed3c280793 Update TR history. 
Please merge to 6.1.

original commit: 5a12f8e778a017c836be4d3b7122d8256e25ddb6
 2014-07-21 13:42:29 -07:00
AlexKnauth
f6de40ef7f Fix type of range 
original commit: 10fb8f8178bc5b8d757415f90032a75609fce0c8
 2014-07-17 19:57:32 -04:00
Asumu Takikawa
46ac4b22bd Add TR tests for replace-evt 
original commit: a365f75ebb5f4ea576ab45321b90443c84e306b0
 2014-07-16 14:46:53 -04:00
Asumu Takikawa
8b1df5050d Add several missing types 
original commit: 36931395f91a779024731b0486cb787f25e264ea
 2014-07-16 14:46:39 -04:00
Asumu Takikawa
ac499ccfc6 Add a type for replace-evt 
original commit: 7d9f8d5eb31f2bf963b7290d0857be7b409300a7
 2014-07-15 14:14:44 -04:00
J. Ian Johnson
62664e000a Fixing flawed test. The result arity does matter. 
original commit: e9ea94a3feeadc3ba91ea65630ced9d071992c04
 2014-07-14 10:38:05 -04:00
Asumu Takikawa
6cad389686 Fix kw in typed/pict 
Closes PR 14637

original commit: 8a36919c669d004ecde8d0b67aa54fd927f898de
 2014-07-14 10:28:39 -04:00
Sam Tobin-Hochstadt
2c836801af Initial implementation of struct-type contract generation. 
Currently errors on all reflective access to struct types.

original commit: d3167c1ce4250b82991ec3984e9245300f8020ce
 2014-07-12 10:37:47 -04:00
J. Ian Johnson
6a7ff0c342 Moved type transformation logic out of annotate-classes back into prims. 
original commit: 2a1cdff270a10e0c8cffd4d590577762046973e0
 2014-07-09 09:47:25 -04:00
J. Ian Johnson
d9df3d9360 Fixed support for valuesdots with let/ec. 
original commit: d35f41728c283ef04b913a7e2979cc952903652d
 2014-07-09 09:47:25 -04:00
J. Ian Johnson
d8d8825d32 Generalized types for ((call)|(let))/[ec]c to allow n-ary continuations. 
original commit: 878d4cfb4db64a69195dac6e3402e566d62946e1
 2014-07-09 09:47:25 -04:00
Asumu Takikawa
796047003b Check function depth for parsing object indices 
Closes PR 14509

original commit: e62f1cb8d9faf2247d48ce0d079a7ccbda04228a
 2014-07-07 19:18:06 -04:00
Asumu Takikawa
0c19e550eb Remove debug lines and commented cases 
This helps for editing in paredit

original commit: 65368108e10fdf35c6140060a3cec5fe56649f7d
 2014-07-07 15:30:30 -04:00
Eric Dobson
5dcc64bb83 Add code to handle when the test expression is neither true nor false. 
Closes PR 14564.

original commit: e5695309151b123d8c7d98bafb71b7d317daa76e
 2014-07-07 09:19:47 -07:00
Eric Dobson
39d19e7c17 Make error messages better for function types with bad filters. 
Also makes it so filters are not parsed as keyword types.

Closes PR 14492.
Closes PR 14520.

original commit: 0142549750993b72c1debf4fe109b1c9e1bd9019
 2014-07-07 09:08:50 -07:00
Eric Dobson
917b4edd38 Make filters on mutated/undefined vars an error. 
Closes PR 14422.
Closes PR 14495.

original commit: fdd76794265c752492832b1f91a20ce96ac61930
 2014-07-07 09:05:51 -07:00
Eric Dobson
3bd0efe03e Make parse-type raise the right error for incorrect use of ->. 
original commit: 75310338dc4bcbf0060d2cb47eff122fd45dd426
 2014-07-06 20:53:58 -07:00
Eric Dobson
eae6a6aa77 Add docs about optional type annotation to let/ec and let/ec:. 
original commit: eb8c2d33b1097309a46e1a13c665fa50bf52f980
 2014-07-06 20:26:19 -07:00
Eric Dobson
42492cc787 Add omit-define-syntaxes to secondary form of define-type-alias. 
Closes PR 14505.

original commit: 64a653696cba5f4c24a3b64caa8182e84891b04b
 2014-07-06 18:48:35 -07:00
Eric Dobson
cb71403e77 Add test for pr14567. 
Closes PR 14567.
It seems that this has been already fixed.

original commit: 4aef86ce4fc74116475945c5a6ffb9348e1c65fe
 2014-07-06 17:19:59 -07:00
Eric Dobson
081078b1bf Make with-type disarm/arm the body expressions. 
Closes PR 14587.

original commit: 7ba4e1a8c1461463ee801c32d929f82c0c207aa6
 2014-07-05 17:59:34 -07:00
Eric Dobson
df084d4a10 Fix typechecking of list* with no args. 
original commit: ab92f38f3b309bbee84999aee29a113e4259538c
 2014-07-05 16:55:31 -07:00
Eric Dobson
2f4a9a73d5 Make tc/funapp follow contract in error case. 
Closes PR 14615.

original commit: 13bc779e2106586b87d4110b7851584a129675b4
 2014-07-05 16:34:02 -07:00
Eric Dobson
2e973f3f26 Cleanup type-env-structs. 
Removes all unused functions and cleans up the remaining ones to have
more consistent and simpler APIs.

original commit: 0f5931f093477cd2d4ea6571a4bd56255c9692bc
 2014-07-05 11:36:23 -07:00
Eric Dobson
c512fe389b Improve triggering for generalizing lists. 
original commit: 46b07db77bd8fe9c78388df827e617ad3837e13d
 2014-07-05 10:09:14 -07:00
Asumu Takikawa
5cb96eff46 Fix `possible-domains' function in TR internals 
This fixes type error message generation in some cases
and also the `query-type/result` command on multiple
valued functions.

The latter still does not allow multiple return type
queries (TODO) but it won't crash now.

Closes PR 14493

original commit: 881d5de9a0202f09fb5ff8baedcf75b13fa5c294
 2014-07-03 17:25:05 -04:00
Asumu Takikawa
5f3ed34764 Improve error for applying vals of Procedure type 
original commit: 6629c999d180b9af217501db79adaf0208c7b160
 2014-07-01 18:16:21 -04:00
Asumu Takikawa
1ff78cbce4 Document other TR wrapper libraries 
original commit: 316e51835a503ebd9699731a9a973d238f126794
 2014-07-01 16:01:04 -04:00