From 3174f87b67553fef009fe7f72f11c4f87f4a2e80 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@factorcode.org>
Date: Sat, 10 Dec 2005 06:02:13 +0000
Subject: [PATCH] minor cleanups all over the place

---
 TODO.FACTOR.txt                             | 11 +++++-
 contrib/httpd/mime.factor                   |  3 ++
 contrib/math/utils.factor                   |  4 +++
 library/alien/aliens.factor                 |  3 +-
 library/alien/c-types.factor                | 18 +++++-----
 library/bootstrap/primitives.factor         |  2 +-
 library/collections/arrays.factor           |  2 +-
 library/collections/sequence-eq.factor      |  2 +-
 library/collections/sequences.factor        |  5 +--
 library/collections/strings-epilogue.factor |  5 ++-
 library/compiler/amd64/alien.factor         | 15 ++++++++
 library/compiler/amd64/architecture.factor  |  7 ++++
 library/compiler/generator.factor           | 10 ++----
 library/compiler/linearizer.factor          |  3 +-
 library/compiler/vops.factor                |  8 -----
 library/compiler/x86/architecture.factor    |  6 ++++
 library/compiler/x86/fixnum.factor          | 40 +++++++--------------
 library/compiler/x86/generator.factor       | 14 ++++----
 library/compiler/x86/slots.factor           | 10 +++---
 library/generic/slots.factor                |  5 +--
 library/inference/branches.factor           |  3 --
 library/inference/call-optimizers.factor    |  8 -----
 library/inference/split-nodes.factor        |  8 +++--
 library/io/files.factor                     |  3 --
 library/math/arc-trig-hyp.factor            |  8 ++---
 library/math/constants.factor               |  1 +
 library/math/float.factor                   |  2 --
 library/math/vectors.factor                 |  4 ---
 library/test/files.factor                   |  8 -----
 library/test/test.factor                    |  6 ++--
 library/unix/io.factor                      | 11 ++----
 library/vocabularies.factor                 |  2 +-
 32 files changed, 106 insertions(+), 131 deletions(-)
 create mode 100644 library/compiler/amd64/alien.factor
 delete mode 100644 library/test/files.factor

diff --git a/TODO.FACTOR.txt b/TODO.FACTOR.txt
index a18491a1b9..f4f335b4a6 100644
--- a/TODO.FACTOR.txt
+++ b/TODO.FACTOR.txt
@@ -1,5 +1,15 @@
 + 0.80:
 
+- -with combinators are ackward
+
+- cleanups:
+  alien/compiler
+  inference/shuffle
+  inference-words inline-block
+  io/buffer - use aliens not integers
+  alien/malloc - use aliens not integers
+  ui/line-editor - don't use variables
+- fix powerpc backend
 - <array> ( length initial )
 - <string> ( length initial )
 - remove repetitions
@@ -25,7 +35,6 @@ word help sections:
 parsing word sections:
 - syntax
 
-- malloc, free, realloc, memcpy: aliens
 - check 'see'
 - intrinsic char-slot set-char-slot for x86
 - closing ui does not stop timers
diff --git a/contrib/httpd/mime.factor b/contrib/httpd/mime.factor
index aed930cb02..99e0df9f56 100644
--- a/contrib/httpd/mime.factor
+++ b/contrib/httpd/mime.factor
@@ -3,6 +3,9 @@
 IN: httpd
 USING: io hashtables kernel lists namespaces ;
 
+: file-extension ( filename -- extension )
+    "." split dup length 1 <= [ drop f ] [ peek ] if ;
+
 : mime-type ( filename -- mime-type )
     file-extension "mime-types" get
     hash [ "text/plain" ] unless* ;
diff --git a/contrib/math/utils.factor b/contrib/math/utils.factor
index 5e4d6cf1c7..98ac0e6060 100644
--- a/contrib/math/utils.factor
+++ b/contrib/math/utils.factor
@@ -36,6 +36,10 @@ USING: errors kernel sequences math sequences-internals namespaces arrays ;
     #! Complex inner product.
     0 [ ** + ] 2reduce ;
 
+: proj ( u v -- w )
+    #! Orthogonal projection of u onto v.
+    [ [ v. ] keep norm-sq v/n ] keep n*v ;
+
 : minmax ( seq -- min max )
     #! find the min and max of a seq in one pass
     inf -inf rot [ dup pick max -rot nip pick min -rot nip ] each ;
