suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
31,932 Commits 17 Branches 54 Tags 278 MiB
b89a56e0ec
Commit Graph

31932 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric Dobson
403a8b42e9 Add possible to TR optimizer message 2014-01-14 08:48:07 -08:00
Eric Dobson
dad6c6dec4 Add float optizations back (but only on floats). 2014-01-14 08:48:07 -08:00
Eric Dobson
70d9f4bdb6 Change messaging on non float complex expressions. 2014-01-14 08:48:07 -08:00
Eric Dobson
4fb96bdfa5 Move broken float optimizations out of main syntax class. 
Introduces slight regression in already broken checks.
 2014-01-13 22:35:41 -08:00
Eric Dobson
608eb9df8f Fix class static contracts and add tests. 2014-01-13 21:01:20 -08:00
Eric Dobson
e164a959eb Fixup contract restricts. 
Add useful printing.
Add removal of trival constraints.
Fix bug in close loop when constraints were not getting closed correctly.
 2014-01-13 21:01:20 -08:00
Eric Dobson
8f13c2f966 Fixup the static contract documentation. 2014-01-13 21:01:19 -08:00
Eric Dobson
c95084cedf Change name of recursive contract to not colide with racket/contract. 2014-01-13 21:01:19 -08:00
Eric Dobson
a8199ad1d2 Add in-list and in-hash to instantiate. 2014-01-13 21:01:19 -08:00
Eric Dobson
0be83b6c67 Add comment to simple static contracts. 2014-01-13 21:01:19 -08:00
Eric Dobson
9bb66a9c58 Remove terminal contract generic interface. 2014-01-13 21:01:19 -08:00
Eric Dobson
751835c7da Add names to flat static contracts. 2014-01-13 21:01:19 -08:00
Eric Dobson
87414956ab Make polydotted types generate contracts. 2014-01-13 21:01:19 -08:00
Eric Dobson
f394d3d260 Handle complicated parametric types in TR contract generation. 
Closes PR 14270.
 2014-01-13 21:01:19 -08:00
Eric Dobson
738efdc263 Simplify recursive contracts when optimizing. 2014-01-13 21:01:18 -08:00
Eric Dobson
bb74b55f67 Add custom printer for terminal contracts. 2014-01-13 21:01:18 -08:00
Eric Dobson
497a7faa83 Make static contracts catch simple parametric contract errors. 2014-01-13 21:01:18 -08:00
Eric Dobson
6deb1e3193 Add sc-traverse for folding over static contracts. 2014-01-13 21:01:18 -08:00
Eric Dobson
f17f6655dd Make contract generation failure tests pass, and simplify reason logic. 2014-01-13 21:01:18 -08:00
Eric Dobson
1acd1537e8 Made error messages better for contract generation failures. 2014-01-13 21:01:18 -08:00
Eric Dobson
62f4aec04f Made reasons get passed through and re-add a failing test. 2014-01-13 21:01:18 -08:00
Eric Dobson
fff652b44b Added generic mechanism for easy to write terminal contracts. 2014-01-13 21:01:17 -08:00
Eric Dobson
9b9ec7fd5a Added terminal sc contracts, and made optimizer use them. 2014-01-13 21:01:17 -08:00
Eric Dobson
dcb8fa2b5e Sorta working new lengths. 2014-01-13 21:01:17 -08:00
Eric Dobson
9eea867e9a Make simple static contracts not combinators. 2014-01-13 21:01:17 -08:00
Eric Dobson
895fd4b917 Remove unsound optimizations. 2014-01-13 21:01:17 -08:00
Eric Dobson
de879b0683 Add more static contract tests. 2014-01-13 21:01:17 -08:00
Eric Dobson
5ed67939b4 Make tests more standardized. 2014-01-13 21:01:17 -08:00
Eric Dobson
6cfb035b3f Make optimize for static contracts have saner interface. 2014-01-13 21:01:17 -08:00
Eric Dobson
6961c0ecc8 Make many more static contract optimizer tests and add some more optimizations. 2014-01-13 21:01:16 -08:00
Eric Dobson
e32a7603b2 Remove/disable broken tests. 2014-01-13 21:01:16 -08:00
Eric Dobson
93488e49b4 Add a bunch of documentation to static contracts. 2014-01-13 21:01:16 -08:00
Eric Dobson
333a93000a Make static contracts for channels. 2014-01-13 21:01:16 -08:00
Eric Dobson
3d769c2df1 Add README. 2014-01-13 21:01:16 -08:00
Eric Dobson
6f56948cff Move contract conversion into the old file. 2014-01-13 21:01:16 -08:00
Eric Dobson
97cd169e80 Enable static contract optimization. 2014-01-13 21:01:16 -08:00
Eric Dobson
eb03d5c298 Make version of TR that builds new contracts. 2014-01-13 21:01:15 -08:00
Eric Dobson
ae9a8c9f25 Moved static-contract tests to TR test directory. 2014-01-13 21:01:15 -08:00
Eric Dobson
43ce10b5fe Put static contracts in main repo. 2014-01-13 21:01:15 -08:00
Asumu Takikawa
8f461f9f88 Replace chomp with string-trim, delete former 2014-01-13 17:34:03 -05:00
Asumu Takikawa
820a297801 Fix printer tests when run individually 
These tests worked in the harness but broke when run
outside of the harness.
 2014-01-13 16:56:07 -05:00
Asumu Takikawa
872dbd6160 Remove unnecessary printing parameter in TR 
Pretty printing makes this unnecessary
 2014-01-13 16:41:14 -05:00
Asumu Takikawa
4c5e188ca4 Add type printer tests 2014-01-13 15:30:38 -05:00
Asumu Takikawa
130f667390 Use type pretty-printing in TR messages 
Closes PR 11271
 2014-01-13 15:30:38 -05:00
Asumu Takikawa
60ea93a264 Add pretty-printing capability for TR types 
- Internally convert types to s-expressions before printing
  - Pretty print based on s-expression representation
 2014-01-13 15:30:38 -05:00
Asumu Takikawa
4d448785cd Move chomp function into its own util file 2014-01-13 15:30:38 -05:00
Eric Dobson
f0ebfee9ac Make parallel compile not call exit. 
Closes PR 13373.
 2014-01-13 09:34:40 -08:00
Eric Dobson
aa3505d937 Fix unary / optimizations. 2014-01-13 09:34:40 -08:00
Eric Dobson
c60b31f0d1 Fix bindings of unboxed complex float functions. 
Closes PR 12475.
Closes PR 14284.
 2014-01-13 09:34:40 -08:00
Asumu Takikawa
cb885b3b55 Make kw-subtypes* consistent with s and t ordering 
Subtyping functions should take the lower type s
first and upper type t second
 2014-01-13 11:36:55 -05:00