Wollok files should be have names which are legal identifiers

uqbar-project / wollok

Wollok Programming Language

GNU General Public License v3.0

60 stars 16 forks source link

Closed npasserini closed 7 years ago

npasserini commented 9 years ago

We should add a validation for that.

fdodino commented 7 years ago

I think this problem was solved. Wizard now checks this, unless you explicitly rename file.