scheme/list requests [was: Re: [plt-dev] Re: more requests for typed-scheme]

On Sun, May 3, 2009 at 12:22 PM, Eli Barzilay <eli at barzilay.org> wrote:
> On May  3, Matthew Flatt wrote:
>>
>> I lean on the side of inclusion. It's used more in our own sources
>> than I would have guessed, and adding it would be more consistent
>> with the other `make-' functions.
>
> OK, I give up.  I committed `make-list', and added `const' too (to
> scheme/function).

Eli, any objection to this diff, making const's result into a
keyword-accepting (and ignoring) function?

Index: function.ss
===================================================================
--- function.ss (revision 14699)
+++ function.ss (working copy)
@@ -4,7 +4,7 @@

 (define (const c)
   (define (const . _) c)
-  const)
+  (make-keyword-procedure const const))

 (define (negate f)
   (unless (procedure? f) (raise-type-error 'negate "procedure" f))