Hi Bassam: > I do vote yes. I suggest we add more wording to motivate why we are > sending to BC and that is the use in procedural code i.e. other language > contexts outside of assertions, that's the intent right ? Yes. The "let" construct is a generally useful one for representing instantiable expressions with arguments. If this motion passes, then we will have agreement in principle and it should be easy to get consensus on the additional language that you envision. J.H. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Mar 27 16:37:06 2007
This archive was generated by hypermail 2.1.8 : Tue Mar 27 2007 - 16:37:16 PDT