Commit Graph

31443 Commits

Author SHA1 Message Date
Asumu Takikawa
4b248de215 Fix broken TR test
Sorry, forgot to merge this into commit
892887b before pushing the last set of changes.
2014-01-07 14:33:49 -05:00
Asumu Takikawa
b7974ec3c2 Add documentation for struct-type types 2014-01-07 13:53:16 -05:00
Asumu Takikawa
892887ba71 Add tests for struct-type types 2014-01-07 13:53:16 -05:00
Asumu Takikawa
2bfa5ea4ea Improve base types for struct-type operations 2014-01-07 13:53:16 -05:00
Asumu Takikawa
ae80c216c3 Refine handling of types for struct-types
- Added a top type for struct-types
  - Print struct-type types consistently
  - Add support for parsing struct-types
  - Allow polymorphism within a Struct-Type
2014-01-07 13:39:39 -05:00
Asumu Takikawa
878b67a4a6 Add types for syntax/stx as typed/syntax/stx 2014-01-07 13:37:46 -05:00
Asumu Takikawa
91a1ff262b Add a #lang for additional base type environments
These are for base type environments that get required
rather than loaded with #lang typed/racket.
2014-01-07 13:37:46 -05:00
Matthew Flatt
4fe1673475 fix (more) closure type tracking for a procedure with only an unused rest arg
Fixs the repair in fe12a32dc3

Relevant to PR 14259
2014-01-07 10:22:58 -07:00
Matthew Flatt
331825700b fix bad interaction among JIT, 3-D macro, and bytecode reader
Closes PR 14186
2014-01-07 10:22:58 -07:00
Asumu Takikawa
6e36795523 Convert check-below.rkt error msgs to new format 2014-01-07 12:06:09 -05:00
Asumu Takikawa
0488ce9e0b Add TR helpers for new Racket error notation 2014-01-07 12:06:09 -05:00
Eric Dobson
54c50dd8d2 Add caching for collects-relative->path. 2014-01-06 21:16:26 -08:00
Eric Dobson
10fa612681 Minor cleanups to compiler. 2014-01-06 21:16:26 -08:00
Matthew Flatt
3cecb753a9 racket/snip: fix image-snip% to convert to 'png@2x-bytes
An `image-snip%` converts to 'png@2x-bytes when its bitmap
has a backing scale of 2.
2014-01-06 21:38:11 -07:00
Matthew Butterick
bfa5e72816 switch to unitless line-heights 2014-01-06 19:41:14 -07:00
Scott Moore
26cb1f7ce6 path-element? should disallow '.' and '..'
Fix `path-element?` to check whether the name returned by split-path
is a path or a special entry. This behavior matches both the documentation
of `path-element?` and the implementation of `string->path-element`.
2014-01-06 19:33:44 -07:00
Matthew Flatt
685859b408 GC bitmap @2x 2014-01-06 19:02:20 -07:00
Matthew Flatt
eda4f35746 file/convertible: declare 'png@2x-bytes conversion variant
The 'png@2x-bytes variant is like 'png-bytes, but where the decoded
bytes are intended to be scaled by 1/2.

Consumers:

 - DrRacket's print handler

 - Scribble's HTML renderer

Producers:

 - `bitmap%`s where the scaling factor is 2

 - picts

