On Fri, Jan 20, 2012 at 3:12 PM, David Allsopp <dra-n...@metastack.com> wrote: > Maybe for this case with two variables, yes - but it can't do that > indefinitely: as the number of variables increases, the code size increases > exponentially.
The problem is not the compilation of pattern-matching (number of tests will still be close to optimal), it is just that the number of cases to discriminate increases exponentially with the number of variables. --Fabrice -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
