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