YellowGrass

DRY-39: Annotate expressions with conversions


The Dryad type checker considers all the JLS conversions during type checking. This is usual information, for example for normalization and code generation. Therefore, it might be useful to annotate expressions with these conversions.

Submitted on 14 April 2005 at 19:59

Issue Log

On 1 January 2006 at 18:47 Jira commented:

DRY-39, martin:

Todo: assignments.

On 2 January 2006 at 18:41 Jira commented:

DRY-39, martin:

Most of this has been done. The rest will be handled by individual issues.

Log in to post comments