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

4414 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent St-Amour
6b70510ebe Fix doc typo. 2015-08-05 13:58:53 -05:00
Vincent St-Amour
b9268e99db Move syntax-length to TR. 2015-08-05 13:13:51 -05:00
Vincent St-Amour
11a8a3e1d9 unstable/syntax -> syntax/location 2015-08-05 13:13:51 -05:00
Vincent St-Amour
5b986d7d38 Update base dependency version. 2015-08-05 13:13:50 -05:00
Vincent St-Amour
f6779f2cfa unstable/macro-testing -> syntax/macro-testing 2015-08-05 13:13:50 -05:00
AlexKnauth
cf4a033872 fix issue #166 2015-08-03 18:36:14 -05:00
AlexKnauth
0c1d58a07b handle define-new-subtype in earlier phase 2015-07-30 23:24:17 -04:00
Brian Lachance
a97489cc80 Fix attempt at handling internal errors when binding AnyValues results 
This is the correct change for how attempting to bind AnyValues results
caused internal type-checking errors. The root cause was get-type/infer
violating its own contract by using the default return value from
tc-error/expr

This (partially) reverts 5e0e8ed713.
 2015-07-30 16:21:07 -04:00
Alex Knauth
5e1334c02e Merge pull request #149 from AlexKnauth/newtype 
add define-new-subtype
 2015-07-30 02:08:19 -04:00
AlexKnauth
a58c2e317f add define-new-subtype 
inspired by haskell newtypes
http://www.mail-archive.com/racket-users@googlegroups.com/msg27118.html
https://www.haskell.org/tutorial/moretypes.html
 2015-07-30 01:39:06 -04:00
Sam Tobin-Hochstadt
a0b7123d4c Handle for-meta in TR requires. 2015-07-29 14:28:24 -07:00
Sam Tobin-Hochstadt
fc59d375a0 Add more entries to the list of typed libraries. 2015-07-29 14:28:23 -07:00
Sam Tobin-Hochstadt
d20c74e22a Fixes for Robby's change to tooltip.rkt. 
* Add `get-size` to `Font%`.
* Relax types on `find-or-create-font` in line with docs.
* Add `basic-style` to `Style-List%`.
 2015-07-29 14:28:23 -07:00
Asumu Takikawa
d1e17b04e8 Add tests for PR 15026 
Fixed on HEAD, possibly due to new expander

Closes PR 15026
 2015-07-29 14:29:18 -04:00
Asumu Takikawa
3fffeeac5d Add a test for PR 14521 
Started working since v6.2. Possibly due to the new macro
expander.

Closes PR 14521.
 2015-07-29 13:55:49 -04:00
Brian Lachance
5e0e8ed713 Fix missing match cases when trying to bind AnyValues typed "results" 
tc-toplevel has fixes for define's, tc-let-unit has fixes for let's
 2015-07-29 11:44:29 -04:00
Brian Lachance
1e5bc30b95 Prevent -let-internal name from leaking to users 
Because -let-internal wasn't rename-out'd, users would see its name in
syntax error messages. Adding #:context forces the error messages to be
phrased in terms of the given form.
 2015-07-29 11:07:54 -04:00
Vincent St-Amour
0a7ec21df9 Rename open-place to place/context. 2015-07-28 16:15:08 -05:00
Asumu Takikawa
91279f46c7 Add types for recent functions moved from unstable 2015-07-28 14:49:26 -04:00
Asumu Takikawa
2819a62b30 Add types for new syntax operations 2015-07-27 17:15:54 -04:00
Dan Feltey
200c51689c Merge pull request #161 from dfeltey/print-syntax-cleanup 
Merge `print-syntax?` and `show-input?` parameters into just the `print-syntax?` parameter
 2015-07-27 11:06:36 -05:00
Daniel Feltey
44a93b7e43 Merge print-syntax? and show-input? parameters into just the print-syntax? parameter 2015-07-26 19:30:39 -05:00
Alex Knauth
f1da9c22c1 Merge pull request #160 from btlachance/colon-checksyntax-arrows 
Cancel marks for 'disappeared-use ids in colon macros
 2015-07-23 16:51:41 -04:00
Brian Lachance
045bf05381 Cancel marks for 'disappeared-use ids in colon macros 
Fixes check-syntax arrows for the id and optional second :
 2015-07-23 14:59:52 -04:00
Vincent St-Amour
f92bddd21b Move rest of unstable/logging from typed-racket-lib to unstable-lib. 2015-07-23 11:48:39 -05:00
Vincent St-Amour
a097521f38 Move part of of unstable/logging to racket/logging. 2015-07-23 11:48:39 -05:00
Vincent St-Amour
6c9593bd73 Move unstable/match to the unstable-lib package. 
See additional comments in the corresponding commit to the `unstable` repo.
 2015-07-23 11:48:39 -05:00