diff --git a/library/alien/aliens.factor b/library/alien/aliens.factor
index 518d51b30e..daa2d335bc 100644
--- a/library/alien/aliens.factor
+++ b/library/alien/aliens.factor
@@ -15,8 +15,7 @@ M: alien = ( obj obj -- ? )
         2drop f
     ] if ;
 
-: library ( name -- object )
-    dup [ "libraries" get hash ] when ;
+: library ( name -- object ) "libraries" get hash ;
 
 : load-library ( name -- dll )
     #! Higher level wrapper around dlopen primitive.
diff --git a/library/alien/c-types.factor b/library/alien/c-types.factor
index b894c2b298..58ee471264 100644
--- a/library/alien/c-types.factor
+++ b/library/alien/c-types.factor
@@ -18,24 +18,22 @@ sequences sequences-internals strings words ;
 SYMBOL: c-types
 
 : c-type ( name -- type )
-    dup c-types get hash [ ] [
-        "No such C type: " swap append throw f
-    ] ?if ;
+    dup c-types get hash
+    [ ] [ "No such C type: " swap append throw ] ?if ;
 
-: c-size ( name -- size )
-    "width" swap c-type hash ;
+: c-size ( name -- size ) "width" swap c-type hash ;
 
-: c-getter ( name -- quot )
-    "getter" swap c-type hash ;
+: c-getter ( name -- quot ) "getter" swap c-type hash ;
 
-: c-setter ( name -- quot )
-    "setter" swap c-type hash ;
+: c-setter ( name -- quot ) "setter" swap c-type hash ;
 
 : define-c-type ( quot name -- )
     >r <c-type> [ swap bind ] keep r> c-types get set-hash ;
     inline
 
-: <c-object> ( size -- c-ptr ) cell / ceiling <byte-array> ;
+: bytes>cells cell / ceiling ;
+
+: <c-object> ( size -- c-ptr ) bytes>cells <byte-array> ;
 
 : define-pointer ( type -- )
     "void*" c-type swap "*" append c-types get set-hash ;
diff --git a/library/bootstrap/primitives.factor b/library/bootstrap/primitives.factor
index 1a79d82878..22708dfdc9 100644
--- a/library/bootstrap/primitives.factor
+++ b/library/bootstrap/primitives.factor
@@ -18,7 +18,7 @@ words ;
 "syntax" vocab
 
 H{ } clone vocabularies set
-f crossref set
+crossref off
 
 vocabularies get [ "syntax" set [ reveal ] each ] bind
 
diff --git a/library/collections/arrays.factor b/library/collections/arrays.factor
index 14524f3b1c..1d11118765 100644
--- a/library/collections/arrays.factor
+++ b/library/collections/arrays.factor
@@ -12,7 +12,7 @@ USING: kernel math math-internals sequences sequences-internals ;
         ] all? 2nip
     ] [
         2drop f
-    ] if ; flushable
+    ] if ; inline
 
 IN: arrays
 
