lean3 throwing exception on Ubuntu 20.04

Stream: new members

[Morten Brodersen]

I have installed elan and lean3 (stable 3.30.0) on Ubuntu 20.04. Running the following command:

---

lean -run src/misc/hello-world.lean

---

on this file (hello-world.lean):

---

import system.io

open io

def main : io unit := do
return ()

---

results in this error message:

---

terminate called after throwing an instance of 'std::logic_error'
what(): basic_string::_S_construct null not valid

---

which seems to be a C++ exception.

Any help would be very much appreciated :-)

[Eric Wieser]

(a tip for using zulip: #backticks)

[Morten Brodersen]

My bad. It was a configuration problem. It works now.