suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,347 Commits 13 Branches 1 Tag 9.2 MiB
7e3178798b
Commit Graph

69 Commits

Author SHA1 Message Date
Asumu Takikawa
812f1a8c79 Add types for box-cas!, unsafe-box*-cas! 2016-03-23 16:02:22 -04:00
Asumu Takikawa
72927e2248 Add the rest of Racket's exn hierarchy 2016-02-21 12:20:40 -05:00
Asumu Takikawa
a90f6c46eb Add exn:break:hang-up and exn:break:terminate 2016-02-21 02:48:45 -05:00
Stephen Chang
c19fac7fd5 add ids from in-hash- expansion to special-env 
- fixes test failures due to 048c4b4a73
- add in-hash- tests
 2016-02-05 18:26:03 -05:00
Sam Tobin-Hochstadt
519dfb6fdc Handle Sequenceof in the type parser to support multiple values. 2015-12-17 19:42:29 -05:00
Vincent St-Amour
70afdf6f70 Relax type of expt. 
Made possible by the fix to its dynamic behavior.

Should be fully backwards compatible.
 2015-12-02 15:44:23 -06:00
Vincent St-Amour
1d69569382 Fix tests. 2015-11-30 07:56:08 -06:00
Vincent St-Amour
6a8c366210 Fix type of expt to reflect fix to dynamic behavior. 2015-11-25 17:33:00 -06:00
Vincent St-Amour
1e32397658 Refine type for expt. 
Fixes rsound.
 2015-11-13 10:14:39 -06:00
Sam Tobin-Hochstadt
d9e3c2ac6a Repair da574a4 again. 2015-11-10 08:59:18 -05:00
Georges Dupéron
67bd07a84a Fixes type of member and assoc, plus some tests for them. See github bug #223: “(member) has wrong type, exploiting the hole causes segfault”. 2015-11-09 19:04:02 -05:00
Vincent St-Amour
6a2c8ca9f7 Fix the fix to flexpt. 2015-11-09 17:16:09 -06:00
Vincent St-Amour
46f2ed95d3 Fix tests for more conservative types. 2015-11-09 17:16:08 -06:00
Vincent St-Amour
9385f6e350 Yet another fix for expt and complexes. 
Found using random testing. Found once.
 2015-11-09 17:16:08 -06:00
Vincent St-Amour
5ce00a90d2 Fix sign property of n-ary division. 
Found using random testing. Found 4 times.
 2015-11-09 17:16:08 -06:00
Vincent St-Amour
23de6a654e Fix another NaN case in expt. 
Found using random testing. Found 3 times.
 2015-11-09 17:16:08 -06:00
Vincent St-Amour
3ef8fe1739 Fix type of expt for bignums that get converted to infinity. 
Found using random testing. Found 10 times.
 2015-11-09 17:16:08 -06:00
Vincent St-Amour
a0ef6b1d8c Fix type of expt. 
Found using random testing. Found 10 times.
 2015-11-09 17:16:08 -06:00
Vincent St-Amour
16a18d7648 Fix type of flexpt. 
Found using random testing. Found 9 times.
 2015-11-09 17:16:08 -06:00
Vincent St-Amour
89a06cfae6 Fix bitwise-and on negative numbers. 
Found using random testing.
 2015-11-03 16:02:05 -06:00
Vincent St-Amour
58e97f83ea Fix sign propagation for division. 
Found using random testing.
 2015-11-03 15:47:32 -06:00
Vincent St-Amour
da97da5ff8 Fix type of expt when mixing floats and float complexes. 
Found using random testing.
 2015-11-02 19:31:00 -06:00
Vincent St-Amour
e47ffeb0e8 Fix interaction of sign and underflow in fl/. 
Found using random testing.
 2015-11-02 19:31:00 -06:00
Alexis King
4bf3479776 Add types for writeln and println 2015-09-08 15:58:07 -04:00
Asumu Takikawa
f5f84c7625 Fix for*/fold and for*/lists 
Only parse and use the type annotations if they are present on
all fold variables. This matches the default for other forms in TR.
Also, this will usually result in a "insufficient type information"
message which is more helpful than if TR chose some default type.