diff --git a/library/collections/sequence-eq.factor b/library/collections/sequence-eq.factor
index e7984400ef..2e148023f9 100644
--- a/library/collections/sequence-eq.factor
+++ b/library/collections/sequence-eq.factor
@@ -15,7 +15,7 @@ UNION: sequence array string sbuf vector ;
         dup length [ >r 2dup r> 2nth-unsafe = ] all? 2nip
     ] [
         2drop f
-    ] if ; flushable
+    ] if ; inline
 
 M: sequence = ( obj seq -- ? )
     2dup eq? [
diff --git a/library/collections/sequences.factor b/library/collections/sequences.factor
index 1075340e7d..f17f9e2142 100644
--- a/library/collections/sequences.factor
+++ b/library/collections/sequences.factor
@@ -6,10 +6,7 @@ USING: errors generic kernel math math-internals strings vectors ;
 ! This file is needed very early in bootstrap.
 
 ! Sequences support the following protocol. Concrete examples
-! are strings, string buffers, vectors, and arrays. Arrays are
-! low level and no | quot: elt -- ? t bounds-checked; they are in the
-! kernel-internals vocabulary, so don't use them unless you have
-! a good reason.
+! are strings, string buffers, vectors, and arrays.
 
 GENERIC: empty? ( sequence -- ? ) flushable
 GENERIC: length ( sequence -- n ) flushable
diff --git a/library/collections/strings-epilogue.factor b/library/collections/strings-epilogue.factor
index 1bf3707b63..e0c246c4e2 100644
--- a/library/collections/strings-epilogue.factor
+++ b/library/collections/strings-epilogue.factor
@@ -11,8 +11,7 @@ sequences strings ;
     <repeated> >string ; inline
 
 : padding ( string count char -- string )
-    >r swap length - dup 0 <= [ r> 2drop "" ] [ r> fill ] if ;
-    flushable
+    >r swap length - 0 max r> fill ; flushable
 
 : pad-left ( string count char -- string )
     pick >r padding r> append ; flushable
@@ -21,7 +20,7 @@ sequences strings ;
     pick >r padding r> swap append ; flushable
 
 : ch>string ( ch -- str )
-    1 <sbuf> [ push ] keep (sbuf>string) ; flushable
+    1 swap fill ; flushable
 
 : >sbuf ( seq -- sbuf )
     dup length <sbuf> [ swap nappend ] keep ; inline
diff --git a/library/compiler/amd64/alien.factor b/library/compiler/amd64/alien.factor
new file mode 100644
index 0000000000..72986b9104
--- /dev/null
+++ b/library/compiler/amd64/alien.factor
@@ -0,0 +1,15 @@
+! Copyright (C) 2005 Slava Pestov.
+! See http://factor.sf.net/license.txt for BSD license.
+IN: compiler-backend
+USING: alien assembler compiler inference kernel
+kernel-internals lists math memory namespaces words ;
+
+M: %alien-invoke generate-node drop ;
+
+M: %parameter generate-node drop ;
+
+M: %unbox generate-node drop ;
+
+M: %box generate-node drop ;
+
+M: %cleanup generate-node drop ;
diff --git a/library/compiler/amd64/architecture.factor b/library/compiler/amd64/architecture.factor
index fb5907b97c..21b8966133 100644
--- a/library/compiler/amd64/architecture.factor
+++ b/library/compiler/amd64/architecture.factor
@@ -17,6 +17,13 @@ USING: assembler compiler-backend kernel sequences ;
 
 : vregs { RAX RCX RDX RSI RDI R8 R9 R10 R11 } ; inline
 
+: param-regs { R9 R8 RCX RDX RSI RDI } ;
+
+DEFER: compile-c-call
+
+: compile-c-call* ( symbol dll -- operands )
+    param-regs swap [ MOV ] 2each compile-c-call ;
+
 ! FIXME
 M: int-regs fastcall-regs drop 0 ;
 M: int-regs reg-class-size drop 4 ;
diff --git a/library/compiler/generator.factor b/library/compiler/generator.factor
index 96016ff233..fa8f6bac78 100644
--- a/library/compiler/generator.factor
+++ b/library/compiler/generator.factor
@@ -55,14 +55,8 @@ SYMBOL: previous-offset
 M: %label generate-node ( vop -- )
     vop-label save-xt ;
 
-M: %end-dispatch generate-node ( vop -- ) drop ;
-
-: compile-target ( word -- ) 0 assemble-cell absolute-cell ;
-
-M: %target-label generate-node vop-label compile-target ;
-
-M: %target generate-node
-    vop-label dup postpone-word  compile-target ;
+M: %target-label generate-node ( vop -- )
+    drop label 0 assemble-cell absolute-cell ;
 
 M: %parameters generate-node ( vop -- ) drop ;
 
diff --git a/library/compiler/linearizer.factor b/library/compiler/linearizer.factor
index 524f0f72b5..856270432f 100644
--- a/library/compiler/linearizer.factor
+++ b/library/compiler/linearizer.factor
@@ -77,8 +77,7 @@ M: #if linearize* ( node -- )
     in-1
     -1 %inc-d ,
     0 %dispatch ,
-    [ <label> dup %target-label ,  cons ] map
-    %end-dispatch , ;
+    [ <label> dup %target-label ,  cons ] map ;
 
 : dispatch-body ( label/param -- )
     [ uncons %label , linearize* ] each ;
diff --git a/library/compiler/vops.factor b/library/compiler/vops.factor
index 6dc07e007f..043455553b 100644
--- a/library/compiler/vops.factor
+++ b/library/compiler/vops.factor
@@ -147,14 +147,6 @@ TUPLE: %target-label ;
 C: %target-label make-vop ;
 : %target-label label-vop <%target-label> ;
 
-TUPLE: %target ;
-C: %target make-vop ;
-: %target label-vop <%target> ;
-
-TUPLE: %end-dispatch ;
-C: %end-dispatch make-vop ;
-: %end-dispatch empty-vop <%end-dispatch> ;
-
 ! stack operations
 TUPLE: %peek ;
 C: %peek make-vop ;
diff --git a/library/compiler/x86/architecture.factor b/library/compiler/x86/architecture.factor
index a1733c6757..35c739c9fa 100644
--- a/library/compiler/x86/architecture.factor
+++ b/library/compiler/x86/architecture.factor
@@ -17,6 +17,12 @@ USING: assembler compiler-backend kernel sequences ;
 
 : vregs { EAX ECX EDX } ; inline
 
+DEFER: compile-c-call
+
+: compile-c-call* ( symbol dll args -- operands )
+    [ [ PUSH ] each compile-c-call ] keep
+    [ drop 0 scratch POP ] each ;
+
 ! On x86, parameters are never passed in registers.
 M: int-regs fastcall-regs drop 0 ;
 M: int-regs reg-class-size drop 4 ;
diff --git a/library/compiler/x86/fixnum.factor b/library/compiler/x86/fixnum.factor
index 44a085f749..a783441722 100644
--- a/library/compiler/x86/fixnum.factor
+++ b/library/compiler/x86/fixnum.factor
@@ -1,8 +1,8 @@
 ! Copyright (C) 2005 Slava Pestov.
 ! See http://factor.sf.net/license.txt for BSD license.
 IN: compiler-backend
-USING: assembler compiler errors kernel kernel-internals math
-math-internals memory namespaces words ;
+USING: arrays assembler compiler errors kernel kernel-internals
+math math-internals memory namespaces words ;
 
 : literal-overflow ( -- dest src )
     #! Called if the src operand is a literal.
@@ -25,11 +25,9 @@ math-internals memory namespaces words ;
     ! Compute a result, this time it will fit.
     r> execute
     ! Create a bignum.
-    0 output-operand PUSH
-    "s48_long_to_bignum" f compile-c-call
+    "s48_long_to_bignum" f 0 output-operand 1array compile-c-call*
     ! An untagged pointer to the bignum is now in EAX; tag it
     return-reg bignum-tag OR
-    0 scratch POP
     "end" get save-xt ; inline
 
 M: %fixnum+ generate-node ( vop -- )
@@ -46,20 +44,14 @@ M: %fixnum* generate-node ( vop -- )
     0 input-operand IMUL
     <label> "end" set
     "end" get JNO
-    remainder-reg PUSH
-    1 input-operand PUSH
-    "s48_long_long_to_bignum" f compile-c-call
-    0 scratch POP
-    0 scratch POP
+    "s48_long_long_to_bignum" f
+    remainder-reg 1 input-operand 2array compile-c-call*
     ! now we have to shift it by three bits to remove the second
     ! tag
-    tag-bits neg PUSH
-    1 input-operand PUSH
-    "s48_bignum_arithmetic_shift" f compile-c-call
+    "s48_bignum_arithmetic_shift" f
+    tag-bits neg 1 input-operand 2array compile-c-call*
     ! an untagged pointer to the bignum is now in EAX; tag it
     return-reg bignum-tag OR
-    0 scratch POP
-    0 scratch POP
     "end" get save-xt ;
 
 M: %fixnum-mod generate-node ( vop -- )
@@ -85,12 +77,10 @@ M: %fixnum-mod generate-node ( vop -- )
     "end" get JNO
     ! There was an overflow, so make ECX into a bignum. we must
     ! save EDX since its volatile.
-    remainder-reg PUSH
-    0 input-operand PUSH
-    "s48_long_to_bignum" f compile-c-call
+    "s48_long_to_bignum" f
+    remainder-reg 0 input-operand 2array compile-c-call*
     ! An untagged pointer to the bignum is now in EAX; tag it
     return-reg bignum-tag OR
-    0 input-operand POP
     ! the remainder is now in EDX
     remainder-reg POP
     "end" get save-xt ;
@@ -126,16 +116,12 @@ M: %fixnum<< generate-node
     "no-overflow" get JBE
     ! there is going to be an overflow, make a bignum
     1 input-operand tag-bits SAR
-    0 input PUSH
-    1 input-operand PUSH
-    "s48_long_to_bignum" f compile-c-call
-    0 scratch POP
-    1 input-operand PUSH
-    "s48_bignum_arithmetic_shift" f compile-c-call
+    "s48_long_to_bignum" f
+    0 input 1 input-operand 2array compile-c-call*
+    "s48_bignum_arithmetic_shift" f
+    1 input-operand 1array compile-c-call*
     ! tag the result
     1 input-operand bignum-tag OR
-    0 scratch POP
-    1 scratch POP
     "end" get JMP
     ! there is not going to be an overflow
     "no-overflow" get save-xt
diff --git a/library/compiler/x86/generator.factor b/library/compiler/x86/generator.factor
index 2dc827b1e0..519d4adb7a 100644
--- a/library/compiler/x86/generator.factor
+++ b/library/compiler/x86/generator.factor
@@ -7,21 +7,21 @@ kernel-internals lists math memory namespaces sequences words ;
 ! Not used on x86
 M: %prologue generate-node drop ;
 
-: compile-dlsym ( symbol dll quot -- )
-    >r 2dup dlsym r> call 1 0 rel-dlsym ; inline
+: compile-c-call ( symbol dll -- )
+    2dup dlsym CALL 1 0 rel-dlsym ;
 
-: compile-c-call ( symbol dll -- ) [ CALL ] compile-dlsym ;
+: (call-label)
+    label dup postpone-word
+    dup primitive? [ address-operand ] when ;
 
 M: %call generate-node ( vop -- )
-    drop label dup postpone-word
-    dup primitive? [ address-operand ] when CALL ;
+    drop (call-label) CALL ;
 
 M: %call-label generate-node ( vop -- )
     drop label CALL ;
 
 M: %jump generate-node ( vop -- )
-    drop label dup postpone-word
-    dup primitive? [ address-operand ] when JMP ;
+    drop (call-label) JMP ;
 
 M: %jump-label generate-node ( vop -- )
     drop label JMP ;
diff --git a/library/compiler/x86/slots.factor b/library/compiler/x86/slots.factor
index 80e62c85a1..8639bbac03 100644
--- a/library/compiler/x86/slots.factor
+++ b/library/compiler/x86/slots.factor
@@ -46,10 +46,12 @@ M: %fast-set-slot generate-node ( vop -- )
 
 M: %getenv generate-node ( vop -- )
     drop
-    0 output-operand 0 input userenv@ 1array MOV
-    0 input 0 rel-userenv ;
+    0 output-operand 0 input userenv@ MOV
+    0 input 0 rel-userenv
+    0 output-operand dup 1array MOV ;
 
 M: %setenv generate-node ( vop -- )
     drop
-    1 input userenv@ 1array 0 input-operand MOV
-    1 input 0 rel-userenv ;
+    0 scratch 1 input userenv@ MOV
+    1 input 0 rel-userenv
+    0 scratch 1array 0 input-operand MOV ;
diff --git a/library/generic/slots.factor b/library/generic/slots.factor
index 79521b38d7..a38ebf8b3b 100644
--- a/library/generic/slots.factor
+++ b/library/generic/slots.factor
@@ -29,11 +29,8 @@ parser sequences strings words ;
 : define-slot ( class slot reader writer -- )
     >r >r 2dup r> define-reader r> define-writer ;
 
-: ?create ( { name vocab } -- word )
-    dup [ first2 create ] when ;
-
 : intern-slots ( spec -- spec )
-    [ first3 [ ?create ] 2apply 3array ] map ;
+    [ first3 [ dup [ first2 create ] when ] 2apply 3array ] map ;
 
 : define-slots ( class spec -- )
     #! Define a collection of slot readers and writers for the
diff --git a/library/inference/branches.factor b/library/inference/branches.factor
index 6e947d6901..e13d9a02a9 100644
--- a/library/inference/branches.factor
+++ b/library/inference/branches.factor
@@ -9,9 +9,6 @@ namespaces parser prettyprint sequences strings vectors words ;
     #! shorter, pad it with unknown results at the bottom.
     dup 0 [ length max ] reduce swap [ add-inputs ] map-with ;
 
-: unify-length ( seq seq -- seq )
-    2array unify-lengths first2 ;
-
 : unify-values ( seq -- value )
     #! If all values in list are equal, return the value.
     #! Otherwise, unify.
diff --git a/library/inference/call-optimizers.factor b/library/inference/call-optimizers.factor
index 0ec4d88e93..a5f29cc038 100644
--- a/library/inference/call-optimizers.factor
+++ b/library/inference/call-optimizers.factor
@@ -118,14 +118,6 @@ SYMBOL: @
     { { @ 1 }  [ 2drop 0 ] }
 } define-identities
 