Examples: Quick docs, docs for `images/icons/misc`, DrRacket interactions
for results of `images/icons/misc` functions.
2014-01-06 19:02:20 -07:00
Matthew Flatt
75dade2818 racket/gui cocoa: fix "&" in labels
As of Mac OS X 10.8, `setTitleWithMnemonic:` doesn't strip away "&".
2014-01-06 19:02:19 -07:00
Vincent St-Amour
3a025efcce Fix raco test on relative paths. 2014-01-06 18:00:29 -05:00
Eric Dobson
c97ce693f3 Make parse type and type annotation tests run at the right phase. 2014-01-06 08:47:04 -08:00
Eric Dobson
4518ad855f Make expanded syntax visible in test failures to aid debugging. 2014-01-06 08:47:04 -08:00
Eric Dobson
6bf7c4efd4 Make test files have mains that run the test case defined in them. 2014-01-06 08:47:04 -08:00
Eric Dobson
14c340a77b Making test suite files all meet a standard interface.
All test suite files now export one identifier with the name 'tests'.
This allows for them to be treated the same across the test
infrastructure.
2014-01-06 08:47:03 -08:00
Eric Dobson
4e42a328e3 Make special env typecheck tests not run the code at module initialization. 2014-01-06 08:47:03 -08:00
Eric Dobson
3aa5c18d11 Make typechecking do the standard inits. 2014-01-06 08:47:03 -08:00
Eric Dobson
df892c9439 Remove unecessary lambda wrapper around test suites. 2014-01-06 08:47:03 -08:00
Eric Dobson
2b44814e95 Removal of define-go. 2014-01-06 08:47:02 -08:00
Eric Dobson
20821f9ae8 Small style changes and removal of dead code.
Also adds a test to contract tests.
2014-01-06 08:46:32 -08:00
Eric Dobson
b98eb0bc78 Clean up infer-tests. 2014-01-06 08:42:59 -08:00
Eric Dobson
7da97dca3c Add new functions to evaluator. 2014-01-06 08:42:59 -08:00
Eric Dobson
97dba9b99a Make evaluator a separate file. 2014-01-06 08:42:59 -08:00
Neil Toronto
79c51ef001 Draw plots to bitmaps using #:backing-scale for Retina displays 2014-01-05 21:13:24 -07:00
Matthew Flatt
9de2aff3f3 make server: fix config setup for pkg build
When the server installs packages from source, it needs configuration
entry that points documentation indirections to the right place.
A relevant "config.rktd" is written, but to the wrong place, so
that it wasn't being used.

Merge to v6.0 (pending review)
2014-01-05 18:39:21 -07:00
Matthew Flatt
20cec1d43f image-snip%: preserve bitmap backing scale on save & load 2014-01-05 17:13:29 -07:00
Matthew Flatt
b1acdfba86 mrlib/close-icon: revise, especially for @2x
Modernize by using alpha instead of constructing masks, etc.
2014-01-05 17:13:29 -07:00
Matthew Flatt
2fa6ea76f6 images/icons: add close-icon
Also add a `#:thickness` option to `x-icon`.
2014-01-05 17:13:29 -07:00
Matthew Flatt
05d984d7db add history notes to images docs
Add notes that should have been included with 4ee266fd97.
2014-01-05 17:13:28 -07:00
Matthew Flatt
54be6886c6 add history notes to racket/draw docs
Add notes that should have been included with
90a534f304 and 5e903441a4.
2014-01-05 17:13:28 -07:00
Matthew Flatt
582e992501 dc<%>: add alignment scale
Partly reverts d8a438231f by making the alignment scale always default
to 1, but allows the "fix" (for programs that was drawing to a bitmap
with backing scale 2 to be like drawing with scale 2 into a bitmap
with backing scale 1) by setting the alignment scale to 2 for a
drawing destination that has a backing scale of 2.
2014-01-05 17:13:28 -07:00
Matthew Flatt
7dc6316272 correct backing scale on Retina canvas & derived contexts
One consequence is that drawing with a pen of width 0 into
a canvas% object on a Retina display draws a line that is
half as wide as a pen of width 1.
2014-01-05 17:13:28 -07:00
Robby Findler
dc499feed9 fix error message for unsupported patterns 2014-01-05 16:35:29 -06:00
Matthew Flatt
d8a438231f fix alignment for a drawing context with a backing scale 2014-01-05 08:54:52 -07:00
Matthew Flatt
ff478f3173 allow optimizer to move mcons and box-immutable
Suggested by Gustavo Massaccesi.
2014-01-05 08:54:52 -07:00
Sam Tobin-Hochstadt
aeaf018d01 Provide and document match-expander? and legacy-match-expander?. 2014-01-04 17:56:38 -05:00
Sam Tobin-Hochstadt
ade6ebff99 Minor doc fixes. 2014-01-04 17:56:28 -05:00
Sam Tobin-Hochstadt
1bdeade900 Export unsave-bug-report. Fix doc typo. 2014-01-04 17:56:28 -05:00
Asumu Takikawa
79ffd87a67 Document alternative type annotation form 2014-01-04 17:30:48 -05:00
Eric Dobson
8dc10e6c3d Remove info file from test directory. 2014-01-03 21:08:51 -08:00
Eric Dobson
feeb6c9163 Add tc-toplevel/full and tc-module/full and use them. 2014-01-03 20:48:46 -08:00