From b4489012a7a91241e1c38cfabdc05fdd67fac82e Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sat, 12 Dec 2015 17:48:46 -0500 Subject: [PATCH] Temporarily disable examples until #264 is fixed --- .../typed-racket/scribblings/reference/special-forms.scrbl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl index 43f7ca72..fa44b723 100644 --- a/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl +++ b/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl @@ -675,6 +675,7 @@ but provides additional annotations to assist the typechecker. prompt tag. If the wrapped value is used in untyped code, a contract error will be raised. + @;{ @ex[ (module typed typed/racket (provide do-abort) @@ -692,7 +693,7 @@ but provides additional annotations to assist the typechecker. (code:comment "the function cannot be passed an argument") (λ (f) (f 3)))) (require 'untyped) - ] + ]} } @defform[(#%module-begin form ...)]{