Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

utop errors when quitting #157

Open
ncihnegn opened this issue Nov 11, 2022 · 0 comments
Open

utop errors when quitting #157

ncihnegn opened this issue Nov 11, 2022 · 0 comments
Labels
forwarded-to-js-devs This report has been forwarded to Jane Street's internal review system.

Comments

@ncihnegn
Copy link

ncihnegn commented Nov 11, 2022

core 0.15.1
utop 2.10.0
ocaml 4.14.0
macOS 13.0.1
Apple Silicon M1

utop # #require "core.top";;
utop # #quit;;
Raised at Topdirs.dir_quit in file "toplevel/topdirs.ml", line 66, characters 18-52
Called from Topcommon.try_run_directive in file "toplevel/topcommon.ml", line 335, characters 34-38
Called from Topeval.execute_phrase in file "toplevel/byte/topeval.ml", line 177, characters 6-42
Re-raised at Topeval.execute_phrase in file "toplevel/byte/topeval.ml", line 180, characters 4-13
Called from UTop_main.execute_phrase.(fun) in file "src/lib/uTop_main.ml", line 762, characters 14-48
Called from UTop_main.loop in file "src/lib/uTop_main.ml", line 852, characters 18-49
Re-raised at Location.report_exception.loop in file "parsing/location.ml", line 938, characters 14-25
Called from UTop.get_message in file "src/lib/uTop.ml", line 129, characters 2-11
Called from UTop_main.loop in file "src/lib/uTop_main.ml", line 871, characters 21-61
Called from UTop_main.main_aux in file "src/lib/uTop_main.ml", line 1630, characters 8-17
Called from UTop_main.main_internal in file "src/lib/uTop_main.ml", line 1646, characters 4-25

No errors when not loading core.top.

@github-iron github-iron added the forwarded-to-js-devs This report has been forwarded to Jane Street's internal review system. label Nov 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
forwarded-to-js-devs This report has been forwarded to Jane Street's internal review system.
Projects
None yet
Development

No branches or pull requests

2 participants