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

44 Commits

Author SHA1 Message Date
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
Eric Dobson
5de22c80f7 Make values->tc-results restrict to the original type of the object. 2015-03-30 09:12:25 -07:00
Eric Dobson
e5ea1f4bb6 Make zero? sound with regards to NaN. 2015-03-28 14:08:20 -07:00
Alexis King
b54d8dc04a Strengthen the types for member, memv, memq, and memf 
Fixes #61.
 2015-03-25 16:44:42 -07:00
Alexis King
aab2d9efcf Include more specific types for integers converted to floats 2015-03-19 18:54:11 -07:00
Asumu Takikawa
5d708ab53f Add typechecking for prefab structs 
Adds a new Prefab type constructor along with support for
the use of `struct` with the #:prefab keyword.
 2015-03-10 15:14:51 -04:00
Asumu Takikawa
57a76517fc Enable environment extension in unit tests 
This allows a unit test like tc-e to extend the lexical
type environment when checking the test expression.
 2015-03-09 15:59:02 -04:00
Vincent St-Amour
787df49140 Make type of division more lenient. 
Thanks to John Clements for the report.
 2015-02-04 14:06:54 -05:00
Asumu Takikawa
8402ee1635 Add FSemaphores to Typed Racket 2015-02-02 11:23:09 -05:00
Asumu Takikawa
e85cc55f6f Add types for call-with-semaphore 2015-02-02 02:54:01 -05:00
Alexis King
7122d93de8 Make Path a subtype of Module-Path 
Closes #20.
 2015-01-31 09:33:50 -05:00
Alexis King
8c471bb2a3 Add tests for directory-list #:build? argument 
Closes #18.
 2015-01-29 09:55:17 -05:00
Vincent St-Amour
ef35d21a31 Refine type of current-inexact-milliseconds. 
Thanks to Alex Knauth for the report.
 2015-01-27 20:30:28 -05:00
Sam Tobin-Hochstadt
9a39c3e793 Add for/set and for*/set to Typed Racket. 2015-01-16 09:43:37 -05:00
Andrew Kent
3ed6b464e7 overlap tests for Seq and Evt, minor overlap fix 2015-01-06 15:01:16 -05:00
Andrew Kent
16db5ecc78 dont let-alias type vars, better overlap & restrict 2015-01-06 13:51:40 -05:00
Andrew Kent
9d41048747 fixed mutation let-aliasing bug 
let-aliasing initially forgot to check if a variable that might act as
an alias was ever mutated. fixed by disallowing a mutated variable to
act as an alias.
 2015-01-03 23:03:45 -05:00
Asumu Takikawa
6059fb481b Check expected type before calling tc/funapp1 
This compensates for a change in commit bb3f446186
that made the possible-domains function more permissive
(possibly returning results that are inconsistent with the
 expected type).

Closes PR 14889
 2015-01-01 00:03:23 -05:00
Andrew Kent
e1b8eff1f9 initial let-aliasing addition 2014-12-22 12:35:30 -05:00
Vincent St-Amour
134f793ccc Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00