[Guile-commits] 01/02: Revert "Add SRFI-25 implementation"

[Mark H. Weaver]

mhw pushed a commit to branch stable-2.0
in repository guile.

commit 3e0605458aa7ebac078197c94929b16f66aa6be3
Author: Mark H Weaver <address@hidden>
Date:   Fri Nov 13 11:44:36 2015 -0500

    Revert "Add SRFI-25 implementation"
    
    This reverts commit aaea5b248ee0b9c5186baa203a7b29460dce626e.
---
 NEWS                      |   11 --
 doc/ref/srfi-modules.texi |  238 +--------------------------------------------
 module/Makefile.am        |    1 -
 test-suite/Makefile.am    |    3 +-
 4 files changed, 2 insertions(+), 251 deletions(-)

diff --git a/NEWS b/NEWS
index faccbd6..8ed1b8d 100644
--- a/NEWS
+++ b/NEWS
@@ -19,17 +19,6 @@ Guile's reader conform more closely to the R6RS syntax. In 
particular:
 - It enables the `square-brackets', `hungry-eol-escapes' and
   `r6rs-hex-escapes' reader options.
 
-* New interfaces
-
-** SRFI-25 (Multi-dimensional Array Primitives)
-
-Guile now includes SRFI-25, a core set of procedures for creating and
-manipulating multidimensional arrays.  This functionality is already
-available in Guile, albeit with a different API, with its native array
-data type, but the inclusion of the SRFI is nevertheless useful for code
-intended to be portable across multiple implementations.  See "SRFI-25"
-in the manual for details.
-
 
 Changes in 2.0.11 (since 2.0.10):
 
diff --git a/doc/ref/srfi-modules.texi b/doc/ref/srfi-modules.texi
index 59abaf3..d8ed8e1 100644
--- a/doc/ref/srfi-modules.texi
+++ b/doc/ref/srfi-modules.texi
@@ -1,6 +1,6 @@
 @c -*-texinfo-*-
 @c This is part of the GNU Guile Reference Manual.
address@hidden Copyright (C) 1996, 1997, 2000-2004, 2006, 2007-2015
address@hidden Copyright (C) 1996, 1997, 2000-2004, 2006, 2007-2014
 @c   Free Software Foundation, Inc.
 @c See the file guile.texi for copying conditions.
 
@@ -36,7 +36,6 @@ get the relevant SRFI documents from the SRFI home page
 * SRFI-18::                     Multithreading support
 * SRFI-19::                     Time/Date library.
 * SRFI-23::                     Error reporting
-* SRFI-25::                     Multi-dimensional Array Primitives
 * SRFI-26::                     Specializing parameters
 * SRFI-27::                     Sources of Random Bits
 * SRFI-28::                     Basic format strings.
@@ -3019,241 +3018,6 @@ locale.
 
 The SRFI-23 @code{error} procedure is always available.
 
address@hidden SRFI-25
address@hidden SRFI-25 - Multi-dimensional Array Primitives
address@hidden SRFI-25
address@hidden array, multi-dimensional
address@hidden multi-dimensional array
-
-SRFI-25 provides procedures for creating and manipulating heterogeneous
-multidimensional arrays.  Guile's implementation of SRFI-25 does not
-introduce a disjoint type; Guile arrays (@pxref{Arrays}) and SRFI-25
-arrays can be used interchangeably, though with different, partly
-conflicting APIs.  The SRFI-25 API can be used with:
-
address@hidden
-(use-modules (srfi srfi-25))
address@hidden example
-
-Note that this overrides @code{make-array}, @code{array-ref}, and
address@hidden  @xref{Using Guile Modules}, for information on how
-to control the import of identifiers---e.g., by importing the SRFI-25
-variants with different names.
-
-This subsection is based on
address@hidden://srfi.schemers.org/srfi-25/srfi-25.html, the specification
-of SRFI-25} written by Jussi Piitulainen, and itself based on an
-original contribution by Alan Bawden in 1993.
-
address@hidden Copyright (C) Jussi Piitulainen (2001). All Rights Reserved.
-
address@hidden Permission is hereby granted, free of charge, to any person 
obtaining a
address@hidden copy of this software and associated documentation files (the
address@hidden "Software"), to deal in the Software without restriction, 
including
address@hidden without limitation the rights to use, copy, modify, merge, 
publish,
address@hidden distribute, sublicense, and/or sell copies of the Software, and 
to
address@hidden permit persons to whom the Software is furnished to do so, 
subject to
address@hidden the following conditions:
-
address@hidden The above copyright notice and this permission notice shall be 
included
address@hidden in all copies or substantial portions of the Software.
-
address@hidden THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 
EXPRESS
address@hidden OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
address@hidden MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
address@hidden NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT 
HOLDERS BE
address@hidden LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN 
ACTION
address@hidden OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN 
CONNECTION
address@hidden WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-
-SRFI-25 provides a core set of procedures for creating and manipulating
-heterogeneous multidimensional arrays.  The design is consistent with
-the rest of Scheme and independent of other container data types.  It
-provides easy sharing of parts of an array as other arrays without
-copying, encouraging a declarative style of programming.
-
-The proposed arrays encourage a natural declarative programming
-style. They allow sharing of most any rectangular part of an array
-through an affine index mapping, without copying. But imperative style
-is equally natural.
-
-The design is consistent with the two indexed data structures of Scheme:
-vectors and strings. The design makes arrays a self-contained
-type. These statements are illustrated in the following paragraphs.
-
-First, in the one-dimensional case, the arguments of the following
-relevant calls match exactly.
-
address@hidden
-(vector-set! v k o)
-(string-set! s k c)
-(array-set! a k o)
address@hidden example
-
-
-Likewise, @code{make-array} matches @code{make-vector} and
address@hidden An analogue to @code{vector}, @code{string} and
address@hidden is provided, alleviating the lack of an external
-representation. Index bounds are specified as for @code{substring},
-lower bound included and upper bound excluded.
-
-Array shapes are specified as arrays. These can be made with a special
-procedure @code{shape} that does not have a shape argument. An array
-does not retain a dependence to the shape array. For example, mutation
-of a shape array is allowed.
-
-Index mappings return multiple values as multiple values.
-
-Array dimensions can begin at any index. In particular, the choice
-between @code{0} and @code{1} is left to the user. (Shapes and index
-objects are zero based, though.)
-
-The ability to pack an index sequence in a vector is useful for
-implementing higher level operations. (The ability to pack it in a
-one-dimensional array lets one use, say, a row of a matrix as an index.)
-
address@hidden Specification
-
-Arrays are heterogeneous data structures whose elements are indexed by
-integer sequences of fixed length. The length of a valid index sequence
-is the rank or the number of dimensions of an array. The shape of an
-array consists of bounds for each index.
-
-The lower bound @var{b} and the upper bound @var{e} of a dimension are
-exact integers with @code{(<= @var{b} @var{e})}. A valid index along the
-dimension is an exact integer @var{k} that satisfies both
address@hidden(<= @var{b} @var{k})} and @code{(< @var{k} @var{e})}. The length
-of the array along the dimension is the difference
address@hidden(- @var{e} @var{b})}. The size of an array is the product of the
-lengths of its dimensions.
-
-A shape is specified as an even number of exact integers. These are
-alternately the lower and upper bounds for the dimensions of an array.
-
-The following ten procedures are provided by the module @code{(srfi
-srfi-25)}:
-
address@hidden {Scheme Procedure} array? @var{obj}
-Returns @code{#t} if @var{obj} is an array, otherwise returns
address@hidden Note that this procedure returns @code{#t} for both SRFI-25
-and Guile's native arrays.
address@hidden deffn
-
address@hidden {Scheme Procedure} make-array @var{shape}
address@hidden {Scheme Procedure} make-array @var{shape} @var{obj}
-Returns a newly allocated array whose shape is given by @var{shape}. If
address@hidden is provided, then each element is initialized to it. Otherwise
-the initial contents of each element is unspecified. The array does not
-retain a dependence to @var{shape}.
address@hidden deffn
-
address@hidden {Scheme Procedure} shape @var{bound} @dots{}
-Returns a shape. The sequence @var{bound @dots{}} must consist of an
-even number of exact integers that are pairwise not decreasing. Each
-pair gives the lower and upper bound of a dimension. If the shape is
-used to specify the dimensions of an array and @var{bound @dots{}} is
-the sequence @var{b0 e0 @dots{} bk ek @dots{}} of @var{n} pairs of
-bounds, then a valid index to the array is any sequence @var{j0 @dots{}
-jk @dots{}} of @var{n} exact integers where each @var{jk} satisfies
address@hidden(<address@hidden@var{jk})} and @code{(< @var{jk} @var{ek})}.
-
-The shape of a @var{d}-dimensional array is a @address@hidden × @var{2}}
-array where the element at @var{k 0} contains the lower bound for an
-index along dimension @var{k} and the element at @var{k 1} contains the
-corresponding upper bound, where @var{k} satisfies @code{(<= 0 @var{k})}
-and @code{(< @var{k} @var{d})}.
address@hidden deffn
-
address@hidden {Scheme Procedure} array @var{shape} @var{obj} @dots{}
-Returns a new array whose shape is given by @var{shape} and the initial
-contents of the elements are @var{obj ...} in row major order. The array
-does not retain a dependence to @var{shape}.
address@hidden deffn
-
address@hidden {Scheme Procedure} array-rank @var{array}
-Returns the number of dimensions of @var{array}.
address@hidden
-(array-rank (make-array (shape 1 2 3 4)))
address@hidden example
-Returns @samp{2}.
address@hidden deffn
-
address@hidden {Scheme Procedure} array-start @var{array} @var{k}
-Returns the lower bound for the index along dimension @var{k}.
address@hidden deffn
-
address@hidden {Scheme Procedure} array-end @var{array} @var{k}
-Returns the upper bound for the index along dimension @var{k}.
address@hidden deffn
-
address@hidden {Scheme Procedure} array-ref @var{array} @var{k} @dots{}
address@hidden {Scheme Procedure} array-ref @var{array} @var{index}
-Returns the contents of the element of @var{array} at index @var{k
address@hidden The sequence @var{k @dots{}} must be a valid index to
address@hidden In the second form, @var{index} must be either a vector or
-a 0-based 1-dimensional array containing @var{k @dots{}}.
-
address@hidden
-(array-ref (array (shape 0 2 0 3)
-                  'uno 'dos 'tres
-                  'cuatro 'cinco 'seis)
-           1 0)
address@hidden @samp{cuatro}.
address@hidden example
-
address@hidden
-(let ((a (array (shape 4 7 1 2) 3 1 4)))
-   (list (array-ref a 4 1)
-         (array-ref a (vector 5 1))
-         (array-ref a (array (shape 0 2) 6 1))))
address@hidden @samp{(3 1 4)}.
address@hidden example
-
address@hidden deffn
-
address@hidden {Scheme Procedure} array-set! @var{array} @var{k} @dots{} 
@var{obj}
address@hidden {Scheme Procedure} array-set! @var{array} @var{index} @var{obj}
-Stores @var{obj} in the element of @var{array} at index @var{k
address@hidden Returns an unspecified value. The sequence @var{k @dots{}}
-must be a valid index to @var{array}. In the second form, @var{index}
-must be either a vector or a 0-based 1-dimensional array containing
address@hidden @dots{}}.
-
address@hidden
-(let ((a (make-array
-            (shape 4 5 4 5 4 5))))
-   (array-set! a 4 4 4 'huuhkaja)
-   (array-ref a 4 4 4))
address@hidden @samp{huuhkaja}.
address@hidden example
address@hidden deffn
-
address@hidden {Scheme Procedure} share-array @var{array} @var{shape} @var{proc}
-Returns a new array of shape @var{shape} that shares elements of
address@hidden through @var{proc}. The procedure @var{proc} must implement
-an affine function that returns indices of @var{array} when given
-indices of the array returned by @code{share-array}. The array does not
-retain a dependence to @var{shape}.
address@hidden
-(define i_4
-   (let* ((i (make-array
-                (shape 0 4 0 4)
-                0))
-          (d (share-array i
-                (shape 0 4)
-                (lambda (k)
-                   (values k k)))))
-      (do ((k 0 (+ k 1)))
-          ((= k 4))
-         (array-set! d k 1))
-      i))
address@hidden example
-
-Note: the affinity requirement for @var{proc} means that each value must
-be a sum of multiples of the arguments passed to @var{proc}, plus a
-constant.
address@hidden deffn
-
 @node SRFI-26
 @subsection SRFI-26 - specializing parameters
 @cindex SRFI-26
diff --git a/module/Makefile.am b/module/Makefile.am
index 915e23a..7e96de7 100644
--- a/module/Makefile.am
+++ b/module/Makefile.am
@@ -276,7 +276,6 @@ SRFI_SOURCES = \
   srfi/srfi-17.scm \
   srfi/srfi-18.scm \
   srfi/srfi-19.scm \
-  srfi/srfi-25.scm \
   srfi/srfi-26.scm \
   srfi/srfi-27.scm \
   srfi/srfi-28.scm \
diff --git a/test-suite/Makefile.am b/test-suite/Makefile.am
index 121e2ef..3b10353 100644
--- a/test-suite/Makefile.am
+++ b/test-suite/Makefile.am
@@ -1,7 +1,7 @@
 ## Process this file with automake to produce Makefile.in.
 ##
 ## Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009,
-##   2010, 2011, 2012, 2013, 2014, 2015 Software Foundation, Inc.
+##   2010, 2011, 2012, 2013, 2014 Software Foundation, Inc.
 ##
 ## This file is part of GUILE.
 ##
@@ -133,7 +133,6 @@ SCM_TESTS = tests/00-initial-env.test               \
            tests/srfi-17.test                  \
            tests/srfi-18.test                  \
            tests/srfi-19.test                  \
-           tests/srfi-25.test                  \
            tests/srfi-26.test                  \
            tests/srfi-27.test                  \
            tests/srfi-31.test                  \