-
John van Groningen authored
optimisation, use _unify_tcs instead of _unify_ to match dynamic patterns of type type_var^, if there are no other dynamic pattern matches before and no dynamic pattern matches and expressions after this match
9b89c87e
optimisation, use _unify_tcs instead of _unify_ to match dynamic patterns of type type_var^, if there are no other dynamic pattern matches before and no dynamic pattern matches and expressions after this match