Re: [Caml-list] elegant subtyping?

2011-11-06 Thread Markus W. Weißmann
Thanks a lot everyone for all the tips and info -- it's working like a charm! Best regards -Markus On 4 Nov 2011, at 15:50, Vincent Aravantinos wrote: In the end, I think the choice of using polymorphic variants or not should not rely only on the types themselves but also mainly on the

[Caml-list] elegant subtyping?

2011-11-04 Thread Markus Weißmann
Hello everyone, I'm writing on a compiler and want to subtype the statements that can occur in my code: At first I have an abstract syntax tree that can hold any statement of the language. From that I create a control flow graph that will only have non-control-flow statements (a true subset of