diff --git a/TODO.md b/TODO.md
index 20ad1a9..1320e56 100644
--- a/TODO.md
+++ b/TODO.md
@@ -8,6 +8,7 @@
 - [x] `StructType.{args=...}` syntax
 - [x] `[:ElementType, elements...]` syntax
 - [x] Tuple element syntax `a.0, a.1`, instead of allowing arbitrary indices into the tuple. This will allow for easier typechecking for tuples
+- [ ] Proper error reporting with locations
 - [ ] Make Typechecking a step before anything is interpreted
 - [ ] Implicit `[elements...]`/`.{args=...}`/`.Member(values...)` syntax
 - [ ] Destructring of tuples and structs