Closes PR 15138
Closes PR 14893
 2015-08-25 11:44:24 -04:00
Asumu Takikawa
509f1aa20c Update type for copy-directory/files 2015-08-14 01:02:54 -04:00
Brian Lachance
5e0e8ed713 Fix missing match cases when trying to bind AnyValues typed "results" 
tc-toplevel has fixes for define's, tc-let-unit has fixes for let's
 2015-07-29 11:44:29 -04:00
Asumu Takikawa
91279f46c7 Add types for recent functions moved from unstable 2015-07-28 14:49:26 -04:00
Asumu Takikawa
2819a62b30 Add types for new syntax operations 2015-07-27 17:15:54 -04:00
Matthew Flatt
1842aaa2bd fixes for some tests 
The `identifier-binding` function is now senstive to the "macro
introduction" scope that's on an indentifier provided to a currently
expanding macro. Unit tests for TR need to use
`syntax-local-intorduce` to remove it, in the same way that `tc-setup`
already does.

Also, recognize a class expansion when it's wrapped with
`#%expression`, since `class` now expands that way sometimes.
 2015-07-16 08:40:35 -06:00
AlexKnauth
aec5fad4be make append preserve non-emptyness of first argument 
see https://github.com/racket/scribble/pull/8#discussion_r33423152
 2015-06-28 12:07:42 -04:00
Vincent St-Amour
6bef6e6ca8 Make type of abs and magnitude more precise. 
Fixes a failing test.
 2015-06-16 12:00:07 -05:00
Eric Dobson
0498f548c1 Fix the type of abs on negative zeros. 2015-06-16 10:43:01 -05:00
Asumu Takikawa
bc3443b393 Change Module-Path type to accommodate submodules 
Closes #84
 2015-06-10 12:21:51 -04:00
AlexKnauth
e075523e5e change type of partition 2015-05-19 16:29:49 -04:00
Mira Leung
3a70ed5669 Update to fl>= tests 2015-05-14 12:13:14 -04:00
Mira Leung
9b88243b5c Unit tests for fl comparison operators 2015-05-14 12:13:14 -04:00
Mira Leung
df0f9d53bd Unit tests for fl>= typechecking 2015-05-14 12:13:14 -04:00
Eric Dobson
90061c2b96 Add filters for trivial cases in arithemetic procedures. 2015-05-02 08:26:50 -07:00
Vincent St-Amour
257d4ec9a7 Fix use of values in type of integer-sqrt/remainder. 
Closes PR 15034.
 2015-04-28 17:49:53 -04:00
Eric Dobson
f0c48cfb87 Make abs return its argument on -NonNegReal. 2015-04-07 09:50:33 -07:00
Eric Dobson
a522768b7e Make tc-subst restrict returned types based on argument types. 2015-04-07 09:50:32 -07:00
Eric Dobson
7a29e8e369 Simplify cases in comparisons with -Zero or -RealZero 2015-04-07 08:23:32 -07:00
Eric Dobson
1ad0a2b181 Remove extra cases in comparisons for -One 2015-04-07 08:23:32 -07:00
Eric Dobson
b77bd862a0 Stop trying to represent rest objects because they are currently broken. 
Closes #83.
 2015-04-07 08:13:38 -07:00
Eric Dobson
a33b27a3c9 Remove many cases of = that are unnecessary. 2015-04-05 19:10:51 -07:00
Eric Dobson
7b762933c6 Simplify the type of zero?. 2015-04-05 19:07:12 -07:00
Asumu Takikawa
7b5478e0bc Make Place-Channel <: (Evtof Any) 2015-04-02 11:00:25 -04:00
Eric Dobson
889d96ca78 Strengthen infinity checks in comparison operations. 
This adds checks for infinity when comparing against reals and accounts
for NaNs.
 2015-03-30 09:25:48 -07:00
Eric Dobson
3889036b12 Simplify types for positive? and negative?. 2015-03-30 09:12:51 -07:00