From 06407a46e3c9cd660d0bbad7db5de90a85e18fc9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Sat, 2 Jun 2018 21:08:41 +0200 Subject: [PATCH] Docs: define can be either from typed/racket or type-expander --- scribblings/delay-pure.scrbl | 23 ++++++++++++++++++++--- 1 file changed, 20 insertions(+), 3 deletions(-) diff --git a/scribblings/delay-pure.scrbl b/scribblings/delay-pure.scrbl index 38257b1..0bb323a 100644 --- a/scribblings/delay-pure.scrbl +++ b/scribblings/delay-pure.scrbl @@ -9,6 +9,19 @@ racket/promise (only-in type-expander :)]] +@(module te racket/base + (provide te:define) + (require scribble/manual + (for-label type-expander)) + (define te:define (racket define))) +@(require 'te) +@(module tr racket/base + (provide tr:define) + (require scribble/manual + (for-label (only-meta-in 0 typed/racket))) + (define tr:define (racket define))) +@(require 'tr) + @title{Pure functions and promises} @author[@author+email["Georges Dupéron" "georges.duperon@gmail.com"]] @@ -104,12 +117,12 @@ possibly containing @tech{stateful} functions.} @deftogether[ - [@defform*[#:literals (:) + [@defform*[#:literals (: define) [(define-pure/stateless (name . args) maybe-result body ...) (define-pure/stateless (: name . type) (define (name . args) maybe-result body ...))]] - @defform*[#:literals (:) + @defform*[#:literals (: define) [(define-pure/stateful (name . args) maybe-result body ...) (define-pure/stateful (: name . type) @@ -138,7 +151,11 @@ @racketblock[ (define-pure/stateless (: square : (→ Number Number)) - (define (square x) (* x x)))]} + (define (square x) (* x x)))] + + The @racket[define] identifier can either be @tr:define from + @racketmodname[typed/racket] or @te:define from + @racketmodname[type-expander].} @(define-syntax (show-pure-ids stx) (with-syntax ([(id ...) (map (λ (id) (datum->syntax #'here (syntax-e id)))