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

283 Commits

Author SHA1 Message Date
Asumu Takikawa
fc8f39f7aa Make require/typed work at top-level 
Closes PR 13747
(cherry picked from commit 67beb11cf6)
 2013-07-08 10:34:09 -04:00
Asumu Takikawa
f59f57d444 Make define-type work at top-level 
Closes PR 12913
(cherry picked from commit f3e6276f9b)
 2013-07-08 10:34:09 -04:00
Vincent St-Amour
9c97902361 Fix type of sinh. 
Found using random testing.
(cherry picked from commit 5de08f06b4)
 2013-07-08 10:34:09 -04:00
Vincent St-Amour
bc34a73cd6 Fix type of tanh. 
Found using random testing.
(cherry picked from commit 89f9b860cd)
 2013-07-08 10:34:08 -04:00
Asumu Takikawa
f38129c741 Clean up struct: and disallow unsupported options 
Related to PR 13562
(cherry picked from commit c3b80bee41)
 2013-07-08 10:34:08 -04:00
Eric Dobson
a901650bab Fix contract generation for mutable structures. 
(cherry picked from commit de96643fbe)
 2013-07-08 10:34:08 -04:00
Eric Dobson
64d66d3b9a Make structs initialize to constant instead of covariant. 
(cherry picked from commit 7735aa5799)
 2013-07-08 10:34:08 -04:00
Vincent St-Amour
b89aedb992 Allow read-only hash operations to accept HashTop. 
Closes PR13710.
(cherry picked from commit e6ff57f3bd)
 2013-07-08 10:34:07 -04:00
Eric Dobson
8d78a2a152 Make type->contract correctly respect variance. 
Track whether we are protecting values from the typed side and/or the
untyped side.

Closes PR 13662.
Closes PR 13663.
Closes PR 13665.
(cherry picked from commit b5b13222c8)
 2013-07-08 10:34:07 -04:00
Eric Dobson
67590cade8 Allow requiring functions with filters in contravariant positions. 
(cherry picked from commit dbcb1414da)
 2013-07-08 10:34:07 -04:00
