#145 (Jun 4, 2020, 1:16:39 PM)

Started by GitHub push by gasche

• origin/trunk

1. add a testcase for 'with type <lhs> = <rhs>' scoping (commit: 45248a7) (details / githubweb)
2. Typemod.merge_constraint: be careful about the typing environments (commit: 7068266) (details / githubweb)
3. Typemod.merge_constraint: fix computation of the signature environment (commit: 8b2f64c) (details / githubweb)