Skip to content

Do not use Interpret.print_exn in main.ml#371

Merged
nomeata merged 2 commits intomasterfrom
joachim/clean-exception
May 6, 2019
Merged

Do not use Interpret.print_exn in main.ml#371
nomeata merged 2 commits intomasterfrom
joachim/clean-exception

Conversation

@nomeata
Copy link
Contributor

@nomeata nomeata commented May 6, 2019

if we have an exception here, it is not an exception from the
interpreter (these are caught elsewhere), so adding the “last position”
and “Last environment” is just pointless noise.

Instead, use the default exception prining of Ocaml; it looks just fine.

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants