ocaml/ocaml — pull request #89 by def-lkb (2014-08-05 18:02:48+00:00)
Title: Specialize primitives even in when exa-expanding

As pointed out in [PR 6494](http://caml.inria.fr/mantis/view.php?id=6494), primitives are not always specialized even though type information are available.

This request changes code generation to always specialize when enough is known about types.