From 74b25d8018f951cab795dd4221d8e230f667ea7e Mon Sep 17 00:00:00 2001 From: Joe Groff Date: Tue, 18 May 2010 18:59:35 -0700 Subject: [PATCH] syntax: correct documentation for ratio syntax --- core/syntax/syntax-docs.factor | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/core/syntax/syntax-docs.factor b/core/syntax/syntax-docs.factor index 035ac1454b..512e2de61a 100644 --- a/core/syntax/syntax-docs.factor +++ b/core/syntax/syntax-docs.factor @@ -54,15 +54,15 @@ ARTICLE: "syntax-integers" "Integer syntax" "More information on integers can be found in " { $link "integers" } "." ; ARTICLE: "syntax-ratios" "Ratio syntax" -"The printed representation of a ratio is a pair of integers separated by a slash (/), prefixed by an optional whole number part followed by a plus (+). No intermediate whitespace is permitted. Here are some examples:" +"The printed representation of a ratio is a pair of integers separated by a slash (" { $snippet "/" } "). A ratio can also be written as a proper fraction by following an integer part with " { $snippet "+" } " or " { $snippet "-" } " (matching the sign of the integer) and a ratio. No intermediate whitespace is permitted within a ratio literal. Here are some examples:" { $code "75/33" "1/10" "-5/-6" "1+1/3" - "-10+1/7" + "-10-1/7" } -"More information on ratios can be found in " { $link "rationals" } ; +"More information on ratios can be found in " { $link "rationals" } "." ; ARTICLE: "syntax-floats" "Float syntax" "Floating point literals are specified when a literal number contains a decimal point or exponent. Exponents are marked by an " { $snippet "e" } " or " { $snippet "E" } ":"