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

2971 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Asumu Takikawa
d138d2df0c Add remaining racket/string types 
Please merge to v6.0

original commit: 2d8a3cffda3cd71712b763cda1d2439c480d1bc8
 2013-12-05 01:33:27 -05:00
Eric Dobson
2791f89cd2 Add #f as a special case for hash-ref, fix hash-ref!. 
Closes PR 14158.

Merge to 6.0.

original commit: 258d9b8e2f53936ff166c069ca0ab267ed77f602
 2013-12-01 11:25:52 -08:00
Robby Findler
459a59a954 adjust check syntax so it can show info before expansion completes 
and sometimes when there are syntax errors raised

In more detail, rearrange online check syntax's internal plumbing
so that syntax objects can be handed to check syntax at any point
(via a special log message, see the changes to the docs)
not just when expansion is finished

Use this in TR to get check syntax information even when there is
a type error (and also get the check syntax information processing
started before type checking starts (altho this isn't running
in a separate place, so there is no new parallelism here))

original commit: 09920bd8ce46f15d9cf4a5066ab2cfb84bbdd417
 2013-11-26 22:46:51 -06:00
Asumu Takikawa
f44c9539f0 Improve type of negate 
Now for functions with simple filters, it'll negate the
filters so that, e.g., (negate string?) can be used with
occurrence typing.

Please merge to v6.0

original commit: 0f8ee738142c8e253c638c836fc1c5c893751d32
 2013-11-21 22:53:04 -05:00
Asumu Takikawa
1baea70249 Caveat section on macros/phase-1+ code in TR 
Please merge to v6.0

original commit: d29256eeb22c1d1cfff79d93654ede26023acf33
 2013-11-21 22:53:04 -05:00
Asumu Takikawa
3ff3d7eead TR: Prevent internal error on begin-for-syntax 
Closes PR 13878

Please merge to v6.0

original commit: 9da8203c9c3a7c101360f57c6721f7f1a071ca91
 2013-11-21 22:53:04 -05:00
Eric Dobson
e9c9d6ae30 Improve comments and change name for unboxable-funs. 
original commit: 2fd6a05d462ab7c927168693434c9e4580e6ddc8
 2013-11-20 23:46:36 -08:00
Eric Dobson
5278b8ea0c Move more call-site optimization structure into the syntax class. 
original commit: 69f690f4b981901e060732aaae392189e1490c14
 2013-11-20 23:43:59 -08:00
Eric Dobson
26783b6c7c Make unboxed let-bindings only log their clause. 
original commit: af6bc6e8e225cd5ce3bb2bdd2b64a6c362fb6d32
 2013-11-20 23:43:57 -08:00
Eric Dobson
2e3f6d3ab6 Make new syntax class for all clauses. 
original commit: 74ce1ea748e4d911c4edfea0c30b60ae41706d15
 2013-11-20 23:39:10 -08:00
Eric Dobson
ac001357e7 Make standard syntax class so that clauses are in order. 
original commit: 3681fe8105f04a173558d363ae631eae5a42fcd9
 2013-11-20 23:39:10 -08:00
Eric Dobson
ed24ba5c3e Add more syntax classes for let-clauses. 
original commit: 6d84fe3cf24d327aa0421724356234774d2cde62
 2013-11-20 23:32:23 -08:00
Eric Dobson
a2327c05f3 Add benchmarks to TR test dependencies. 
original commit: 3e37e940002a581b6295014ccf5a5c99ad03fc50
 2013-11-20 23:13:39 -08:00
Eric Dobson
a9fc827be7 Correctly typecheck all subelements of vector literals. 
Closes PR 14184.

original commit: cbe1b532795819d45c9bc8ccbaf1507c21b01649
 2013-11-20 21:25:28 -08:00
Asumu Takikawa
70995fa7b0 Fix provide: when it's after the definition 
Closes PR 11172

Please merge into 6.0

original commit: 7e1b3c306d57b5f7d56a16c468518a790c7952ac
 2013-11-20 18:42:28 -05:00
Asumu Takikawa
f785630a76 Simplify fix for PR 14030 
Please merge into 6.0

original commit: 6a787c963f22d563a67b731914ac204e2e051ebb
 2013-11-20 18:38:39 -05:00
Asumu Takikawa
82fa4808d6 Fix make-predicate at the top-level 
This solves the immediate problem, but more generally the
handling of ignored syntax at the top-level seems very fishy.
There is a complicated protocol involving the top-level
type-checker returning #<void> for cases with no obvious
return type, but it's unclear if it actually works. That
code in tc-toplevel.rkt should be revamped in the future.

Closes PR 14030

Please merge into 6.0

original commit: f292a9c0f277bc07d0932ed67f893ca1cb022a43
 2013-11-20 18:07:51 -05:00
Asumu Takikawa
0e02b13d28 Add types for remaining in-foo functions 
Also fixed `in-directory` type

Please merge into 6.0

original commit: 249427afb41907fc974993f7ce310e9014d4938e
 2013-11-20 16:12:29 -05:00
Vincent St-Amour
386364df34 Fix source syntax recovery. 
original commit: 632ce4e30a06c5a2bf81310f70a646beb993b015
 2013-11-19 18:43:26 -05:00
Vincent St-Amour
dfc7a0b8d9 Fix type printing test. 
original commit: fab0d0f955e5bf17e21816146f1af6f9caeaf3b1
 2013-11-19 18:43:26 -05:00
