fill in the ~bound:[] ~constraints:[] () in src/passes/10-typing/typer-common/constant_typers_new.ml
on origin/prototype-typer-heuristic-tc-v2
Do it in:
-
src/passes/10-typing/typer-common/constant_typers_new.ml -
src/test/db_index_typeclasses_constraining_tests.ml -
src/test/db_index_by_constraint_identifier_tests.ml -
src/test/heuristic_tc_fundep_tests.ml -
src/test/typechecker_tests.ml
Edited by Pierre-Emmanuel Wulfman