[racket-dev] [plt] Push #26536: master branch updated

If we want people to be able to create higher-order functions with precise
arities via procedure-reduce-arity, for instance, we need to provide tools
for manipulating arity values.  Manipulating them is also useful for
producing error messages that describe the arity of procedure values.  I
don't see any reason to close this stuff off, when it's the one useful,
non-opaque aspect of procedure values.

Carl Eastlund


On Thu, Apr 11, 2013 at 11:13 AM, Eli Barzilay <eli at barzilay.org> wrote:

> Is there a real need to make this whole thing a public interface?  I'd
> think that a general direction is to move away from making it public
> (ie, remove the ability to create an arity value), and this seems to
> add a pretty big chunk of stuff in the opposite direction.
>
>
> About two weeks ago, cce at racket-lang.org wrote:
> > cce has updated `master' from 6e40caa7e2 to df00bbb194.
> >   http://git.racket-lang.org/plt/6e40caa7e2..df00bbb194
> >
> > =====[ 7 Commits ]======================================================
> > Directory summary:
> >   21.0% collects/racket/private/
> >   21.5% collects/racket/
> >   26.4% collects/scribblings/reference/
> >   30.9% collects/tests/racket/
> >
> > ~~~~~~~~~~
> >
> > 59b1e32 Carl Eastlund <cce at racket-lang.org> 2013-03-30 11:45
> > :
> > | Changed normalize-arity to coalesce arity-at-least with adjacent
> numbers.
> > |
> > | For instance, (normalize-arity (list 1 (arity-at-least 2))) now
> produces
> > | (arity-at-least 1).  The implementation and the tests for
> normalize-arity both
> > | reflect this change.  The randomized tests now also check that the
> output
> > | represents the same arity as the input.
> > :
> >   M collects/racket/private/norm-arity.rkt |  82 +++++++++++++---------
> >   M collects/tests/racket/basic.rktl       | 112
> +++++++++++++++++++++++++-----
> >
> > ~~~~~~~~~~
> >
> > e356c66 Carl Eastlund <cce at racket-lang.org> 2013-03-30 11:49
> > :
> > | Re-provide normalize-arity from racket/function.
> > :
> >   M collects/racket/function.rkt | 4 ++--
> >
> > ~~~~~~~~~~
> >
> > 4dd011a Carl Eastlund <cce at racket-lang.org> 2013-03-30 15:49
> > :
> > | Added documentation for normalize-arity.
> > :
> >   M collects/scribblings/reference/procedures.scrbl | 42
> ++++++++++++++++++----
> >
> > ~~~~~~~~~~
> >
> > 636f8a9 Carl Eastlund <cce at racket-lang.org> 2013-03-30 21:04
> > :
> > | Moved normalized-arity?, arity=?, and arity-includes? into
> racket/function.
> > :
> >   M collects/racket/function.rkt     | 94
> +++++++++++++++++++++++++++++++++++-
> >   M collects/tests/racket/basic.rktl | 96
> +------------------------------------
> >
> > ~~~~~~~~~~
> >
> > aaa99d5 Carl Eastlund <cce at racket-lang.org> 2013-03-30 21:05
> > :
> > | Documented normalized-arity?, arity=?, and arity-includes?.
> > :
> >   M collects/scribblings/reference/procedures.scrbl | 87
> +++++++++++++++++++---
> >
> > ~~~~~~~~~~
> >
> > f509420 Carl Eastlund <cce at racket-lang.org> 2013-03-30 17:12
> > :
> > | Removed unnecessary duplication of normalize-arity.
> > :
> >   M collects/tests/racket/fixnum.rktl | 21 ++-------------------
> >
> > ~~~~~~~~~~
> >
> > df00bbb Carl Eastlund <cce at racket-lang.org> 2013-03-31 10:34
> > :
> > | Updated contracts for arity-related functions.
> > |
> > | Added contract checking to arity=?, arity-includes?, and
> normalized-arity.
> > | Removed contract checking from normalize-arity to make it a total
> predicate.
> > | Updated documentation for normalize-arity to reflect this change.
> > :
> >   M collects/racket/function.rkt                    | 21
> ++++++++++++++++-----
> >   M collects/racket/private/norm-arity.rkt          |  2 ++
> >   M collects/scribblings/reference/procedures.scrbl | 13 ++++++-------
>
> --
>           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                     http://barzilay.org/                   Maze is Life!
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130411/f45c021a/attachment-0001.html>