[Teaching] Backtraces in toplevel
yann.salmon at prepas.org
Tue May 12 21:37:03 BST 2015
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.
MPSI, PCSI, MP*, PC*
Descartes - Tours
More information about the Teaching