]> gitweb.factorcode.org Git - factor.git/commitdiff
Merge branch 'docs-linearization-typo' of http://github.com/mncharity/factor
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Fri, 10 Sep 2010 03:33:11 +0000 (20:33 -0700)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Fri, 10 Sep 2010 03:33:11 +0000 (20:33 -0700)
core/classes/algebra/algebra-docs.factor

index 2c286cb3f6b7711ed10ab7f184f819ded7fb58f6..f913ca5fec372e52c38fe7b2d4087a46a64953d6 100644 (file)
@@ -17,7 +17,7 @@ ARTICLE: "class-operations" "Class operations"
 ARTICLE: "class-linearization" "Class linearization"\r
 "Classes have an intrinsic partial order; given two classes A and B, we either have that A is a subset of B, B is a subset of A, A and B are equal as sets, or they are incomparable. The last two situations present difficulties for method dispatch:"\r
 { $list\r
-    "If a generic word defines a method on a mixin class A and another class B, and B is the only instance of A, there is an ambiguity because A and B are equal as sets; any object that is an instance of one is an instance of both."\r
+    "If a generic word defines a method on a mixin class A and another on class B, and B is the only instance of A, there is an ambiguity because A and B are equal as sets; any object that is an instance of one is an instance of both."\r
     { "If a generic word defines methods on two union classes which are incomparable but not disjoint, for example " { $link sequence } " and " { $link number } ", there is an ambiguity because the generic word may be called on an object that is an instance of both unions." }\r
 }\r
 "The first ambiguity is resolved with a tie-breaker that compares metaclasses. The intrinsic meta-class order, from most-specific to least-specific:"\r