include type information in OIL XML

[GoogleCodeExporter]

The OIL XML format needs to be extended to include type information. The
primary holdup is that it's not obvious how to encode types.

Specifically, synthesized types may not have any syntactic analog. It would
be nice to be able to export a fully-typed program that could be
type-checked without type synthesis, but that depends on having a
guaranteed representation for all synthesized types.

Original issue reported on code.google.com by adrianqu...@gmail.com on 18 Apr 2009 at 2:24

[GoogleCodeExporter]

See http://code.google.com/p/orc/issues/detail?id=29#c3

I think the general approach we should use is to allow only syntactic types in 
the
OIL format, provide a different AST format which supports full type information 
for
analysis, and then define conversions between these formats.

Original comment by adrianqu...@gmail.com on 25 Apr 2009 at 6:35

• Added labels: Milestone-Next, Priority-Medium
• Removed labels: Priority-Low

[GoogleCodeExporter]

Fixed.

Original comment by dkitc...@gmail.com on 3 Sep 2009 at 7:59

• Changed state: Fixed