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
