blob: 25d7b9bf71ab91329958cebff954ca787f7c8fd3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
discard """
errormsg: "'name' cannot be assigned to"
line: "10"
"""
echo("What's your name? ")
let name = readLine(stdin)
while name == "":
echo("Please tell me your name: ")
name = readLine(stdin)
|