factor: rename set to unordered-set.

diff --git a/basis/bit-sets/bit-sets.factor b/basis/bit-sets/bit-sets.factor
index 0f1bca79997dcebc81cc3fe9bf95244600a21139..2b4fb129ee4b9d5ff7ba43e1ef7c97d73ab40165 100644 (file)
--- a/basis/bit-sets/bit-sets.factor
+++ b/basis/bit-sets/bit-sets.factor
@@ -9,7 +9,7 @@ TUPLE: bit-set { table bit-array read-only } ;
 : <bit-set> ( capacity -- bit-set )
     <bit-array> bit-set boa ; inline
 
-INSTANCE: bit-set set
+INSTANCE: bit-set unordered-set
 
 M: bit-set in?
     over integer? [ table>> ?nth ] [ 2drop f ] if ; inline

diff --git a/basis/compiler/tree/propagation/transforms/transforms.factor b/basis/compiler/tree/propagation/transforms/transforms.factor
index 1770cfde687e76204d8ee07a4cc64e4cc1168868..e95939b378f170679b34fee74c21e50accc86fae 100644 (file)
--- a/basis/compiler/tree/propagation/transforms/transforms.factor
+++ b/basis/compiler/tree/propagation/transforms/transforms.factor
@@ -10,7 +10,6 @@ namespaces quotations sequences sequences.generalizations
 sequences.private sets sets.private stack-checker
 stack-checker.dependencies vectors words ;
 FROM: math => float ;