Vincent St-Amour
36a8eb2b53 Remove dependency on unstable/open-place. 
Instead use open-place from racket/place.
 2015-07-23 11:48:39 -05:00
Sam Tobin-Hochstadt
577b5225cd Fix construction of promise contracts; broken in 5cd5f772. 2015-07-22 16:29:39 -04:00
Sam Tobin-Hochstadt
5cd5f772d6 Don't allow promises created with delay/name as (Promise T). 
Since these promises re-evaluate their bodies every time they
are forced, allowing them makes `force` not idempotent and not
safe to treat as a path.

This change is slightly backwards-incompatible, since programs
that previously passed `delay/name` promises across the typed
boundary will now fail at runtime. The alternative is also
incompatible: stop treating `force` as a path. Since `delay/name`
is quite obscure, this approach seems like the safer choice.
 2015-07-22 14:22:34 -04:00
Vincent St-Amour
19c42b28a7 Move filter-multiple to utils file. 2015-07-20 16:17:39 -05:00
Vincent St-Amour
28c9bdf37b Fix base version dependency. 2015-07-20 16:17:39 -05:00
Vincent St-Amour
f35b5a9182 check-duplicate -> check-duplicates 2015-07-20 16:17:39 -05:00
Vincent St-Amour
9abb1927ee Replace uses of unstable/hash with racket/hash. 2015-07-20 16:17:39 -05:00
Vincent St-Amour
72fb041211 Replace uses of unstable/function and /list with the equivalent core libs. 2015-07-20 16:17:39 -05:00
Sam Tobin-Hochstadt
fca96dcdc1 Quote typecheck-fail-internal properly. 
Caught by existing unit tests.
 2015-07-20 15:34:49 -04:00
Matthew Flatt
1842aaa2bd fixes for some tests 
The `identifier-binding` function is now senstive to the "macro
introduction" scope that's on an indentifier provided to a currently
expanding macro. Unit tests for TR need to use
`syntax-local-intorduce` to remove it, in the same way that `tc-setup`
already does.

Also, recognize a class expansion when it's wrapped with
`#%expression`, since `class` now expands that way sometimes.
 2015-07-16 08:40:35 -06:00
Matthew Flatt
8c006da763 remove syntax-local-make-delta-introducer 2015-07-16 08:40:34 -06:00
Matthew Flatt
2d095c4112 adapt to letrec-syntaxes+values removal and quote-syntax extension 
The `quote-syntax` form now suports a `#:local` option, which is
used for type annotations to preserve binding context.

Since `letrec-syntaxes+values` is now removed by `local-expand`,
some patterns must be adjusted, including the pattern used
for type annotations.
 2015-07-16 08:40:34 -06:00
Matthew Flatt
2f00de99d0 declare empty namespace for submodules 
Using the enclosing module's context for the `#f` part of the
`(module* _ #f ....)` would generally enable a compact encoding of
bindings for the purposes of `module->namespace`. Disabling
`module->namespace` for the generated submodules seems more reliable,
and it seems unlikely that anyone will miss the extra debugging
capability (which is all that is lost for these submodules whose
content is, I think, unspecified).
 2015-07-16 08:40:34 -06:00
AlexKnauth
aec5fad4be make append preserve non-emptyness of first argument 
see https://github.com/racket/scribble/pull/8#discussion_r33423152
 2015-06-28 12:07:42 -04:00
Sam Tobin-Hochstadt
90dd27bfd8 Fix update-implies error. 2015-06-23 16:21:37 -04:00
Sam Tobin-Hochstadt
77f8316eaa Reduce dependencies. 2015-06-23 16:09:09 -04:00
Sam Tobin-Hochstadt
9a2b74dc33 Generate trivial constraints for missing type variables. 
If the type variable isn't mentioned anywhere, then just
pick `Any` as its substitution.

Fixes #152.
 2015-06-23 16:08:23 -04:00
Vincent St-Amour
6bef6e6ca8 Make type of abs and magnitude more precise. 
Fixes a failing test.
 2015-06-16 12:00:07 -05:00
Eric Dobson
0498f548c1 Fix the type of abs on negative zeros. 2015-06-16 10:43:01 -05:00
Asumu Takikawa
0892e23892 Resolve expected type in tc-lambda-unit 
Closes #144
 2015-06-10 12:23:39 -04:00
Asumu Takikawa
bc3443b393 Change Module-Path type to accommodate submodules 
Closes #84
 2015-06-10 12:21:51 -04:00
Sam Tobin-Hochstadt
91e3a1b5f0 Make sure that user-specified clauses come before default clauses in type-case. 
Avoids nasty hash ordering bugs.
 2015-06-02 17:32:33 -04:00
Asumu Takikawa
b63514a2c3 Allow more flexible keywords in ->* types 
Keyword argument types in ->* are now allowed intermixed with
positional arguments instead of at the end.

Closes #145
 2015-06-02 01:05:05 -04:00