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

2778 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric Dobson
36dd128bd1 Move internal into internal-forms. 
original commit: dd321008c4c15a8545b2086ba1f6978d0ecef4e9
 2013-11-13 08:20:54 -08:00
Eric Dobson
8bc299f6c5 Move syntax class code into internal forms. 
original commit: 0434974426d2096a83684afcda4449b46cc9833e
 2013-11-13 08:20:54 -08:00
Eric Dobson
4fa4622f37 Switch tc-structs over to syntax classes. 
original commit: 575419bc8ba93bd1a1f3fb620b28d52b7018b528
 2013-11-13 08:20:54 -08:00
Eric Dobson
22e6fc3437 Convert tc-let unit to new syntax classes. 
original commit: 7f268e67de8a8526e6f05f392c499551aa7ba752
 2013-11-13 08:20:54 -08:00
Eric Dobson
09c8cd999d Make tc-expr unit use the new syntax classes. 
original commit: 2a99e418d585ff167ba8ae23746df763cac912f7
 2013-11-13 08:20:53 -08:00
Eric Dobson
fc673a5288 Make toplevel checks use internal syntax class. 
original commit: d3ecec9c8bc19f0a04c8d0fcd0b00e9bd27b5b30
 2013-11-13 08:20:53 -08:00
Eric Dobson
35c4abd049 Made tabs into spaces. 
original commit: 6e00ae83d38ac85f7f9843f8fe0ad01f16d5bc85
 2013-11-13 08:20:53 -08:00
Eric Dobson
21dd96b28a Replace kerncase with syntax-parse. 
original commit: 28321ca4edb1e183b5f900598551226267d187d3
 2013-11-13 08:20:53 -08:00
Sam Tobin-Hochstadt
03506d0eb4 Improve type of random on fixnums. 
original commit: ff577496be4198833a9c15167a603c4264f1c02b
 2013-11-12 10:38:41 -05:00
Asumu Takikawa
bb98b99362 Disable occurrence typing for top-level variables 
Closes PR 14121

original commit: 3e2911d30f4efe4901d9626e83126d7bafa55922
 2013-11-11 23:23:08 -05:00
Asumu Takikawa
444b2c16f2 Add test for PR 14144 
Forgot to include this in commit
7c4eb845a02c77dee6a9f8a650a9261ab1a7b25b

original commit: 0e3471b9529b7bce7adbb3a4641ec9c9fc330f2e
 2013-11-11 23:22:42 -05:00
Asumu Takikawa
be035ba8d5 Always treat top-level redefinitions as annotated 
Closes PR 14144

original commit: 7c4eb845a02c77dee6a9f8a650a9261ab1a7b25b
 2013-11-11 19:05:42 -05:00
Vincent St-Amour
04addef70f Tweak complex unboxing missed optimization message. 
original commit: 631a1748743fa806e210939068723c7c92571b4b
 2013-11-11 15:03:35 -05:00
Eric Dobson
7c8ac2188e Remove unused code. 
original commit: f8a2c2d28edaeb77aa180e775e6df9beb01d490d
 2013-11-11 09:44:24 -08:00
Eric Dobson
0b6ce3b58b Fix tc/pass2. 
Closes PR14148.

original commit: d6935f536516196e78a9301a2b33b02204feb9be
 2013-11-11 09:37:00 -08:00
Eric Dobson
2dfc8156fb Fix line numbers on logs. 
original commit: ad19bc5e62999348dd5759fdb4409144d9fa0435
 2013-11-11 08:24:08 -08:00
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