Robby Findler
021328fa6d
update drracket HISTORY.txt
2014-02-22 08:04:42 -06:00
Robby Findler
dc3d6280a0
fix careless error (apologies future git bisecters)
2014-02-22 07:49:04 -06:00
Robby Findler
51adb339d5
always show the memory use and the () status indicators in drracket's status line
2014-02-22 07:44:55 -06:00
Robby Findler
a2b03a083a
add a test case to make sure 'Insert Large Letters' doesn't crash
2014-02-21 17:29:32 -06:00
Asumu Takikawa
2295f71dbe
Fix DrRacket's insert-large-letters
...
This is a temporary fix in the sense that the typed/mred
wrapper that this relies on is incomplete. Once the typed
racket/gui bindings are merged, a more complete
insert-large-letters will be checked in.
Closes PR 14362
2014-02-21 14:39:46 -05:00
Asumu Takikawa
6710d08ff1
Fix static contract generation for method case->s
2014-02-21 14:38:45 -05:00
Asumu Takikawa
19b785956f
Add more class/object functions to TR base-env
2014-02-21 14:11:14 -05:00
Asumu Takikawa
30cd701cf0
Make typed case-lambda methods work
2014-02-21 14:09:50 -05:00
Asumu Takikawa
5a3e0a76da
Move typed class unit tests into a separate file
...
Export some helpers from typecheck-tests in a submodule
2014-02-21 13:59:34 -05:00
Asumu Takikawa
c623e662e0
Support set-field! in Typed Racket
2014-02-21 12:32:59 -05:00
Asumu Takikawa
8ce376f503
Adjust type variable syntax for typed classes
...
This makes it consistent with other forms like the
new `lambda` form.
2014-02-21 11:47:08 -05:00
Asumu Takikawa
315034bbe5
Fix type for first argument of dynamic-place
...
Closes PR 14363
2014-02-20 23:17:17 -05:00
Asumu Takikawa
fe811e33aa
Temporarily disable TR class unit test
...
This unit test is broken due to an issue with using
the : form for external names in classes. Since : checks
if the id is bound, it doesn't work if there is an internal
name different from the external name (since only the
internal one is in scope in the class body).
Haven't decided whether to put annotations on internal
identifiers instead or to not run the check for class
member names.
2014-02-20 23:14:23 -05:00
Asumu Takikawa
8c83e1a08d
Expand on docs for TR class init/init-rest args
2014-02-20 18:00:44 -05:00
Asumu Takikawa
f856bce277
Reorganize docs on typed classes
...
Use subsections and put the special forms first
2014-02-20 17:33:45 -05:00
Asumu Takikawa
1c6c0855f7
Revise TR classes & docs based on feedback
2014-02-20 16:50:28 -05:00
Asumu Takikawa
e7e354f69a
Move internal unit tests out into a separate file
2014-02-20 16:50:28 -05:00
Asumu Takikawa
18182d16a6
Add support for positional init arguments for TR
...
This includes support for positional inits and also
init-rest along with make-object and instantiate.
2014-02-20 16:50:27 -05:00
Asumu Takikawa
0b1eec20b5
Use shorthand notation for classes in subtype tests
2014-02-20 16:50:27 -05:00
Asumu Takikawa
cd2ef502b0
Fix integration test for new class type syntax
2014-02-20 16:50:27 -05:00
Asumu Takikawa
39b237043d
Add static contract tests for classes
2014-02-20 16:50:27 -05:00
Asumu Takikawa
dff2fa6de7
Convert parse tests w/ classes to use abbreviations
2014-02-20 16:50:27 -05:00
Asumu Takikawa
92d5e4a8ae
Disallow non-aliases in #:implements
2014-02-20 16:50:27 -05:00
Asumu Takikawa
98a2d248c0
Add abbreviation for classes and use in base-env
2014-02-20 16:50:27 -05:00
Asumu Takikawa
84e780174e
Revise type for is-a?
2014-02-20 16:50:27 -05:00
Asumu Takikawa
e26742e736
Add ClassTop type
...
Still TODO are better error messages when a ClassTop
is encountered for subclassing or instantiation.
2014-02-20 16:50:27 -05:00
Asumu Takikawa
afb1417114
Refactor part of class type system
2014-02-20 16:50:27 -05:00
Asumu Takikawa
0a89b9b718
Add documentation for typed classes
2014-02-20 16:50:27 -05:00
Asumu Takikawa
66c1b10c18
Check for unsupported class clauses and error
2014-02-20 16:50:27 -05:00
Asumu Takikawa
661a371434
Update type->contract for new class representation
2014-02-20 16:50:27 -05:00
Asumu Takikawa
02391fae9d
Rewrite class tests as standard TR typecheck tests
2014-02-20 16:50:27 -05:00
Asumu Takikawa
bd5ec395c2
Allow depth subtyping with #:implements
2014-02-20 16:50:27 -05:00
Asumu Takikawa
00bb219642
Parse-type fix for Instance types
2014-02-20 16:50:27 -05:00
Asumu Takikawa
ee3e83856c
Fix timing in class type-checking
...
(make sure the timing goes away if the flag is off)
2014-02-20 16:50:26 -05:00
Asumu Takikawa
8331d8c8a2
Add subtyping tests for classes/objects
2014-02-20 16:50:26 -05:00
Asumu Takikawa
03c74a16ff
Simplify typechecking for some field initializers
...
This seems to speed up type-checking for some
initializers. The caveat is that it's slightly less
paranoid about type-checking the expansion.
2014-02-20 16:50:26 -05:00
Asumu Takikawa
80d21e106c
Simplify type expression
2014-02-20 16:50:26 -05:00
Asumu Takikawa
e52256b7f0
Avoid type-checking type annotation clauses
2014-02-20 16:50:26 -05:00
Asumu Takikawa
c8e5423e55
Make subtyping checks on objects faster
2014-02-20 16:50:26 -05:00
Asumu Takikawa
e80c4d72fb
Fix augment type printing
2014-02-20 16:50:26 -05:00
Asumu Takikawa
7d7f23589f
Allow polymorphic method types
2014-02-20 16:50:26 -05:00
Asumu Takikawa
45b8e17687
Add internal timing support for classes
2014-02-20 16:50:26 -05:00
Asumu Takikawa
7cc9b0ef12
Adjust local expansion to account for local macros
2014-02-20 16:50:26 -05:00
Asumu Takikawa
54bc1732da
Increase named-based sharing of class types
...
This change makes serialized types much smaller when large
class types are used for type aliases. This shrunk the zo file
for the gui-types module from 12MB to 220KB.
If large zo files are a problem elsewhere, this may be worth
doing for more types.
2014-02-20 16:50:26 -05:00
Asumu Takikawa
37c1730bb3
Add support for in-line class polymorphism
2014-02-20 16:50:26 -05:00
Asumu Takikawa
3c044e23fd
Reorganize functions for type parameters
...
This refactoring saves some lines and reduces the ridiculous
number of arguments for some helper functions. (using a hash
table instead of arguments) This will help for adding type
parameter name scoping later.
2014-02-20 16:50:26 -05:00
Asumu Takikawa
8ca8eb1642
Add support for separate augment/pubment interfaces
...
Now a class may have a pubment method that has a different
type for being directly called and for being specialized
for inner calls. This is actually necessary to type-check
interesting uses of pubment/augment.
Note that if a class does not provide a type annotation
for the augmentation interface, it will be assumed to be
the same as the pubment type.
2014-02-20 16:50:26 -05:00
Asumu Takikawa
f8212063b7
Refactor class type-checker
2014-02-20 16:50:26 -05:00
Asumu Takikawa
dbf9459e99
Use lists as sets for type-checking classes
2014-02-20 16:50:26 -05:00
Asumu Takikawa
ed94d35105
Improve error messages for superclass checks
...
Also add a test for the inherit-field case for this
2014-02-20 16:50:25 -05:00
