steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix a typo in compiler.tree.propagation.constraints documentation

windows-high-dpi
Cat Stevens 2018-02-12 14:41:41 -05:00 committed by John Benediktsson
parent 5fb53c851c
commit b14d6085d6
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
basis/compiler/tree/propagation/constraints/constraints-docs.factor
View File

@ -17,18 +17,19 @@ HELP: interval-constraint
{ $class-description "An interval constraint." } ; { $class-description "An interval constraint." } ;
HELP: literal-constraint HELP: literal-constraint
{ $class-description "A literal constraint" } ; { $class-description "A literal constraint." } ;
HELP: satisfied? HELP: satisfied?
{ $values { "constraint" "a constraint" } { "?" boolean } } { $values { "constraint" "a constraint" } { "?" boolean } }
{ $description "satisfied? is inaccurate. It's just used to prevent infinite loops so its only implemented for true-constraints and false-constraints." } ; { $description "The name " { $snippet "satisfied?" } " is imprecise. This word is used to prevent infinite loops, so it is only implemented for " { $link true-constraint } " and " { $link false-constraint } "." } ;
ARTICLE: "compiler.tree.propagation.constraints" "Support for predicated value info" ARTICLE: "compiler.tree.propagation.constraints" "Support for predicated value info"
"A constraint is a statement about a value." "A constraint is a statement about a value. The " { $vocab-link "compiler.tree.propagation.constraints" } " vocabulary implements these constraints for propagation of values through the compilation process."
$nl $nl
"Boolean constraints:" "Boolean constraints:"
{ $subsections true-constraint true-constraint } { $subsections true-constraint false-constraint }
"Utilities:" "Utilities:"
{ $subsections t--> f--> } ; { $subsections t--> f--> } ;
ABOUT: "compiler.tree.propagation.constraints" ABOUT: "compiler.tree.propagation.constraints"