[bitc-dev] Macro removal rationale

[Pierre THIERRY]

Hi,

I've walked through the mailing list archives, from their beginning
(october 2004), and I found some mails about the introduction of macros
in BitC, but not the reasons the remove them (only a short mail about
'ancillary consequences' of that removal).

What was the rationale to remove them? They give a great deal of
flexibility and expressiveness to the programmer, and as they would have
worked at the pre-semantic level, they should not have got in the way of
the prover...

Curiously,
Nowhere man
-- 
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/20060719/0a9d49bf/attachment.bin