-! [ ^ ] {
-!     { { 1 @ }  [ 2drop 1 ]             }
-!     { { @ 1 }  [ drop ]                }
-!     { { @ 2 }  [ drop dup * ]          }
-!     { { @ -1 } [ drop 1 swap / ]       }
-!     { { @ -2 } [ drop dup * 1 swap / ] }
-! } define-identities
-
 [ bitand fixnum-bitand bignum-bitand ] {
     { { @ -1 } [ drop ] }
     { { -1 @ } [ nip  ] }
diff --git a/library/inference/split-nodes.factor b/library/inference/split-nodes.factor
index 01e7f30a2e..eaea1602cc 100644
--- a/library/inference/split-nodes.factor
+++ b/library/inference/split-nodes.factor
@@ -1,5 +1,5 @@
 IN: optimizer
-USING: inference kernel lists sequences words ;
+USING: arrays inference kernel lists sequences words ;
 
 ! #if --> X
 !   |
@@ -24,8 +24,10 @@ M: node split-node* ( node -- ) drop ;
 
 : post-inline ( #return/#values #call/#merge -- )
     dup [
-        [ >r node-in-d r> node-out-d unify-length ] keep
-        node-successor subst-values
+        [
+            >r node-in-d r> node-out-d
+            2array unify-lengths first2
+        ] keep node-successor subst-values
     ] [
         2drop
     ] if ;
diff --git a/library/io/files.factor b/library/io/files.factor
index 5422c74d8c..38c7f1d3c3 100644
--- a/library/io/files.factor
+++ b/library/io/files.factor
@@ -17,9 +17,6 @@ styles ;
 
 : file-length ( file -- length ) stat third ;
 
-: file-extension ( filename -- extension )
-    "." split dup length 1 <= [ drop f ] [ peek ] if ;
-
 : resource-path ( path -- path )
     "resource-path" get [ "." ] unless* swap path+ ;
 
diff --git a/library/math/arc-trig-hyp.factor b/library/math/arc-trig-hyp.factor
index 6e52f48c5f..5ec6adb6d8 100644
--- a/library/math/arc-trig-hyp.factor
+++ b/library/math/arc-trig-hyp.factor
@@ -15,10 +15,10 @@ USING: kernel math math-internals ;
 : acosech recip asinh ; inline
 : atanh dup 1+ swap 1- neg / log 2 / ; inline
 : acoth recip atanh ; inline
-: <=1 ( x -- ? ) dup complex? [ drop f ] [ abs 1 <= ] if ; inline
-: asin dup <=1 [ fasin ] [ i * asinh -i * ] if ; inline
-: acos dup <=1 [ facos ] [ asin pi 2 / swap - ] if ; inline
-: atan dup <=1 [ fatan ] [ i * atanh i * ] if ; inline
+: [-1,1]? ( x -- ? ) dup complex? [ drop f ] [ abs 1 <= ] if ; inline
+: asin dup [-1,1]? [ fasin ] [ i * asinh -i * ] if ; inline
+: acos dup [-1,1]? [ facos ] [ asin pi 2 / swap - ] if ; inline
+: atan dup [-1,1]? [ fatan ] [ i * atanh i * ] if ; inline
 : asec recip acos ; inline
 : acosec recip asin ; inline
 : acot recip atan ; inline
diff --git a/library/math/constants.factor b/library/math/constants.factor
index 9e49dc2684..840ab2e5e3 100644
--- a/library/math/constants.factor
+++ b/library/math/constants.factor
@@ -8,3 +8,4 @@ IN: math
 : -inf -1.0 0.0 / ; inline
 : e 2.7182818284590452354 ; inline
 : pi 3.14159265358979323846 ; inline
+: epsilon 2.2204460492503131e-16 ; inline
diff --git a/library/math/float.factor b/library/math/float.factor
index 83c9b211f7..8bcc198aa1 100644
--- a/library/math/float.factor
+++ b/library/math/float.factor
@@ -24,5 +24,3 @@ M: float /f float/f ;
 
 M: float 1+ 1.0 float+ ;
 M: float 1- 1.0 float- ;
-
-: epsilon 2.2204460492503131e-16 ; inline
diff --git a/library/math/vectors.factor b/library/math/vectors.factor
index d019fe2132..e851393671 100644
--- a/library/math/vectors.factor
+++ b/library/math/vectors.factor
@@ -37,7 +37,3 @@ USING: arrays generic kernel sequences ;
 : normalize ( vec -- uvec )
     #! Unit vector with same direction as vec.
     dup norm v/n ;
-
-: proj ( u v -- w )
-    #! Orthogonal projection of u onto v.
-    [ [ v. ] keep norm-sq v/n ] keep n*v ;
diff --git a/library/test/files.factor b/library/test/files.factor
deleted file mode 100644
index c9be31b984..0000000000
--- a/library/test/files.factor
+++ /dev/null
@@ -1,8 +0,0 @@
-IN: temporary
-USE: io
-USE: lists
-USE: test
-
-[ "txt" ] [ "foo.txt" file-extension ] unit-test
-[ f ] [ "foobar" file-extension ] unit-test
-[ "txt" ] [ "foo.bar.txt" file-extension ] unit-test
diff --git a/library/test/test.factor b/library/test/test.factor
index 3763d03cf3..f75ff65501 100644
--- a/library/test/test.factor
+++ b/library/test/test.factor
@@ -81,11 +81,9 @@ SYMBOL: failures
         "collections/hashtables" "collections/sbuf"
         "collections/strings" "collections/namespaces"
         "collections/vectors" "collections/sequences"
-        "collections/queues"
-        "generic" "tuple" "files" "parser"
+        "collections/queues" "generic" "tuple" "parser"
         "parse-number" "init" "io/io"
-        "words" "prettyprint" "random"
-        "stream" "math/bitops"
+        "words" "prettyprint" "random" "stream" "math/bitops"
         "math/math-combinators" "math/rational" "math/float"
         "math/complex" "math/irrational"
         "math/integer" "threads" "parsing-word"
diff --git a/library/unix/io.factor b/library/unix/io.factor
index 14cb50566c..958d0ceefc 100644
--- a/library/unix/io.factor
+++ b/library/unix/io.factor
@@ -13,11 +13,6 @@ USING: namespaces ;
 : byte-bit ( n alien -- byte bit )
     over -5 shift alien-unsigned-4 swap 31 bitand ;
 
-: bit-length ( n -- n ) cell / ceiling ;
-
-: <bit-array> ( n -- array )
-    bit-length <byte-array> ;
-
 : bit-nth ( n alien -- ? )
     byte-bit 1 swap shift bitand 0 > ;
 
@@ -29,7 +24,7 @@ USING: namespaces ;
     swap -5 shift set-alien-unsigned-4 ;
 
 : clear-bits ( alien len -- )
-    bit-length [ 0 -rot set-alien-unsigned-cell ] each-with ;
+    bytes>cells [ 0 -rot set-alien-unsigned-cell ] each-with ;
 
 ! Global variables
 SYMBOL: read-fdset
@@ -322,8 +317,8 @@ USE: io
     #! other time can have unintended consequences.
     global [
         H{ } clone read-tasks set
-        FD_SETSIZE <bit-array> read-fdset set
+        FD_SETSIZE <c-object> read-fdset set
         H{ } clone write-tasks set
-        FD_SETSIZE <bit-array> write-fdset set
+        FD_SETSIZE <c-object> write-fdset set
         0 1 t <fd-stream> stdio set
     ] bind ;
diff --git a/library/vocabularies.factor b/library/vocabularies.factor
index 94f65bfd41..771ed2ffae 100644
--- a/library/vocabularies.factor
+++ b/library/vocabularies.factor
@@ -47,7 +47,7 @@ SYMBOL: vocabularies
 : lookup ( name vocab -- word ) vocab ?hash ;
 
 : search ( name vocabs -- word )
-    [ lookup ] map-with [ ] find nip ;
+    dupd [ lookup ] find nip ?hash ;
 
 : reveal ( word -- )
     #! Add a new word to its vocabulary.