Progress on Prototype typer: heuristic tc_fundep v2
- added fields tc_bound and tc_constraints
- restrict for rows and nested constraints
- inline variables referenced in a typeclass's allowed cases (e.g.
bool
) - preliminary refactoring for scheduler #922 (closed)
- progress on deduce_and_clean for rows and nested constraints
- loop over available processors (heuristics, simplifiers etc.), closes #1042 (closed)
Edited by Pierre-Emmanuel Wulfman