Closed dougalm closed 1 year ago
We only need the givens during the inference and synthesis passes so we can just track them there instead. This lets us delete a bunch of code and might improve compile times. It also sets the stage for a top-level env simplification I want to try.
We only need the givens during the inference and synthesis passes so we can just track them there instead. This lets us delete a bunch of code and might improve compile times. It also sets the stage for a top-level env simplification I want to try.