[Teaching] Backtraces in toplevel

[Yann Salmon]

Thanks for this information.

Alas, the most recent common ancestor between Arthur Charguéraud's
changes and the integration of PR#6468 into master seems to be commit
c82c004286dae541583a45cff042624b3770b7a0 in the git repo, which dates
back to 2014-05-12 (exactly 1 year ago).

My near-zero understanding of the internals of the OCaml implementation
does not enable me to merge.

-- 
Cordialement,
Yann Salmon

Informatique
MPSI, PCSI, MP*, PC*
Descartes - Tours

<http://pro.yannsalmon.fr/>