paul-go/Truth

Incorrect syntax error followed by crash

crosjef opened this issue · 0 comments

crosjef commented

Start with
Type

Add

Type
String

Type gets underlined incorrectly as an error.

Add

Type
String : Type

The empty line below String : Type gets underlined as an error.

Highlight and delete all lines.

Empty line 1 gets highlighted as an error and the following is in the output:

(node:1830) UnhandledPromiseRejectionWarning: TypeError: Cannot read property 'isNoop' of undefined
at Document.getChildren (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:4516:25)
at Document.eachDescendant (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:4618:42)
at eachDescendant.next ()
at Function.from ()
at HyperGraph.include (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:7829:41)
at CauseAttachment.callback (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:7763:26)
at Program.cause (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:1052:45)
at /Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:4820:46
at Document.edit (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:4939:15)
at Document.editAtomic (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:4966:25)
(node:1830) UnhandledPromiseRejectionWarning: TypeError: Cannot read property 'isNoop' of undefined
at Document.getChildren (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:4516:25)
at Document.eachDescendant (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:4618:42)
at eachDescendant.next ()
at Function.from ()
at HyperGraph.include (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:7829:41)
at CauseAttachment.callback (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:7763:26)
at Program.cause (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:1052:45)
at /Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:4820:46
at Document.edit (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:4939:15)
at Document.editAtomic (/Users/jcross/.vscode/extensions/truebase.truth-integration-2.0.0/build/truth.js:4966:25)
(node:1830) UnhandledPromiseRejectionWarning: Unhandled promise rejection. This error originated either by throwing inside of an async function without a catch block, or by rejecting a promise which was not handled with .catch(). (rejection id: 2)
(node:1830) UnhandledPromiseRejectionWarning: Unhandled promise rejection. This error originated either by throwing inside of an async function without a catch block, or by rejecting a promise which was not handled with .catch(). (rejection id: 2)
(node:1830) [DEP0018] DeprecationWarning: Unhandled promise rejections are deprecated. In the future, promise rejections that are not handled will terminate the Node.js process with a non-zero exit code.
(node:1830) [DEP0018] DeprecationWarning: Unhandled promise rejections are deprecated. In the future, promise rejections that are not handled will terminate the Node.js process with a non-zero exit code.
hello
[Error - 11:28:07 AM] Request textDocument/codeLens failed.
Message: Request textDocument/codeLens failed with message: Invalid argument.
Code: -32603