Eric Dobson
52f892a5fd Fix subtyping of (ListDots t 'a) <: (Listof t). 
Closes PR 13636.
(cherry picked from commit 6898a7c880)
 2013-07-08 10:34:07 -04:00
Eric Dobson
d426867956 Fix expected type when typechecking map 
(cherry picked from commit 863ac05332)
 2013-07-08 10:34:07 -04:00
Eric Dobson
5345c1f7d3 Don't let map introduce type variables. 
Closes PR 13581.
(cherry picked from commit 67dd956b6a)
 2013-07-08 10:34:07 -04:00
Eric Dobson
e2f724fcd3 Use information of application site, to reduce possible arities. 
Closes PR12905.
(cherry picked from commit 55aba088de)
 2013-07-08 10:34:07 -04:00
Eric Dobson
15b1fa5486 Small TR fixes. 
(cherry picked from commit a94c449ff1)
 2013-07-08 10:34:07 -04:00
Eric Dobson
eff170b33e Correctly protect Procedures in TR. 
Closes PR 13664.
(cherry picked from commit fc36c12ce4)
 2013-07-08 10:34:06 -04:00
Sam Tobin-Hochstadt
3590b9681e Add #:omit-define-syntaxes to define-type. 
(cherry picked from commit ecf02a32b4)
 2013-07-08 10:34:06 -04:00
Eric Dobson
5f34da6692 Terminate typechecking on cyclic lists. 
Closes PR 13687.
(cherry picked from commit b8ab1334d9)
 2013-07-08 10:34:06 -04:00
Stephen Chang
bfbba3f0bf fix typed racket named let: error when there are no binding types 
closes PR 13691

include in release
(cherry picked from commit b3ba324a92)
 2013-04-16 10:49:17 -04:00
Asumu Takikawa
0161dfdf16 Translate Value types to ctcs with better names 
e.g., True -> '#t  instead of
      True -> "#t" for a flat-named-contract
 2013-04-05 16:56:50 -04:00
Vincent St-Amour
459c731bb9 Have Optimization Coach report unsound float division missed optimizations. 2013-04-04 15:31:50 -04:00
Eric Dobson
94861becd0 Fix untested contract generation code. 
Closes PR 13449.
 2013-04-04 08:29:15 -07:00
Eric Dobson
76de4d3cca Fix tc-apply to correctly generate expected ValueDots filters. 
Closes PR 13649.
 2013-04-04 07:45:15 -07:00
Eric Dobson
17b9ed0a75 Fix prefix-of. 
Closes PR 13448.
 2013-04-04 07:42:45 -07:00
Vincent St-Amour
d00a579c5a Document not yet fixed optimizer bugs found using random testing. 2013-04-04 10:05:53 -04:00
Vincent St-Amour
a50d9bad7e Avoid unsound optimization for complex division. 
Found using random testing.
 2013-04-04 10:05:53 -04:00
Eli Barzilay
8ffd887847 Test for being able to customize struct printouts. 2013-04-03 18:10:22 -04:00
Eric Dobson
04ef9db1b3 Turn dynamic-requires into lazy-requires in TR. 
Closes PR 13621.
 2013-04-03 09:49:40 -07:00
Eric Dobson
0e0f1cd670 Adds subtyping for filters, and fixes -FS to be more precise. 
Closes PR 12817.
 2013-04-03 09:25:28 -07:00
Vincent St-Amour
ffc90239d0 Fix test for new complex division. 2013-04-02 17:32:29 -04:00
Vincent St-Amour
b808d2809e Fix optimization on exp of complex numbers. 
Found using random testing.
 2013-04-02 16:29:11 -04:00
Eric Dobson
3d49087ea3 Fix parsing of dotted rest when there is an expected type. 
Closes PR 13646.
 2013-04-01 22:17:32 -07:00
Vincent St-Amour
70a8b79d0e Re-enable testing of hyperbolic trigonometry functions. 2013-04-01 14:44:31 -04:00
Vincent St-Amour
990fa87a2e Add random testing for complexes. 
Fix a bug it found.
 2013-04-01 14:44:31 -04:00
Vincent St-Amour
ca2e6bd769 Sometimes generate random integers. 2013-04-01 14:44:31 -04:00
Vincent St-Amour
3e9595e910 Factor out grammar to generate well-typed terms with higher probability. 
Allows us to test integer-specific functions.
 2013-04-01 14:44:31 -04:00
Eric Dobson
5d8f470e0b Remove dependency on GUI libraries. 2013-03-31 11:43:08 -07:00
Eric Dobson
eeeceedb8c Reimplement for*/list: in TR so that it works. 
Closes PR 13253.
 2013-03-31 10:40:21 -07:00
Eric Dobson
ecec724747 Add testcase for sibling modules. 
Closes PR 13155.
 2013-03-31 10:39:16 -07:00
Eric Dobson
d7f12d93f4 Add testcase. 
Closes PR 12812.
 2013-03-25 08:50:48 -07:00
Eric Dobson
87facb736f Check for structure binding and raise good error if it is not there. 
Closes PR 13588.
 2013-03-24 18:35:22 -07:00
Eric Dobson
bb0b071f38 Remove legacy require/typed form. 2013-03-24 18:35:21 -07:00
Eric Dobson
0e42a791a7 Typecheck (lambda args body) as (arg1 -> result). 2013-03-23 13:18:05 -07:00
Eric Dobson
ccc8b85cef Fix parsing of dotted formals. 
Closes PR 13576.
 2013-03-17 18:52:47 -07:00
Eli Barzilay
af6be85ff5 Fix lots of indentation mistakes. 
(Found by my ayatollah script...)
 2013-03-14 10:55:47 -04:00
Eric Dobson
71d6189132 Cleanup of subtyping, additional comments, and improved short circuting. 2013-03-13 22:59:27 -07:00
Eric Dobson
714f667cf1 Add more hacky things to make with-handlers typecheck. 
Closes PR12644.
 2013-03-13 22:29:41 -07:00
Eric Dobson
75f89107b1 Make PolyDots be subtypes even if they have different fixed arguments. 2013-03-13 22:29:41 -07:00
Eric Dobson
6335de099e Make PolyDots actually subtype correctly. 2013-03-13 22:29:41 -07:00
Eric Dobson
6105ce8b20 Check actual args when form looks like for/list. 2013-03-13 21:45:03 -07:00