save more precise type for polymorphic parameters
commit74df9b007d6c666cd52d7cecb2ac481ade620333
authorygrek <ygrek@autistici.org>
Fri, 2 Oct 2015 08:51:31 +0000 (2 01:51 -0700)
committerygrek <ygrek@autistici.org>
Fri, 2 Oct 2015 08:51:59 +0000 (2 01:51 -0700)
tree115eeaca34e4f77b1a09c87f385301bdd97e1450
parent33f799e3075c5f0c8464a53d69ec62ecc22ea18f
save more precise type for polymorphic parameters
lib/syntax.ml