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