Fix bugs in mutrec constant propagation

The val spec generation for partially evaluated function copies did not
pick up type variables originally declared using the new "constant"
syntax, as well as some implicit existential variables (e.g. in "bool")
that were not declared originally but appear and get bound during
instantiation.  Change the code to just recreate the list of type
variables from scratch from the new type.  This will lose "constant"
annotations, but the new list of type variables should be correct.

0 files changed, 0 insertions, 0 deletions