google/codeworld

User-reported unhelpful error message

Opened this issue · 0 comments

codeworld-feedback commented

Program: https://code.world/#P9_Q_aOBj6Z_16rYpvl7zIw

Message:

program.hs:4:1-7: warning:
    Defined but not used: nametag