On 2/5/15 1:53 AM, Daniel Murphy wrote:
Yes, optimization is another nice possibility.  I think there is a lot
of untapped potential in using contracts to pass extra information to
the compiler.

I agree. One actionable - albeit crazy :o) - idea is to make __FILE__, __LINE__, __MODULE__ etc. inside contracts bind to the caller context. Then all failures blame straight to the caller code. -- Andrei

Reply via email to