From 02fdb4efca2757c382b7b4f0e98c237f3ec463a5 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@slava-pestovs-macbook-pro.local>
Date: Sun, 27 Apr 2008 01:49:05 -0500
Subject: [PATCH] Documentation for MEMO::

---
 extra/locals/locals-docs.factor | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/extra/locals/locals-docs.factor b/extra/locals/locals-docs.factor
index 372a567550..a022b92a88 100644
--- a/extra/locals/locals-docs.factor
+++ b/extra/locals/locals-docs.factor
@@ -1,4 +1,5 @@
-USING: help.syntax help.markup kernel macros prettyprint ;
+USING: help.syntax help.markup kernel macros prettyprint
+memoize ;
 IN: locals
 
 <PRIVATE
@@ -80,13 +81,21 @@ HELP: ::
 { $notes "The output names do not affect the word's behavior, however the compiler attempts to check the stack effect as with other definitions." }
 { $examples "See " { $link POSTPONE: [| } ", " { $link POSTPONE: [let } " and " { $link POSTPONE: [wlet } "." } ;
 
+{ POSTPONE: : POSTPONE: :: } related-words
+
 HELP: MACRO::
 { $syntax "MACRO:: word ( bindings... -- outputs... ) body... ;" }
-{ $description "Defines a macro with named inputs; it reads stack values into bindings from left to right, then executes the body with those bindings in lexical scope. Any " { $link POSTPONE: [| } ", " { $link POSTPONE: [let } " or " { $link POSTPONE: [wlet } " forms used in the body of the word definition are automatically closure-converted." }
+{ $description "Defines a macro with named inputs; it reads stack values into bindings from left to right, then executes the body with those bindings in lexical scope." }
 { $notes "The output names do not affect the word's behavior, however the compiler attempts to check the stack effect as with other definitions." } ;
 
 { POSTPONE: MACRO: POSTPONE: MACRO:: } related-words
 
+HELP: MEMO::
+{ $syntax "MEMO:: word ( bindings... -- outputs... ) body... ;" }
+{ $description "Defines a memoized word with named inputs; it reads stack values into bindings from left to right, then executes the body with those bindings in lexical scope." } ;
+
+{ POSTPONE: MEMO: POSTPONE: MEMO:: } related-words
+
 ARTICLE: "locals-mutable" "Mutable locals"
 "In the list of bindings supplied to " { $link POSTPONE: :: } ", " { $link POSTPONE: [let } " or " { $link POSTPONE: [| } ", a mutable binding may be introduced by suffixing its named with " { $snippet "!" } ". Mutable bindings are read by giving their name as usual; the suffix is not part of the binding's name. To write to a mutable binding, use the binding's with the " { $snippet "!" } " suffix."
 $nl
@@ -119,6 +128,7 @@ $nl
 $nl
 "Applicative word definitions where the inputs are named local variables:"
 { $subsection POSTPONE: :: }
+{ $subsection POSTPONE: MEMO:: }
 { $subsection POSTPONE: MACRO:: }
 "Explicit closure conversion outside of applicative word definitions:"
 { $subsection with-locals }