<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

  <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">

</head>

<body bgcolor="#ffffff" text="#000000">

Fariborz Jahanian wrote:

<blockquote cite="mid:9D1BEDD3-C7CE-4151-85B2-9912D3728469@apple.com"

 type="cite">

  <pre wrap="">On Jul 27, 2009, at 3:33 PM, Daniel Dunbar wrote:

  </pre>

  <blockquote type="cite">

    <pre wrap="">I think what Fariborz was asking for was to actually modify the AST

for main to return 0, change the type, etc.

    </pre>

  </blockquote>

  <pre wrap=""><!---->

No. I just wanted AST to carry the info. somehow, so clients do not

deduce this based on target language. An analogy being that

we put enough info. in the ASTs for synthesized ivars so clients can  

do this.

  </pre>

</blockquote>

<br>

So would something like Eli's suggestion be sufficient — i.e. just

changing the triggering condition on my original patch to some sort of

AST-hosted "has well-defined implicit return" predicate, which would

currently just defer to isMain()?  I've been experimenting with

synthesizing return statements, and it feels like that would be a much

more intrusive change for clients.<br>

<br>

John.

</body>

</html>