Vincent St-Amour
95c784c26a Only recommend expanding union types. 
Closes PR14166.

original commit: 49cd879bf89dc924520dfa2a86de3a7513490a2a
 2013-11-19 14:28:27 -05:00
Sam Tobin-Hochstadt
7bea9d9aa2 Allow clients of recover-source-syntax to ask for early traversal. 
original commit: d1abf632b117ad0c145342055ff80022c22c45ac
 2013-11-19 12:15:19 -05:00
Sam Tobin-Hochstadt
2aa592eb2e Implement statistical errortrace-based profiling. 
Add a mode to the profiler to use continuation marks inserted
by the errortrace annotator instead of the runtime.

Split `syntax/source-syntax` out from Typed Racket as a separate package,
and use it to give better names for errortrace stack frames.
Use caching to speed it up substantially when called repeatedly (as
errortrace does).

Also, document (internally) the format used by errortrace marks.

original commit: 1e7eb34ba170b6aad77ee67c0f4b802950ff1a4b
 2013-11-19 12:15:17 -05:00
Asumu Takikawa
9b08a80030 Generate channel contracts in TR 
original commit: f2ddc66333512cfc7e24f2cb91de43464f5a59c1
 2013-11-19 12:02:10 -05:00
Vincent St-Amour
a6f0db1fdb Add quoting to error message. 
Closes PR14160.

original commit: eb67abb2ef18a2b91f6ee3544971f38e33700664
 2013-11-18 15:32:12 -05:00
Vincent St-Amour
e861cec692 Fix line breaks in the docs. 
original commit: 63572cc0f7b502261bb47ac0a5dbe60b406ed214
 2013-11-18 15:09:33 -05:00
Vincent St-Amour
78f8879e1a Document type generalization. 
original commit: eb7c7b0d0be00ba529ee1c7f66a6d5568dd081a8
 2013-11-18 15:09:33 -05:00
Vincent St-Amour
d51957fcd3 Improve message when simplifying type display at the REPL. 
Closes PR14159.

original commit: def31658f193d9db8409a5b8433804d398dcdd98
 2013-11-18 15:09:33 -05:00
Eric Dobson
d1e1f0240b Add newline in query-type/result. 
original commit: 9f68c959eef5915269f29abe450d60154a3d4978
 2013-11-17 20:11:09 -08:00
Eric Dobson
f0beca5e3a Add approprite init calls. 
Closes PR 13102.

original commit: e4c07f14abecc621e62ea1c15dea42b64070df0b
 2013-11-17 20:11:09 -08:00
Eric Dobson
cfe772df73 Use actual original syntax. 
Don't know how to test that this is better since I don't even know if it
is used.

original commit: 02a5616ccd63ca922109d1d744c108e14826dc34
 2013-11-17 20:11:09 -08:00
Eric Dobson
eeb7e92fe7 Make top interaction handle module correctly. 
Closes PR 14163.

original commit: f8eae8c00d2a370a88ef8514a90d4e0692c39627
 2013-11-17 20:11:09 -08:00
Eric Dobson
c019c9dc4b Move code for top-interaction commands to their own file. 
Also adds some more test cases.

original commit: 7e0553e037bcff0a549fd3bdc86b09f00f8796f6
 2013-11-17 20:11:09 -08:00
Eric Dobson
16a4734803 First hacky solution to fixing toplevel interactions, and tests. 
Closes PR 14161.

original commit: 5d7710733de7284b9c38a6dd0f77ddb48f6d844c
 2013-11-17 20:11:08 -08:00
Eric Dobson
3dad74141a Simplify type of hash-has-key?. 
original commit: c0230fb6f4732445fedeed78953d54e20090fa25
 2013-11-17 10:53:29 -08:00
Eric Dobson
fbc20f5c70 Correct type of hash-has-key?. 
Closes PR 14157.

original commit: ff958867d5ee70876de287bcbd0db1fc19f9c4c0
 2013-11-17 10:34:18 -08:00
Eric Dobson
ef62cdb190 Update excluded docs for TR. 
original commit: 828320a768e4e8e734246a0847b89a49bc8ac4aa
 2013-11-16 13:42:53 -08:00
Asumu Takikawa
b25cdad3e9 Make thread cell top type consistent with docs 
original commit: a440a46cce461783148ff2d84d75d2d0cbf5c23f
 2013-11-14 22:42:29 -05:00
Vincent St-Amour
f7f46e91cb Fix test. 
original commit: 936ad898ef3ecb4d4b3236098349bb3f662958ac
 2013-11-14 16:36:43 -05:00
Vincent St-Amour
95991f9b85 Log non-optimized fixnum-specific ops as hidden costs. 
original commit: a87dcc252eea359afd4fbcf8f80a62413a099d61
 2013-11-14 14:48:33 -05:00
Vincent St-Amour
608e0338f9 Add types and optimizations for flrandom and unsafe-flrandom. 
original commit: 7616e26f48b01492715cf4f905b222ae025754d1
 2013-11-14 14:48:33 -05:00
Vincent St-Amour
4a0b4f01ca Log hidden prng parameter dereferences. 
original commit: 04eeeb13f1b0423a4f341089a3552cc19e170c61
 2013-11-14 14:48:33 -05:00
Eric Dobson
ecd4c40bf4 Change name of failed-typecheck. 
original commit: 7d2b085baadecbf512a584ea44c7f40db0f903da
 2013-11-13 08:20:54 -08:00
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