Type checking!

Nov 13, 2010 at 9:50 PM

Does Irony support type checking? if yes, then how can I implement that to the c# grammar example?

For example: when I declare a variable like this

int x =3.5;

Is there any way I can catch this error in Irony?



Nov 14, 2010 at 4:14 PM


Irony is primarily parsing technology (currently), with a few demo-like facilities for interpreting the code. Type checking belongs to "code-analysis" phase, which is a separate phase coming after parsing. Irony does not cover this phase currently.