Report termination errors after typechecking#2318

Merged

jonaprieto merged 13 commits intomainfrom termination-errors-after-typechecking

Aug 30, 2023

+489-232

Commits on Aug 30, 2023

store non-terminating

janmasrovira
authored and
jonaprieto
committed
report termination failure after typechecking

janmasrovira
authored and
jonaprieto
committed
wip

janmasrovira
authored and
jonaprieto
committed
adapt pipeline

janmasrovira
authored and
jonaprieto
committed
fixing tests

janmasrovira
authored and
jonaprieto
committed
adapt test

janmasrovira
authored and
jonaprieto
committed
ormolu

janmasrovira
authored and
jonaprieto
committed
add negative test

janmasrovira
authored and
jonaprieto
committed
add test

janmasrovira
authored and
jonaprieto
committed
add smoke test for the repl

janmasrovira
authored and
jonaprieto
committed
ormolu

janmasrovira
authored and
jonaprieto
committed
revert print change

janmasrovira
authored and
jonaprieto
committed
apply changes

janmasrovira
authored and
jonaprieto
committed