Re: [RFA] Add language-dependent post-parser

Daniel Jacobowitz
2004-03-04T22:29:44Z

On Thu, Mar 04, 2004 at 06:33:45AM -0500, Paul Hilfinger wrote:
>
> For Ada, we found it convenient to do a name-resolution pass after parsing and
> before evaluation of expressions. The most convenient form on which to
> perform this resolution is the prefix form (that way, we can use the usual
> type-computing machinery already included in expression evaluation).
> Unfortunately, prefixification occurs after and separate from parsing.
> The obvious thing to do was to add a function to the language vector for
> post-parsing. For most languages, it does nothing. The patch below
> does most of the work in inserting this hook, including the introduction
> of a parse-in-type-context function that provides a type context for
> the post-parser. In its current form, this patch is a NOP that merely
> provides the hooks.

Could you explain more about why you found this necessary? It's hard
to evaluate the patch without that.

--
Daniel Jacobowitz
MontaVista Software Debian GNU/Linux Developer