suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix line breaks in the docs.

Browse Source 
original commit: 63572cc0f7b502261bb47ac0a5dbe60b406ed214
This commit is contained in:
Vincent St-Amour 2013-11-18 14:59:46 -05:00
parent 78f8879e1a
commit e861cec692
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/caveats.scrbl
View File

@ -70,8 +70,9 @@ The following illustrates an example type that cannot be
converted to a contract:
@interaction[#:eval the-eval
(require/typed racket/base [object-name (case-> (Struct-Type-Property -> Symbol)
(Regexp -> (U String Bytes)))])
(require/typed racket/base
[object-name (case-> (Struct-Type-Property -> Symbol)
(Regexp -> (U String Bytes)))])
]
This function type by cases is a valid type, but a corresponding
@ -83,8 +84,9 @@ A more approximate type will work for this case, but with a loss
of type precision at use sites:
@interaction[#:eval the-eval
(require/typed racket/base [object-name ((U Struct-Type-Property Regexp)
-> (U String Bytes Symbol))])
(require/typed racket/base
[object-name ((U Struct-Type-Property Regexp)
-> (U String Bytes Symbol))])
(object-name #rx"a regexp")
]