diff --git a/parser/src/parser.rs b/parser/src/parser.rs
index 1f912d36abd92902c60be064d0f9c5aca1e4f659..7cae88aa1f036240f3b36790744c0e43ecae7202 100644
--- a/parser/src/parser.rs
+++ b/parser/src/parser.rs
@@ -298,6 +298,10 @@ pub fn parse_file(file: &str) -> error::Result<Vec<Command>> {
 
 #[cfg(test)]
 mod tests {
+    // TODO TESTS:
+    // - universe declarations for both define and define_check
+    // - universe bindings on vars
+    // - level constructions for numbers, +, succ, max and imax
     use error::{Error, ErrorKind};
     use kernel::memory::term::builder as term;
     use term::Builder::*;