Zulip Chat Archive

Stream: new members

Topic: weird error message


Mattia Bottoni (Oct 17 2023 at 07:30):

Hi everybody :)

I am getting a strange error message that does not make sense:

ErrorMessage.png

This is the code:

Doesnotwork.png

Can you help me out?

Thanks in advance
Matt

Damiano Testa (Oct 17 2023 at 07:36):

Use /- or /-! instead of /--!

Damiano Testa (Oct 17 2023 at 07:36):

What you used is syntax for doc-strings, but variable does not admit doc-strings.

Mattia Bottoni (Oct 17 2023 at 07:56):

Alright, thanks for that :)


Last updated: Dec 20 2023 at 11:08 UTC