[plt-scheme] Function names

On Jul  6, Matthew Flatt wrote:
> 'inferred-name is a compile-time property, and in this case there's
> no way to predict the name "ff" when compiling the first expression.

Ah yes...  A counter example would be

  (define ff1 (f)) (define ff2 (f))

since (f) returns the same function object in simple cases.


> It *would* be possible to predict the name within a module, but I
> doubt that we'll try to define such a smart name inference.

Actually, the reason I saw this was:

  > (require 'string)
  > regexp-split
  #<procedure:string.ss::3363>

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!