Eric Dobson
a4a6c44f5a
Add missing logs.
...
original commit: d629614620655ccf0a030d2a687e9bf79bcf2209
2013-11-11 08:19:58 -08:00
Eric Dobson
c0bcae41f9
Make wrong arity messages work again.
...
Closes PR14138.
original commit: 520c33906ef1a79efadfe5495725952e435c209a
2013-11-11 08:15:06 -08:00
Eric Dobson
029e55dead
Make dead code elimination work for non case lambdas.
...
Related to PR14138.
original commit: dd01d9932d2c809d14c17c6973fb41fd87eb2b63
2013-11-11 08:15:06 -08:00
Eric Dobson
774f32dad3
Make unboxing call site messages work again.
...
original commit: 210aa98d6cb2204ac88069cd3603d9a1ea1b4ddc
2013-11-11 08:14:00 -08:00
Eric Dobson
85696b0c39
Add missed optimizations for non complexs in complex arithmetic.
...
original commit: 78b9a8a360007eb3bb0ccf658d6ea1e7352791e4
2013-11-11 08:14:00 -08:00
Eric Dobson
ce1ef7caa7
Fix bug in optimizer with unboxed let constants.
...
original commit: 676be5de066b561d33f0b4cb40fe6537eda59d02
2013-11-11 08:14:00 -08:00
Eric Dobson
52c5718acc
Make missing box opt.
...
original commit: 7812a202f002db585781d4596810ed9d51246bba
2013-11-11 08:14:00 -08:00
Eric Dobson
49d98d1c13
Remove support for multiple rhs which can never happen.
...
original commit: 747542b2447b3583ce5eb6391a7cbbfa63ddad2f
2013-11-11 08:13:59 -08:00
Eric Dobson
bb230e0939
Make parsing unboxed calls more declarative.
...
original commit: a41e70375e07376b84294beb07b2e97ff0174b57
2013-11-11 08:13:59 -08:00
Eric Dobson
71d6323895
Refactoring.
...
original commit: 957e856a14e4c8eb4e0a055ebae66a4d820eaa87
2013-11-11 08:13:59 -08:00
Eric Dobson
dcedaf1174
Clean up complex-call-site a bit.
...
original commit: 0b5f947ea3f7aa6a3b71e56a323b26dea60122a9
2013-11-11 08:13:59 -08:00
Eric Dobson
7a4d74acfc
Make unboxed optimizations not reorder expressions.
...
original commit: 263e09884e8947a772ea02d02d0bf11122b549e2
2013-11-11 08:13:59 -08:00
Eric Dobson
add9841c10
Change api of add unboxed-fun..
...
original commit: ced8879881a2c20ed96d747208e4563d7a4a5cd1
2013-11-11 08:13:59 -08:00
Eric Dobson
a8a46ddeef
Fix error message construction.
...
original commit: 98c573557eb4cfe8f88aa225043669448d248d19
2013-11-11 08:13:59 -08:00
Eric Dobson
d771ecdd8b
More refactoring.
...
original commit: c162a83c69a116cdcc2a41ad23a361cb987854f4
2013-11-11 08:13:59 -08:00
Eric Dobson
5deef7e6b6
Clean up unboxed function parsing loop.
...
original commit: d882abe47bfdd899bdb5371cc6f604bdff97e13e
2013-11-11 08:13:58 -08:00
Eric Dobson
c49290c3f3
Add syntax class for unboxed functions.
...
original commit: a56f2af6711e8aae9d458129936fbe5213a097d4
2013-11-11 08:13:58 -08:00
Eric Dobson
071e56bb44
Make function for adding an unboxed function.
...
original commit: c76ec838cf8d7ee2864eded6e300291d82d1b1e2
2013-11-11 08:13:58 -08:00
Eric Dobson
788ef23b07
Make function for adding vars to unboxed vars table.
...
original commit: 7af7dea0781cc8b1b299001c30a20f202c3ce4ce
2013-11-11 08:13:58 -08:00
Eric Dobson
adcdc052ff
Move uses of unboxed-vars to centralized definition.
...
original commit: 3cab38845ef2b760699fdda5c8b915080ac1c75a
2013-11-11 08:13:58 -08:00
Eric Dobson
0ae7a5cdd4
Move unboxed tables to seperate file.
...
original commit: ce109d79234e63d24c2921225b8dad08ef2bb089
2013-11-11 08:13:58 -08:00
Eric Dobson
41241a3ff5
Make float-complex optimizations be more picky.
...
original commit: 547b57c29e26393845c7a2e047c1ed27bfa8d54b
2013-11-11 08:13:58 -08:00
Eric Dobson
e7b33c0f52
Make conjugate correctly optimize.
...
original commit: 0d30866d045218e2626f60be3163df75da1e154c
2013-11-11 08:13:58 -08:00
Eric Dobson
f55d5445d6
Minor fix to number matching in complex opts.
...
original commit: 73c03103699bfd2ccaa7ff97bb831d77d5ac4bfd
2013-11-11 08:13:57 -08:00
Eric Dobson
e4894c9cec
Make float complex multiplication not optimize on number expressions.
...
original commit: fda570e915db2e220214005975442cd5cf153d7c
2013-11-11 08:13:57 -08:00
Eric Dobson
604997de6b
Correct unary minus in complex numbers.
...
original commit: 161da0a2eb3393f3e805de7ee27ab6641e65070c
2013-11-11 08:13:57 -08:00
Vincent St-Amour
89d248332c
Have optimizer ignore #%top expressions.
...
original commit: 3494b89f25525db0b848c8da5bb21db382578a2f
2013-11-08 16:43:09 -05:00
Vincent St-Amour
08adb59b66
Have optimizer ignore contract definitions.
...
This bug was hidden by a bug in syntax/parse.
original commit: 80fba7f42d98255b1ab8a8e1c48d62f17303bf11
2013-11-08 16:43:08 -05:00
Vincent St-Amour
df0d87c948
Add missing core form.
...
original commit: 2d6fc203508445de04511bab038f7c6e69e65be0
2013-11-08 16:43:08 -05:00
Vincent St-Amour
1eca551202
Typo.
...
original commit: 47aee51359f6b1ba5e84c21d333524f783512442
2013-11-08 16:43:08 -05:00
Ambrose Bonnaire-Sergeant
cdc131b29e
typos
...
original commit: 8cfe4173c4f52a577fd4841a823633c8408e67fa
2013-11-06 15:22:52 -05:00
Asumu Takikawa
36ba652e5c
Revert type key change from 0a6537a6cbed7ca477d153
...
Sets are still treated as hash sets. Eventually
when we have a type for generic sets, it should have
a #f type key.
original commit: 570c58961ed1603733e2c5c7be3402db60e766b8
2013-11-06 14:20:10 -05:00
Asumu Takikawa
c550151a02
Name and print top types consistently
...
Closes PR 14117
Closes PR 14118
original commit: ac3823228231bc2d24d7f9a90a0d0842069c5732
2013-11-06 14:08:16 -05:00
Asumu Takikawa
8250375175
Be more picky about Opaque type parsing
...
Closes PR 14122
original commit: 05fced3a68dc1adaf78dbee554ce1a988331777c
2013-11-04 20:10:17 -05:00
Asumu Takikawa
61a18def23
Add in-set to Typed Racket
...
Closes PR 14128
original commit: 3fa3225c544160b3d2f0448012de1d7cd66b5195
2013-11-04 18:09:53 -05:00
Asumu Takikawa
b903379c2a
Initialize base-special-env in TR typecheck tests
...
original commit: a3a04387fa2bd533743ebf79b00eda526e249667
2013-11-04 18:09:53 -05:00
Asumu Takikawa
b5efb00d7e
Add a TR test that I forgot to commit
...
Relevant to commit 18d4eb51351bb265f69f16b82593
original commit: 54e338037567d5dec688bc522f1871602a1cee43
2013-11-04 15:29:11 -05:00
Asumu Takikawa
d87e869321
Remove unnecessary requires
...
These imports are unnecessary because of the
`except-in` import of `racket` near the top.
original commit: c1082c9706a7f92e4ea62301caa07820adbdc42a
2013-11-04 15:10:01 -05:00
Asumu Takikawa
5576307897
Delete trailing whitespace
...
original commit: dc1e4fc4e77d0fcfc881942b819b2f9f2db2f48e
2013-11-04 15:10:00 -05:00
Asumu Takikawa
c3f46cf49b
Clean up Typed Racket's main base type environment
...
Sort by manual section, reformat for consistent formatting,
remove redundant lines.
original commit: 50bf292eeb6982bf41facf670477362b55b541c4
2013-11-04 15:10:00 -05:00
Asumu Takikawa
5101cb0507
Renumber section comments.
...
Most were off by one due to documentation changes. Also
reformat for consistency.
original commit: 87273726c2883841730a61475be41a37d2551657
2013-11-04 15:01:13 -05:00
Asumu Takikawa
538bcb518e
Refactor abbrev modules in TR
...
Removed redundant whitespace and lines. Reworded/reformatted
comments for consistency.
original commit: 89c71b4e0486f34e801b00d0d611ae4f6ef03ef1
2013-11-04 15:01:13 -05:00
Robby Findler
1ee060a9aa
unbreak TR (more of my stupidity)
...
original commit: cdbe416b0965f9f5c8f5c86d24a86b13df98a19d
2013-11-02 10:04:24 -05:00
Robby Findler
389a84b5b2
Sorry all; stupid mistake
...
This reverts commit 90fc899b368bbbd16d284d03dcef53039fffbfca.
This reverts commit 780fb37c0dab0bdab8b91a083660ae88021435e8.
This reverts commit 9e54b2bc1b8c0ca8a3d84b86a438153e8e1ff2e7.
This reverts commit 43a584f7105ba3a0d7830879003a8c5241258969.
original commit: 40f7ab2ba4a948a9ac9f6b1114a91c71a0968e9b
2013-11-02 09:51:10 -05:00
Sam Tobin-Hochstadt
ec2ee0af5f
Log types of expressions and fully expanded syntax (before typechecking)
...
original commit: 780fb37c0dab0bdab8b91a083660ae88021435e8
2013-11-02 09:05:11 -05:00
Robby Findler
2f3b9bb927
adjust tc-setup to have a smaller template
...
original commit: 96a782fe9104f949d2082d9f32e0451394c27ede
2013-11-02 09:04:11 -05:00
Vincent St-Amour
6225cc1301
Use the new #:keep-going? option for TR random testing.
...
original commit: 7f90ace5468c612cce1b0cdc57554bb7d945c0f4
2013-11-01 17:47:50 -04:00
Asumu Takikawa
99f901da81
Use the correct fail handler in type lookup
...
The other handler is meant for type name environments.
In practice, this should never come up in the current
codebase, but extensions that use `lookup-type` could
rely on it.
original commit: 612a7fcca97523e7f4b82b0cb5ecc0d6a6321e29
2013-10-31 23:21:23 -04:00
Sam Tobin-Hochstadt
ad1db428d3
handle sets in any-wrap/c
...
original commit: 3ae298b14504be101713692ab7e3169841670a09
2013-10-30 14:29:46 -04:00
Eric Dobson
11eeb1a4ad
Add new known bug.
...
original commit: 4f5e10d7308dc040a65ba465c12cf7e04fcbbce5
2013-10-29 21:50:48 -07:00
