That's a big "if" which I don't think is ever going to happen. The
CML1 and CML2 languages are nowhere near semantically equivalent. I
know them both intimately, and bridging the gap is a much harder
problem than you seem prepared to realize.
They look closer together than they are, because you can superficially
map individual features between them (CML2 derivations look like CML1
defines, for example). The big difference is subtler, and has to do with
the difference between a control language and a constraint language. As
a result, there are things you can easily do in CML2 that you can't
practically speaking do in CML1.
For CML1 and CML2 to handle the same language, we would either have
to live with the CML1 language's limitations or retrofit the old tools
to speak CML2 language. The chance of the latter happening is, I think
we can agree, effectively zero.
I know you've talked about parsing CML1 into constraints with
backtracking. Maybe you're smart enough to do that. I'm not. I
tried that route early on. I predict that if you do, you'll
experience a great deal of suffering, acquire a valuable education,
and get no good result.
-- <a href="http://www.tuxedo.org/~esr/">Eric S. Raymond</a>The common argument that crime is caused by poverty is a kind of slander on the poor. -- H. L. Mencken - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/