这是indexloc提供的服务,不要输入任何密码
Skip to content

Pull requests: racket/typed-racket

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Add rackunit shortcut test declarations
#23 by lexi-lambda was closed Feb 9, 2015 Loading…
Add typed/srfi/19 to typed-racket-more
#22 by lexi-lambda was closed Feb 9, 2015 Loading…
Add support for use-dir? param of in-directory
#21 by lexi-lambda was closed Jan 31, 2015 Loading…
Make Path a subtype of Module-Path
#20 by lexi-lambda was closed Jan 31, 2015 Loading…
Remove uses of srfi/1 in Typed Racket
#19 by takikawa was merged Jan 28, 2015 Loading…
Improve the type for directory-list
#18 by lexi-lambda was closed Jan 29, 2015 Loading…
Move contracted defns to a submodule.
#17 by samth was merged Feb 9, 2015 Loading…
6 tasks done
more useful type for hash
#16 by AlexKnauth was closed Jan 24, 2015 Loading…
Added occurrence typing for private fields.
#14 by takikawa was merged Feb 12, 2015 Loading…
Improve check-below errors for classes/objects
#13 by takikawa was closed Jan 21, 2015 Loading…
Add contract generation support for Async-Channelof
#12 by lexi-lambda was closed Jan 20, 2015 Loading…
path-type allow non-subtype struct acc
#10 by pnwamk was merged Jan 14, 2015 Loading…
fixed mutation let-aliasing bug
#5 by pnwamk was merged Jan 5, 2015 Loading…
Add type for base64-encode optional argument
#4 by AngusL was merged Jan 2, 2015 Loading…
Add typed/json which exports almost all of json
#3 by lexi-lambda was closed Dec 23, 2014 Loading…
let-aliasing + removing let imps
#2 by pnwamk was merged Dec 22, 2014 Loading…
better Or implied checking, unit tests
#1 by pnwamk was closed Dec 14, 2014 Loading…
ProTip! Adding no:label will show everything without a label.