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
Eric Dobson
8014db0f7d
Make infer unfold Mu before spliting on Unions.
2015-05-19 20:44:15 -07:00
Eric Dobson
d4eaa47b27
Make subtype use hash of hashs.
...
This has a 1% improvement on new-metrics.rkt by my measurements.
2015-05-19 20:37:41 -07:00
AlexKnauth
e075523e5e
change type of partition
2015-05-19 16:29:49 -04:00
Alex Knauth
706e92ebf4
Merge pull request #133 from AlexKnauth/patch-2
...
Update .travis.yml to run more tests
2015-05-15 17:49:54 -04:00
Alex Knauth
76dffd368c
Update .travis.yml
...
with suggestion from samth here:
https://github.com/AlexKnauth/typed-racket/pull/1
2015-05-15 15:44:59 -04:00
Alexis King
a096857a88
Disable the #{} reader macro if a dispatch macro already exists on #\{
2015-05-14 14:35:30 -07:00
Sam Tobin-Hochstadt
93276d4091
Add some missing dependencies.
2015-05-14 12:13:14 -04:00
AlexKnauth
b11e48fa93
don't raise error for require/typed in module-begin context
2015-05-14 12:13:14 -04:00
Alex Knauth
c6b1f8fdc0
syntax error for require/typed in untyped code
2015-05-14 12:13:14 -04:00
Mira Leung
3a70ed5669
Update to fl>= tests
2015-05-14 12:13:14 -04:00
Mira Leung
9b88243b5c
Unit tests for fl comparison operators
2015-05-14 12:13:14 -04:00
Mira Leung
df0f9d53bd
Unit tests for fl>= typechecking
2015-05-14 12:13:14 -04:00
