Better error messages

Changes

1 changed files (+3/-2)

• Main.lean
  • @@ -13,8 +13,9 @@ | some dataStr =>
    let filename := (← IO.rand 0 <| 2 ^ 32 - 1).toInt32.toBitVec.toHex IO.println s!"Writing to {filename}" IO.FS.writeFile filename dataStr - | none => return - | none => return + conn.send s!"View at https://leanet.unnamed.website/{filename}\n".toUTF8 + | none => conn.send "Invalid UTF-8\n".toUTF8 + | none => conn.send "You screwed up somehow probably\n".toUTF8 def main := do let server ← Server.mk