7fcbdc6d4 ^
1105d0364 ^
d7d059a68 ^
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)