A very quick run leaves the impression that at present tecomp feels more like an interpreter than a compiler at present (only because it doesn't output a binary which is not a fair metric). Alas it is still rather young and cannot handle things like the "is" on procedures (that is often seen on Eiffel code in the wild). It's parsing of ACE files also seems a little unusual (I could not share an ACE file between it and gec/EiffelStudio). Also has interesting behaviour such as checking whether all attributes have been initialised by the end of the creation procedure...