Fix evaluate-time error with MDX stanza and unavailable packages#3650

Merged

rgrinberg merged 3 commits intoocaml:masterfrom craigfe:mdx-support-package-selection

Jul 28, 2020

+45-15

Commits on Jul 28, 2020

Add a reproduction for MDX failing in combination with the -p option

craigfe
authored and
rgrinberg
committed
Fix crash when evaluating mdx stanza with missing local packages

craigfe
authored and
rgrinberg
committed
mdx packages field: improve location in error
rgrinberg
committed