-FROM: sets => set ;
 IN: compiler.tree.propagation.transforms
 
 \ equal? [
@@ -303,17 +302,17 @@ CONSTANT: lookup-table-at-max 256
 : diff-quot ( seq -- quot: ( seq' -- seq'' ) )
     [ tester ] keep '[ members [ @ ] reject _ set-like ] ;
 
-M\ set diff [ diff-quot ] 1 define-partial-eval
+M\ unordered-set diff [ diff-quot ] 1 define-partial-eval
 
 : intersect-quot ( seq -- quot: ( seq' -- seq'' ) )
     [ tester ] keep '[ members _ filter _ set-like ] ;
 
-M\ set intersect [ intersect-quot ] 1 define-partial-eval
+M\ unordered-set intersect [ intersect-quot ] 1 define-partial-eval
 
 : intersects?-quot ( seq -- quot: ( seq' -- seq'' ) )
     tester '[ members _ any? ] ;
 
-M\ set intersects? [ intersects?-quot ] 1 define-partial-eval
+M\ unordered-set intersects? [ intersects?-quot ] 1 define-partial-eval
 
 : bit-quot ( #call -- quot/f )
     in-d>> second value-info interval>> 0 fixnum-bits [a,b] interval-subset?

diff --git a/basis/hash-sets/wrapped/wrapped.factor b/basis/hash-sets/wrapped/wrapped.factor
index 76dc893edccba34541fe2ee60d81b04b45c170be..f2db814f1b8f2dc76c14f22b27f822ac8b6c8e00 100644 (file)
--- a/basis/hash-sets/wrapped/wrapped.factor
+++ b/basis/hash-sets/wrapped/wrapped.factor
@@ -45,6 +45,6 @@ M: wrapped-hash-set members
 M: wrapped-hash-set equal?
     over wrapped-hash-set? [ [ underlying>> ] same? ] [ 2drop f ] if ;
 
-INSTANCE: wrapped-hash-set set
+INSTANCE: wrapped-hash-set unordered-set
 
 { "hash-sets.wrapped" "prettyprint" } "hash-sets.wrapped.prettyprint" require-when

diff --git a/basis/random/random.factor b/basis/random/random.factor
index 093e0b87e75fc41f7267b3f7ff8fc8fc2589f845..2584412bcd06ed799e073f7857d22b881a34e2f5 100644 (file)
--- a/basis/random/random.factor
+++ b/basis/random/random.factor
@@ -105,7 +105,7 @@ M: hashtable random
         [ array-nth ] [ [ 1 + ] dip array-nth ] 2bi 2array
     ] if-zero ;
 
-M: sets:set random members random ;
+M: unordered-set random members random ;
 
 M: hash-set random
     dup cardinality [ drop f ] [

diff --git a/basis/summary/summary.factor b/basis/summary/summary.factor
index fb46d3f11be7353d534212147f10c182d7933cc9..3f14ea1c390d46b2a197be1f30b410d13c0ae2f5 100644 (file)
--- a/basis/summary/summary.factor
+++ b/basis/summary/summary.factor
@@ -26,7 +26,7 @@ M: assoc summary
         " entries" %
     ] "" make ;
 
-M: set summary
+M: unordered-set summary
     [
         dup class-of name>> %
         " with " %

diff --git a/basis/tools/crossref/crossref-docs.factor b/basis/tools/crossref/crossref-docs.factor
index 3c47e57daee7a654e87572157093a969f1b3d83d..387c5ef8684a299af26456494bcf0e2a2642e536 100644 (file)
--- a/basis/tools/crossref/crossref-docs.factor
+++ b/basis/tools/crossref/crossref-docs.factor
@@ -55,7 +55,7 @@ HELP: usage.
 { $examples { $code "\\ reverse usage." } } ;
 
 HELP: quot-uses
-{ $values { "obj" object } { "set" "a " { $link set } " of words" } }
+{ $values { "obj" object } { "set" "a " { $link unordered-set } " of words" } }
 { $description "Outputs a set of words referenced by the quotation and any quotations it contains." } ;
 
 { usage usage. } related-words

diff --git a/core/classes/union/union.factor b/core/classes/union/union.factor
index 543436109832ac0b9ef58c6056d7d0d5be19388f..0e4cf5742a44ea3773c53632c9ac42e2aa2138c0 100644 (file)
--- a/core/classes/union/union.factor
+++ b/core/classes/union/union.factor
@@ -3,8 +3,7 @@
 USING: accessors assocs classes classes.algebra
 classes.algebra.private classes.builtin classes.private
 combinators definitions kernel kernel.private math math.private
-quotations sequences words ;
-FROM: sets => set= ;
+quotations sequences sets words ;
 IN: classes.union
 
 PREDICATE: union-class < class

diff --git a/core/hash-sets/hash-sets-docs.factor b/core/hash-sets/hash-sets-docs.factor
index a5d24f034f464e473141cebdf4aaf528ff3d3ae7..d78db9b9c6213924029f12d571b16f7e2b2a0726 100644 (file)
--- a/core/hash-sets/hash-sets-docs.factor
+++ b/core/hash-sets/hash-sets-docs.factor
@@ -11,7 +11,7 @@ ARTICLE: "hash-sets" "Hash sets"
 ABOUT: "hash-sets"
 
 HELP: hash-set
-{ $class-description "The class of hashtable-like sets. These implement the " { $link set } " mixin." } ;
+{ $class-description "The class of hashtable-like sets. These implement the " { $link unordered-set } " mixin." } ;
 
 HELP: <hash-set>
 { $values { "capacity" number } { "hash-set" hash-set } }

diff --git a/core/hash-sets/hash-sets.factor b/core/hash-sets/hash-sets.factor
index d994a572ce43d8005bb6de0aa9967ddeec540d87..c12be049b1c719714e20decc5ab41c81cf8fd2a4 100644 (file)
--- a/core/hash-sets/hash-sets.factor
+++ b/core/hash-sets/hash-sets.factor
@@ -134,7 +134,7 @@ M: hash-set equal?
 M: hash-set set-like
     drop dup hash-set? [ ?members >hash-set ] unless ; inline
 
-INSTANCE: hash-set set
+INSTANCE: hash-set unordered-set
 
 ! Overrides for performance
 

diff --git a/core/sets/sets-docs.factor b/core/sets/sets-docs.factor
index 905f20217e60d0c8c40cd74672013acfdbb10143..2ff4e82ebf9daca160406cbb860ae7ac0b21b81d 100644 (file)
--- a/core/sets/sets-docs.factor
+++ b/core/sets/sets-docs.factor
@@ -3,11 +3,11 @@ quotations sequences vectors ;
 IN: sets
 
 ARTICLE: "sets" "Sets"
-"A set is an unordered list of elements. Words for working with sets are in the " { $vocab-link "sets" } " vocabulary." $nl
+"A set is an unordered collection of elements. Words for working with sets are in the " { $vocab-link "sets" } " vocabulary." $nl
 "All sets are instances of a mixin class:"
 { $subsections
-    set
-    set?
+    unordered-set
+    unordered-set?
 }
 { $subsections "set-operations" "set-implementations" } ;
 
@@ -73,11 +73,11 @@ $nl
 $nl
 "As one particular example, " { $link POSTPONE: f } " is a representation of the empty set, since it is an empty sequence." ;
 
-HELP: set
+HELP: unordered-set
 { $class-description "The class of all sets. Custom implementations of the set protocol should be declared as instances of this mixin for all set implementation to work correctly." } ;
 
 HELP: adjoin
-{ $values { "elt" object } { "set" set } }
+{ $values { "elt" object } { "set" unordered-set } }
 { $description "Destructively adds " { $snippet "elt" } " to " { $snippet "set" } ". For sequences, this guarantees that this element is not duplicated, and that it is at the end of the sequence." $nl "Each mutable set type is expected to implement a method on this generic word." }
 { $examples
     { $example
@@ -92,26 +92,26 @@ HELP: adjoin
 { $side-effects "set" } ;
 
 HELP: ?adjoin
-{ $values { "elt" object } { "set" set } { "?" boolean } }
+{ $values { "elt" object } { "set" unordered-set } { "?" boolean } }
 { $description "A version of " { $link adjoin } " which returns whether the element was added to the set." }
 { $notes "This is slightly less efficient than " { $link adjoin } " due to the initial membership test." } ;
 
 HELP: delete
-{ $values { "elt" object } { "set" set } }
+{ $values { "elt" object } { "set" unordered-set } }
 { $description "Destructively removes " { $snippet "elt" } " from " { $snippet "set" } ". If the element is not present, this does nothing." $nl "Each mutable set type is expected to implement a method on this generic word." }
 { $side-effects "set" } ;
 
 HELP: clear-set
-{ $values { "set" set } }
+{ $values { "set" unordered-set } }
 { $contract "Removes all entries from the set." }
 { $side-effects "set" } ;
 
 HELP: members
-{ $values { "set" set } { "seq" sequence } }
+{ $values { "set" unordered-set } { "seq" sequence } }
 { $description "Creates a sequence with a single copy of each member of the set." $nl "Each set type is expected to implement a method on this generic word." } ;
 
 HELP: in?
-{ $values { "elt" object } { "set" set } { "?" boolean } }
+{ $values { "elt" object } { "set" unordered-set } { "?" boolean } }
 { $description "Tests whether the element is a member of the set." $nl "Each set type is expected to implement a method on this generic word as part of the set protocol." } ;
 
 HELP: adjoin-at
@@ -120,14 +120,14 @@ HELP: adjoin-at
 { $side-effects "assoc" } ;
 
 HELP: duplicates
-{ $values { "set" set } { "seq" sequence } }
+{ $values { "set" unordered-set } { "seq" sequence } }
 { $description "Outputs a sequence consisting of elements which occur more than once in " { $snippet "set" } "." }
 { $examples
     { $example "USING: sets prettyprint ;" "{ 1 2 3 1 2 1 } duplicates ." "{ 1 2 1 }" }
 } ;
 
 HELP: all-unique?
-{ $values { "set" set } { "?" boolean } }
+{ $values { "set" unordered-set } { "?" boolean } }
 { $description "Tests whether a set contains any repeated elements." }
 { $example
     "USING: sets prettyprint ;"
@@ -136,14 +136,14 @@ HELP: all-unique?
 } ;
 
 HELP: diff
-{ $values { "set1" set } { "set2" set } { "set" set } }
+{ $values { "set1" unordered-set } { "set2" unordered-set } { "set" unordered-set } }
 { $description "Outputs a set consisting of elements present in " { $snippet "set1" } " but not " { $snippet "set2" } ", comparing elements for equality." $nl "This word has a default definition which works for all sets, but set implementations may override the default for efficiency."
 } { $examples
     { $example "USING: sets prettyprint ;" "{ 1 2 3 } { 2 3 4 } diff ." "{ 1 }" }
 } ;
 
 HELP: intersect
-{ $values { "set1" set } { "set2" set } { "set" set } }
+{ $values { "set1" unordered-set } { "set2" unordered-set } { "set" unordered-set } }
 { $description "Outputs a set consisting of elements present in both " { $snippet "set1" } " and " { $snippet "set2" } "."
 "This word has a default definition which works for all sets, but set implementations may override the default for efficiency." }
 { $examples
@@ -151,11 +151,11 @@ HELP: intersect
 } ;
 
 HELP: intersection
-{ $values { "sets" sequence } { "set/f" { $maybe set } } }
+{ $values { "sets" sequence } { "set/f" { $maybe unordered-set } } }
 { $description "Outputs the intersection of all the sets of the sequence " { $snippet "sets" } ", or " { $link f } " if " { $snippet "sets" } " is empty." } ;
 
 HELP: union
-{ $values { "set1" set } { "set2" set } { "set" set } }
+{ $values { "set1" unordered-set } { "set2" unordered-set } { "set" unordered-set } }
 { $description "Outputs a set consisting of elements present in either " { $snippet "set1" } " or " { $snippet "set2" } " which does not contain duplicate values." $nl "This word has a default definition which works for all sets, but set implementations may override the default for efficiency." }
 { $examples
     { $example "USING: sets prettyprint ;" "{ 1 2 3 } { 2 3 4 } union ." "{ 1 2 3 4 }" }
@@ -164,32 +164,32 @@ HELP: union
 { diff intersect union } related-words
 
 HELP: union!
-{ $values { "set1" set } { "set2" set } }
+{ $values { "set1" unordered-set } { "set2" unordered-set } }
 { $description "Adds all members from " { $snippet "set2" } " to " { $snippet "set1" } "." }
 { $side-effects "set1" } ;
 
 HELP: diff!
-{ $values { "set1" set } { "set2" set } }
+{ $values { "set1" unordered-set } { "set2" unordered-set } }
 { $description "Removes all members from " { $snippet "set1" } " contained in " { $snippet "set2" } "." }
 { $side-effects "set1" } ;
 
 HELP: intersect!
-{ $values { "set1" set } { "set2" set } }
+{ $values { "set1" unordered-set } { "set2" unordered-set } }
 { $description "Removes all members from " { $snippet "set1" } " not contained in " { $snippet "set2" } "." }
 { $side-effects "set1" } ;
 
 HELP: intersects?
-{ $values { "set1" set } { "set2" set } { "?" boolean } }
+{ $values { "set1" unordered-set } { "set2" unordered-set } { "?" boolean } }
 { $description "Tests if " { $snippet "set1" } " and " { $snippet "set2" } " have any elements in common." }
 { $notes "If one of the sets is empty, the result is always " { $link f } "." } ;
 
 HELP: subset?
-{ $values { "set1" set } { "set2" set } { "?" boolean } }
+{ $values { "set1" unordered-set } { "set2" unordered-set } { "?" boolean } }
 { $description "Tests if every element of " { $snippet "set1" } " is contained in " { $snippet "set2" } "." }
 { $notes "If " { $snippet "set1" } " is empty, the result is always " { $link t } "." } ;
 
 HELP: set=
-{ $values { "set1" set } { "set2" set } { "?" boolean } }
+{ $values { "set1" unordered-set } { "set2" unordered-set } { "?" boolean } }
 { $description "Tests if both sets contain the same elements, disregrading order and duplicates." } ;
 
 HELP: gather
@@ -199,28 +199,28 @@ HELP: gather
 { $description "Maps a quotation onto a sequence, concatenates the results of the mapping, and removes duplicates." } ;
 
 HELP: set-like
-{ $values { "set" set } { "exemplar" set } { "set'" set } }
+{ $values { "set" unordered-set } { "exemplar" unordered-set } { "set'" unordered-set } }
 { $description "If the conversion is defined for the exemplar, converts the set into a set of the exemplar's class. This is not guaranteed to create a new set, for example if the input set and exemplar are of the same class." $nl "Set implementations may optionally implement a method on this generic word. The default implementation returns its input set." }
 { $examples
     { $example "USING: sets prettyprint ;" "{ 1 2 3 } HS{ } set-like ." "HS{ 1 2 3 }" }
 } ;
 
 HELP: within
-{ $values { "seq" sequence } { "set" set } { "subseq" sequence } }
+{ $values { "seq" sequence } { "set" unordered-set } { "subseq" sequence } }
 { $description "Returns the subsequence of the given sequence consisting of members of the set. This may contain duplicates, if the sequence has duplicates." } ;
 
 HELP: without
-{ $values { "seq" sequence } { "set" set } { "subseq" sequence } }
+{ $values { "seq" sequence } { "set" unordered-set } { "subseq" sequence } }
 { $description "Returns the subsequence of the given sequence consisting of things that are not members of the set. This may contain duplicates, if the sequence has duplicates." } ;
 
 HELP: null?
-{ $values { "set" set } { "?" boolean } }
+{ $values { "set" unordered-set } { "?" boolean } }
 { $description "Tests whether the given set is empty. This outputs " { $snippet "t" } " when given a null set of any type." } ;
 
 HELP: cardinality
-{ $values { "set" set } { "n" "a non-negative integer" } }
+{ $values { "set" unordered-set } { "n" "a non-negative integer" } }
 { $description "Returns the number of elements in the set. All sets support this operation." } ;
 
 HELP: combine
-{ $values { "sets" "a sequence of sets" } { "set/f" { $maybe set } } }
+{ $values { "sets" "a sequence of sets" } { "set/f" { $maybe unordered-set } } }
 { $description "Outputs the union of a sequence of sets, or " { $link f } " if the sequence is empty." } ;

diff --git a/core/sets/sets-tests.factor b/core/sets/sets-tests.factor
index 40ad691842b6e9d971ffb6d729d05a844b80ebcb..da2ba02f024d649deb6618a23d9dd83d82efc238 100644 (file)
--- a/core/sets/sets-tests.factor
+++ b/core/sets/sets-tests.factor
@@ -111,18 +111,18 @@ IN: sets.tests
 { H{ { 3 H{ { 1 1 } { 2 2 } } } } } [ H{ } clone 1 3 pick conjoin-at 2 3 pick conjoin-at ] unit-test
 
 TUPLE: null-set ;
-INSTANCE: null-set set
+INSTANCE: null-set unordered-set
 M: null-set members drop f ;
 
 { 0 } [ T{ null-set } cardinality ] unit-test
 { f } [ T{ null-set } members ] unit-test
 { t } [ T{ null-set } T{ null-set } set-like T{ null-set } = ] unit-test
 
-{ t } [ T{ null-set } set? ] unit-test
-{ t } [ HS{ } set? ] unit-test
-{ t } [ { } set? ] unit-test
-{ t } [ 5 <bit-set> set? ] unit-test
-{ f } [ H{ } set? ] unit-test
+{ t } [ T{ null-set } unordered-set? ] unit-test
+{ t } [ HS{ } unordered-set? ] unit-test
+{ t } [ { } unordered-set? ] unit-test
+{ t } [ 5 <bit-set> unordered-set? ] unit-test
+{ f } [ H{ } unordered-set? ] unit-test
 
 { HS{ } } [ HS{ } [ clear-set ] keep ] unit-test
 { HS{ } } [ HS{ 1 2 3 } [ clear-set ] keep ] unit-test

diff --git a/core/sets/sets.factor b/core/sets/sets.factor
index d8874371a4077d0f012c24797bdaa7662e8bbf6a..26ea09c2e1e24daf210c61486f02569464713ae7 100644 (file)
--- a/core/sets/sets.factor
+++ b/core/sets/sets.factor
@@ -3,8 +3,9 @@
 USING: assocs hashtables kernel math sequences vectors ;
 IN: sets
 
-! Set protocol
-MIXIN: set
+! unordered-set protocol
+! The word name ``set`` is for dynamic variables.
+MIXIN: unordered-set
 GENERIC: adjoin ( elt set -- )
 GENERIC: ?adjoin ( elt set -- ? )
 GENERIC: in? ( elt set -- ? )
@@ -35,15 +36,15 @@ M: f clear-set drop ; inline
 ! Defaults for some methods.
 ! Override them for efficiency
 
-M: set ?adjoin 2dup in? [ 2drop f ] [ adjoin t ] if ;
+M: unordered-set ?adjoin 2dup in? [ 2drop f ] [ adjoin t ] if ;
 
-M: set null? members null? ; inline
+M: unordered-set null? members null? ; inline
 
-M: set cardinality members length ;
+M: unordered-set cardinality members length ;
 
-M: set clear-set [ members ] keep [ delete ] curry each ;
+M: unordered-set clear-set [ members ] keep [ delete ] curry each ;
 
-M: set set-like drop ; inline
+M: unordered-set set-like drop ; inline
 
 <PRIVATE
 
@@ -55,7 +56,7 @@ M: set set-like drop ; inline
 
 PRIVATE>
 
-M: set union [ (union) ] keep set-like ;
+M: unordered-set union [ (union) ] keep set-like ;
 
 <PRIVATE
 
@@ -76,11 +77,11 @@ M: set union [ (union) ] keep set-like ;
 
 PRIVATE>
 
-M: set intersect [ (intersect) ] keep set-like ;
+M: unordered-set intersect [ (intersect) ] keep set-like ;
 
-M: set diff [ (diff) ] keep set-like ;
+M: unordered-set diff [ (diff) ] keep set-like ;
 
-M: set intersects?
+M: unordered-set intersects?
     small/large sequence/tester any? ;
 
 <PRIVATE
@@ -90,17 +91,17 @@ M: set intersects?
 
 PRIVATE>
 
-M: set subset?
+M: unordered-set subset?
     2dup [ cardinality ] bi@ > [ 2drop f ] [ (subset?) ] if ;
 
-M: set set=
+M: unordered-set set=
     2dup [ cardinality ] bi@ eq? [ (subset?) ] [ 2drop f ] if ;
 
-M: set fast-set ;
+M: unordered-set fast-set ;
 
-M: set duplicates drop f ;
+M: unordered-set duplicates drop f ;
 
-M: set all-unique? drop t ;
+M: unordered-set all-unique? drop t ;
 
 <PRIVATE
 
@@ -114,7 +115,7 @@ M: set all-unique? drop t ;
 PRIVATE>
 
 ! Sequences are sets
-INSTANCE: sequence set
+INSTANCE: sequence unordered-set
 
 M: sequence in?
     member? ; inline

diff --git a/extra/yaml/yaml.factor b/extra/yaml/yaml.factor
index 2a850eec96c1a51a37b09dad06be9bf86ed7c521..058ead1e53927d0098e697d01f6b7d7fb92dc094 100644 (file)
--- a/extra/yaml/yaml.factor
+++ b/extra/yaml/yaml.factor
@@ -7,7 +7,6 @@ hashtables hashtables.identity io.encodings.string
 io.encodings.utf8 kernel libc linked-assocs locals make math
 math.parser namespaces sequences sets strings yaml.config
 yaml.conversion yaml.ffi hash-sets.identity ;
-FROM: sets => set ;
 IN: yaml
 
 ERROR: libyaml-parser-error
@@ -204,7 +203,7 @@ M: yaml-alias (deref-aliases) anchor>> of ;
 M: sequence (deref-aliases)
     [ (deref-aliases) ] with map! ;
 
-M: set (deref-aliases)
+M: unordered-set (deref-aliases)
     [ members (deref-aliases) ] [ clear-set ] [ swap union! ] tri ;
 
 : assoc-map! ( assoc quot -- assoc' )
@@ -333,7 +332,7 @@ M: string (replace-aliases) nip ;
 M: sequence (replace-aliases)
     [ ?replace-aliases ] with map ;
 
-M: set (replace-aliases)
+M: unordered-set (replace-aliases)
     [ members (replace-aliases) ] keep set-like ;
 
 M: assoc (replace-aliases)
@@ -362,7 +361,7 @@ M: string (replace-anchors) nip ;
 M: sequence (replace-anchors)
     [ ?replace-anchors ] with map ;
 
-M: set (replace-anchors)
+M: unordered-set (replace-anchors)
     [ members ?replace-anchors ] keep set-like ;
 
 M: assoc (replace-anchors)
@@ -470,7 +469,7 @@ M: assoc emit-value ( emitter event anchor assoc -- )
     [ nip emit-assoc-body ]
     [ 2drop emit-assoc-end ] 4tri ;
 
-M: set emit-value ( emitter event anchor set -- )
+M: unordered-set emit-value ( emitter event anchor set -- )
     [ drop YAML_SET_TAG f emit-assoc-start ]
     [ nip emit-set-body ]
     [ 2drop emit-assoc-end ] 4tri ;