Bump TcLevel when introducing type variables
Needs ReviewPublic

Authored by goldfire on Sep 29 2017, 10:22 AM.

Details

Reviewers
simonpj
bgamari
austin
Trac Issues
#14066
Summary

TODO: Write this. (Created in a hurry during a call.)

goldfire created this revision.Sep 29 2017, 10:22 AM
bgamari requested changes to this revision.Oct 3 2017, 10:10 AM

Bumping out of review queue.

This revision now requires changes to proceed.Oct 3 2017, 10:10 AM
goldfire updated this revision to Diff 14533.Nov 1 2017, 10:17 PM

The big new thing in this version is TcSimplify.solveLocalEqualities,
which seems right but could use review. Otherwise, continuing to
fix bugs...

bgamari requested changes to this revision.Nov 2 2017, 10:57 AM

Alright, bumping out of review queue again.

This revision now requires changes to proceed.Nov 2 2017, 10:57 AM
austin resigned from this revision.Nov 9 2017, 5:40 PM
goldfire updated this revision to Diff 14896.Dec 7 2017, 10:16 AM

Checkpoint for live review. More comments coming at some point!