[bitc-dev] Polyinstantiating local definitions -- take 1

[Pierre THIERRY]

Scribit Swaroop Sridhar dies 28/07/2006 hora 01:53:
> (define top
>    (let ((id (lambda (x) x))
>         (id ())
>         (id #t))
>    ())

As I was trying to be sure I got polyinstantiation right in my mind, I
got stuck with this example. I can't get to understand what it's
supposed to mean.

Specifically, it seems in contradiction with section 5.3.1 of the BitC
specification:

  "Each identifier bound in a let form must appear exactly once among
  the collection of binding patterns being bound."

But here, IIUC, we have three identical binding patterns, namely the
"id" symbol.

Strangely,
Pierre
-- 
nowhere.man at levallois.eu.org
OpenPGP 0xD9D50D8A
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.coyotos.org/pipermail/bitc-dev/attachments/20070127/c3b3ca33/attachment.bin