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

46 Commits

Author SHA1 Message Date
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
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