From 8dda558992fd1373108cd018de2b11abb275a4e7 Mon Sep 17 00:00:00 2001 From: slava Date: Mon, 24 Jul 2006 06:23:53 +0000 Subject: [PATCH] Fix a typo --- library/collections/sequence-combinators.facts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/collections/sequence-combinators.facts b/library/collections/sequence-combinators.facts index 776fa2d5d0..8eb6fb69d1 100644 --- a/library/collections/sequence-combinators.facts +++ b/library/collections/sequence-combinators.facts @@ -160,6 +160,6 @@ HELP: copy-into "( n dest src -- )" { $errors "An error is thrown if " { $snippet "to" } " is not resizable, and not large enough to hold the copied elements." } ; HELP: >sequence "( seq pred quot -- )" -{ $values { "seq" "a sequence" } { "pred" "a quotation with stack effect " { $snippet "( seq -- ? )" } }{ "quot" "a quotation with stack effect " { $snippet "( n -- newseq )" } } { "newseq" "a freshly-allocated sequence" } } +{ $values { "seq" "a sequence" } { "pred" "a quotation with stack effect " { $snippet "( seq -- ? )" } } { "quot" "a quotation with stack effect " { $snippet "( n -- newseq )" } } { "newseq" "a freshly-allocated sequence" } } { $description "If " { $snippet "pred" } " answers a true value given " { $snippet "seq" } ", clones " { $snippet "seq" } ". Otherwise, calls " { $snippet "quot" } " with the length of " { $snippet "seq" } ", creating a new sequence, and copies the contents of " { $snippet "seq" } " into the new sequence." } { $notes "This word is used to implement words which convert one type of sequence into another, for example " { $link >array } "." } ;