ocamllabs/ocaml-modular-implicits — pull request #21 by lpw25 (2014-10-01 17:23:22+00:00)
Title: Always generalize implicts before generalization

Run `generalize_implicits` before any form of generalization. This includes when exiting a function defintion containing an implicit argument because that "generalizes" the types within the implicit argument.