Created
October 18, 2019 18:18
-
-
Save Blaisorblade/71eefaef3c8bbaf27c7970946b9dbb25 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Coq Language Server: process.version: v10.11.0, process.arch: x64} | |
Loaded project at /Users/pgiarrusso/git/Coq/dot-iris | |
Changed path to: /Users/pgiarrusso/.opam/coq-8.8.2/bin/ | |
starting coqtop | |
exec: /Users/pgiarrusso/.opam/coq-8.8.2/bin/coqtop -v | |
Listening at 127.0.0.1:50060 | |
Listening at 127.0.0.1:50061 | |
Listening at 127.0.0.1:50062 | |
Listening at 127.0.0.1:50063 | |
Detected coqtop version 8.8.2 | |
Coqtop version parsed into semver version 8.8.2 | |
exec: /Users/pgiarrusso/.opam/coq-8.8.2/bin/coqtop -main-channel 127.0.0.1:50062:50060 -control-channel 127.0.0.1:50063:50061 -ideslave -async-proofs on -Q theories D -w -notation-overridden,-redundant-canonical-projection,-several-object-files -w -convert_concl_no_check -w -undeclared-scope -w -ambiguous-paths bad | |
coqtop started with pid 84268 | |
Client connected on main channel R (port 50062) | |
Client connected on main channel W (port 50060) | |
Client connected on control channel R (port 50063) | |
Client connected on control channel W (port 50061) | |
-------------------------------- | |
Call Init() | |
coqtop-stderr: Don't know what to do with bad | |
See -help for the list of supported options | |
events.js:167 | |
throw er; // Unhandled 'error' event | |
^ | |
Error: read ECONNRESET | |
at TCP.onStreamRead (internal/stream_base_commons.js:111:27) | |
Emitted 'error' event at: | |
at emitErrorNT (internal/streams/destroy.js:82:8) | |
at emitErrorAndCloseNT (internal/streams/destroy.js:50:3) | |
at process._tickCallback (internal/process/next_tick.js:63:19) | |
[Info - 8:17:19 PM] Connection to server got closed. Server will restart. | |
Coq Language Server: process.version: v10.11.0, process.arch: x64} | |
Loaded project at /Users/pgiarrusso/git/Coq/dot-iris | |
Changed path to: /Users/pgiarrusso/.opam/coq-8.8.2/bin/ | |
[Error - 8:17:19 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
[Error - 8:17:19 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
starting coqtop | |
exec: /Users/pgiarrusso/.opam/coq-8.8.2/bin/coqtop -v | |
Listening at 127.0.0.1:50068 | |
Listening at 127.0.0.1:50069 | |
Listening at 127.0.0.1:50070 | |
Listening at 127.0.0.1:50071 | |
Detected coqtop version 8.8.2 | |
Coqtop version parsed into semver version 8.8.2 | |
exec: /Users/pgiarrusso/.opam/coq-8.8.2/bin/coqtop -main-channel 127.0.0.1:50068:50069 -control-channel 127.0.0.1:50071:50070 -ideslave -async-proofs on -Q theories D -w -notation-overridden,-redundant-canonical-projection,-several-object-files -w -convert_concl_no_check -w -undeclared-scope -w -ambiguous-paths bad | |
coqtop started with pid 84271 | |
Client connected on main channel R (port 50068) | |
Client connected on main channel W (port 50069) | |
Client connected on control channel R (port 50071) | |
Client connected on control channel W (port 50070) | |
-------------------------------- | |
Call Init() | |
coqtop-stderr: Don't know what to do with bad | |
See -help for the list of supported options | |
events.js:167 | |
throw er; // Unhandled 'error' event | |
^ | |
Error: read ECONNRESET | |
at TCP.onStreamRead (internal/stream_base_commons.js:111:27) | |
Emitted 'error' event at: | |
at emitErrorNT (internal/streams/destroy.js:82:8) | |
at emitErrorAndCloseNT (internal/streams/destroy.js:50:3) | |
at process._tickCallback (internal/process/next_tick.js:63:19) | |
[Info - 8:17:22 PM] Connection to server got closed. Server will restart. | |
Coq Language Server: process.version: v10.11.0, process.arch: x64} | |
Loaded project at /Users/pgiarrusso/git/Coq/dot-iris | |
Changed path to: /Users/pgiarrusso/.opam/coq-8.8.2/bin/ | |
[Error - 8:17:22 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
[Error - 8:17:22 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
[Error - 8:17:22 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
starting coqtop | |
exec: /Users/pgiarrusso/.opam/coq-8.8.2/bin/coqtop -v | |
Listening at 127.0.0.1:50076 | |
Listening at 127.0.0.1:50077 | |
Listening at 127.0.0.1:50078 | |
Listening at 127.0.0.1:50079 | |
Detected coqtop version 8.8.2 | |
Coqtop version parsed into semver version 8.8.2 | |
exec: /Users/pgiarrusso/.opam/coq-8.8.2/bin/coqtop -main-channel 127.0.0.1:50076:50078 -control-channel 127.0.0.1:50079:50077 -ideslave -async-proofs on -Q theories D -w -notation-overridden,-redundant-canonical-projection,-several-object-files -w -convert_concl_no_check -w -undeclared-scope -w -ambiguous-paths bad | |
coqtop started with pid 84274 | |
Client connected on main channel R (port 50076) | |
Client connected on main channel W (port 50078) | |
Client connected on control channel R (port 50079) | |
Client connected on control channel W (port 50077) | |
-------------------------------- | |
Call Init() | |
coqtop-stderr: Don't know what to do with bad | |
See -help for the list of supported options | |
events.js:167 | |
throw er; // Unhandled 'error' event | |
^ | |
Error: read ECONNRESET | |
at TCP.onStreamRead (internal/stream_base_commons.js:111:27) | |
Emitted 'error' event at: | |
at emitErrorNT (internal/streams/destroy.js:82:8) | |
at emitErrorAndCloseNT (internal/streams/destroy.js:50:3) | |
at process._tickCallback (internal/process/next_tick.js:63:19) | |
[Info - 8:17:25 PM] Connection to server got closed. Server will restart. | |
Coq Language Server: process.version: v10.11.0, process.arch: x64} | |
Loaded project at /Users/pgiarrusso/git/Coq/dot-iris | |
Changed path to: /Users/pgiarrusso/.opam/coq-8.8.2/bin/ | |
[Error - 8:17:25 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
[Error - 8:17:25 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
[Error - 8:17:25 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
[Error - 8:17:25 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
starting coqtop | |
exec: /Users/pgiarrusso/.opam/coq-8.8.2/bin/coqtop -v | |
Listening at 127.0.0.1:50084 | |
Listening at 127.0.0.1:50085 | |
Listening at 127.0.0.1:50086 | |
Listening at 127.0.0.1:50087 | |
Detected coqtop version 8.8.2 | |
Coqtop version parsed into semver version 8.8.2 | |
exec: /Users/pgiarrusso/.opam/coq-8.8.2/bin/coqtop -main-channel 127.0.0.1:50084:50086 -control-channel 127.0.0.1:50087:50085 -ideslave -async-proofs on -Q theories D -w -notation-overridden,-redundant-canonical-projection,-several-object-files -w -convert_concl_no_check -w -undeclared-scope -w -ambiguous-paths bad | |
coqtop started with pid 84289 | |
Client connected on main channel R (port 50084) | |
Client connected on main channel W (port 50086) | |
Client connected on control channel R (port 50087) | |
Client connected on control channel W (port 50085) | |
-------------------------------- | |
Call Init() | |
coqtop-stderr: Don't know what to do with bad | |
See -help for the list of supported options | |
events.js:167 | |
throw er; // Unhandled 'error' event | |
^ | |
Error: read ECONNRESET | |
at TCP.onStreamRead (internal/stream_base_commons.js:111:27) | |
Emitted 'error' event at: | |
at emitErrorNT (internal/streams/destroy.js:82:8) | |
at emitErrorAndCloseNT (internal/streams/destroy.js:50:3) | |
at process._tickCallback (internal/process/next_tick.js:63:19) | |
[Info - 8:17:26 PM] Connection to server got closed. Server will restart. | |
Coq Language Server: process.version: v10.11.0, process.arch: x64} | |
Loaded project at /Users/pgiarrusso/git/Coq/dot-iris | |
Changed path to: /Users/pgiarrusso/.opam/coq-8.8.2/bin/ | |
[Error - 8:17:26 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
[Error - 8:17:26 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
[Error - 8:17:26 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
[Error - 8:17:26 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
[Error - 8:17:26 PM] Request textDocument/documentSymbol failed. | |
Message: Request textDocument/documentSymbol failed unexpectedly without providing any details. | |
Code: -32603 | |
starting coqtop | |
exec: /Users/pgiarrusso/.opam/coq-8.8.2/bin/coqtop -v | |
Listening at 127.0.0.1:50093 | |
Listening at 127.0.0.1:50094 | |
Listening at 127.0.0.1:50095 | |
Listening at 127.0.0.1:50096 | |
Detected coqtop version 8.8.2 | |
Coqtop version parsed into semver version 8.8.2 | |
exec: /Users/pgiarrusso/.opam/coq-8.8.2/bin/coqtop -main-channel 127.0.0.1:50094:50095 -control-channel 127.0.0.1:50093:50096 -ideslave -async-proofs on -Q theories D -w -notation-overridden,-redundant-canonical-projection,-several-object-files -w -convert_concl_no_check -w -undeclared-scope -w -ambiguous-paths bad | |
coqtop started with pid 84295 | |
Client connected on main channel R (port 50094) | |
Client connected on main channel W (port 50095) | |
Client connected on control channel R (port 50093) | |
Client connected on control channel W (port 50096) | |
-------------------------------- | |
Call Init() | |
coqtop-stderr: Don't know what to do with bad | |
See -help for the list of supported options | |
events.js:167 | |
throw er; // Unhandled 'error' event | |
^ | |
Error: read ECONNRESET | |
at TCP.onStreamRead (internal/stream_base_commons.js:111:27) | |
Emitted 'error' event at: | |
at emitErrorNT (internal/streams/destroy.js:82:8) | |
at emitErrorAndCloseNT (internal/streams/destroy.js:50:3) | |
at process._tickCallback (internal/process/next_tick.js:63:19) | |
[Error - 8:17:26 PM] Connection to server got closed. Server will not be restarted. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment