blob: 3d36432fb59c86e330276b23485755e5768ba936 (
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)
|