Alexis King
a3ca5aeefc
Allow the types created for structs to be specified manually
...
This allows the types generated by the struct form, as well as #:struct
clauses of require/typed, to be specified explicitly using a #:type-name
option. This allows the name of a struct and the type it is assigned to
be different.
Closes #261
2015-12-30 13:12:05 -08:00
Asumu Takikawa
b4489012a7
Temporarily disable examples until #264 is fixed
2015-12-20 17:04:55 -05:00
Asumu Takikawa
8791bdcdfc
Remove evaluation imports that aren't needed
2015-12-20 17:04:55 -05:00
Asumu Takikawa
f08f3d07d4
Convert TR docs to use scribble/example
2015-12-20 17:04:55 -05:00
Alex Knauth
fdbf052bdb
Merge pull request #259 from AlexKnauth/define-new-subtype-docs
...
Clarify define-new-subtype docs
2015-12-10 16:00:04 -05:00
Asumu Takikawa
7f05dc6731
Update docs & tests for struct constructor options
2015-12-08 00:33:45 -05:00
Alex Knauth
d3b56d8a5c
Clarify define-new-subtype docs
2015-12-03 17:15:38 -05:00
Sam Tobin-Hochstadt
f7123b8e57
Fix build dep.
2015-11-16 12:58:44 -05:00
Jordan Johnson
46836184f2
Document types exported by wrapper libs.
...
This includes types for all wrapper libs that define types, except for
typed/pict, typed/racket/*, and typed/syntax/stx.
2015-11-15 23:38:38 -08:00
Leif Andersen
4af7c9d10e
Fix typo in the docs.
...
p -> pt
(Thanks to Ben Chung for finding it.)
2015-11-13 14:06:14 -05:00
Matthew Flatt
265453def2
remove redundant doc lists for typed/openssl
2015-11-12 15:57:12 -07:00
Vincent St-Amour
bcd5fe531d
Document for/and and co as not working.
2015-11-11 13:30:24 -06:00
Sam Tobin-Hochstadt
4b9689e88a
Revise docs for minor improvements in support.
...
Closes #137 .
2015-11-10 16:40:22 -05:00
Matthew Butterick
e27a1e24df
Clarification of for/ forms
...
Make it explicit in the docs that `for/vector`, `for/flvector`, `for/first`, `for/last`, and `for/and` aren't yet supported by the typechecker.
2015-11-10 16:34:50 -05:00
WarGrey Gyoudmon Ju
dc73660242
Add typed/web-server/http.rkt, typed/web-server/configuration/responders.rkt
...
Closes #153 .
2015-11-10 16:32:20 -05:00
Andrew Kent
60c37ab2bf
conservatively label define-new-subtype as experimental for now
2015-10-27 19:32:29 -04:00
Asumu Takikawa
f1cb23062a
Add examples for typed/racket/unsafe docs
2015-10-21 14:26:53 -04:00
Matthew Flatt
ca46d80189
fix use of code:contract
...
Unlike `code:comment`, which wants a string or other content,
`code:contract` wants datums.
2015-10-02 15:32:50 -06:00
Asumu Takikawa
2cbadeaccc
Bump version for typed/racket/unsafe addition
...
Also add history annotations to docs
2015-09-30 15:37:02 -04:00
Asumu Takikawa
eb90cd4e8c
Add a typed/racket/unsafe library.
...
Comes with `unsafe-require/typed` and `unsafe-provide`.
These operations do not generate contracts but are not
exported by default by Typed Racket.
2015-09-29 18:48:08 -04:00
Emmanuel Oga
0191afbe98
typo
2015-09-16 04:21:03 -07:00
Daniel Feltey
c6743b4423
Don't expose require-typed-signature
2015-09-13 04:09:48 -05:00
Daniel Feltey
cbb76b987c
Fix tc/letrec-values contract and document require-typed-signature
2015-09-12 13:45:33 -05:00
Daniel Feltey
2ad3dc5f75
Add docs for typed units
2015-09-11 17:30:20 -05:00
Vincent St-Amour
bdbd18b839
Document AnyValues.
2015-09-07 20:41:05 -05:00
Asumu Takikawa
94ce4b203e
Use tc-expr for top-interaction functions instead
...
This restricts operations like `:print-type` to only
work on expressions. This seems like a reasonable
restriction and simplifies the implementation.
2015-08-14 21:25:54 -04:00
Vincent St-Amour
6b70510ebe
Fix doc typo.
2015-08-05 13:58:53 -05:00
AlexKnauth
a58c2e317f
add define-new-subtype
...
inspired by haskell newtypes
http://www.mail-archive.com/racket-users@googlegroups.com/msg27118.html
https://www.haskell.org/tutorial/moretypes.html
2015-07-30 01:39:06 -04:00
Sam Tobin-Hochstadt
fc59d375a0
Add more entries to the list of typed libraries.
2015-07-29 14:28:23 -07:00
Alexis King
a096857a88
Disable the #{} reader macro if a dispatch macro already exists on #\{
2015-05-14 14:35:30 -07:00
Alexis King
522e5fe45a
Remove dependency on compatibility-lib in the docs
2015-04-03 18:42:12 -07:00
Alexis King
e70617bf26
Replace let+ example with match; add margin note about Rec
2015-04-03 18:42:12 -07:00
Alexis King
2b6d979481
Add a note about struct subtyping
2015-04-03 18:42:12 -07:00
Alexis King
ffe1285828
Improve the guide section on recursive types
2015-04-03 18:42:12 -07:00
Alexis King
e3e73a8286
Update the guide to remove usages of legacy forms
2015-04-03 18:42:12 -07:00
Asumu Takikawa
61b8e098e6
Add doc examples for the struct form
2015-03-11 13:41:14 -04:00
Asumu Takikawa
238e76b63f
Update struct docs for #:prefab
2015-03-11 13:32:16 -04:00
Asumu Takikawa
8d05202361
Add docs for Prefab types
2015-03-10 15:18:02 -04:00
Alexis King
ece97e5e5c
Add typed/srfi/19 to typed-racket-more
...
Closes #22 .
2015-02-09 17:33:14 -05:00
Asumu Takikawa
8402ee1635
Add FSemaphores to Typed Racket
2015-02-02 11:23:09 -05:00
Sam Tobin-Hochstadt
579d78aa88
Add discussion of define-predicate to contract caveats.
2015-01-18 15:14:26 -05:00
Sam Tobin-Hochstadt
9a39c3e793
Add for/set and for*/set to Typed Racket.
2015-01-16 09:43:37 -05:00
Alexis King
9fe834d35c
Add typed/json which exports almost all of json
...
Does not include support for custom nulls, but is otherwise entirely
functional.
Closes #3 .
2014-12-22 20:41:24 -05:00
Andrew Kent
e1b8eff1f9
initial let-aliasing addition
2014-12-22 12:35:30 -05:00
Sam Tobin-Hochstadt
44e3cdfb71
Remove extra directories.
2014-12-02 00:53:36 -05:00
