Lean server error codes

Stream: new members

[Shing Tak Lam]

Is there any documentation for what each error code with the Lean server means? I've just had 3 crashes in about 5 mins, and it'd be nice to (kind of) know what is happening, since I'm not sure what I'm doing to cause it.

The latest message I've got is Server has stopped with error code 3221226356.

Lean version : 3.16.3
Mathlib Commit (probably not relevant) : 103743e

[Reid Barton]

don't think this is Lean specific--try searching for 3221226356

[Shing Tak Lam]

I don't know how good GitHub's search is, but I just searched for it in the VSCode-Lean repo as well as leanprover-community/lean and both came up negative

[Reid Barton]

I mean searching the internet

[Shing Tak Lam]

Ah, that's probably it then.

The exit code 0xC0000374 is the value returned when heap corruption is detected.

https://stackoverflow.com/questions/25987792/process-get-exited-with-return-value-3221226356

[Shing Tak Lam]

So it seems to be a bug in Lean then? It just crashed again and I don't really know why or what I did to cause it...

[Bhavik Mehta]

I've had the same problem

[Johan Commelin]

Reid Barton said:

don't think this is Lean specific--try searching for 3221226356

I wonder what Kevin thinks of when he sees this number....