From faa7a06aa2a92779876735a64500bf36925d0039 Mon Sep 17 00:00:00 2001
From: NotAFile <notafile@gmail.com>
Date: Tue, 15 Feb 2022 21:44:10 +0100
Subject: [PATCH] add labels to todos

---
 src/frontend.rs          | 6 +++---
 src/frontend/lowering.rs | 6 +++---
 src/frontend/types.rs    | 6 +++---
 3 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/frontend.rs b/src/frontend.rs
index 703f06e..26b4002 100644
--- a/src/frontend.rs
+++ b/src/frontend.rs
@@ -131,7 +131,7 @@ impl Context {
                     typ: signal.typ,
                 }
             }
-            Expression::Literal(_) => todo!(),
+            Expression::Literal(_) => todo!("type literal"),
             Expression::UnOp(op) => self.type_expression(&op.a)?,
             Expression::BinOp(op) => {
                 let (a, b) = (self.type_expression(&op.a)?, self.type_expression(&op.b)?);
@@ -206,8 +206,8 @@ impl Context {
         for item in module.items {
             let block = match &item {
                 parser::ModuleItem::Comb(comb) => self.type_comb(comb)?,
-                parser::ModuleItem::Proc(_) => todo!(),
-                parser::ModuleItem::State(_) => todo!(),
+                parser::ModuleItem::Proc(_) => todo!("proc block"),
+                parser::ModuleItem::State(_) => todo!("state block"),
             };
             return Ok(block);
         }
diff --git a/src/frontend/lowering.rs b/src/frontend/lowering.rs
index 7e3ca43..526ceb2 100644
--- a/src/frontend/lowering.rs
+++ b/src/frontend/lowering.rs
@@ -121,7 +121,7 @@ fn desugar_unop<'a>(op: parser::expression::UnOp<'a>) -> parser::expression::Cal
     let a = desugar_expression(op.a);
     let op_func = match op.kind {
         parser::expression::UnOpKind::BitNot => "not",
-        parser::expression::UnOpKind::Not => todo!(),
+        parser::expression::UnOpKind::Not => todo!("bin not"),
     };
     parser::expression::Call {
         name: op_func.into(),
@@ -195,8 +195,8 @@ fn lower_expression(
             lit.span().fragment().parse().unwrap(),
             TODO_WIDTH,
         )),
-        Expression::UnOp(_) => todo!(),
-        Expression::BinOp(_) => todo!(),
+        Expression::UnOp(_) => todo!("unary op"),
+        Expression::BinOp(_) => todo!("binary op"),
     }
 }
 
diff --git a/src/frontend/types.rs b/src/frontend/types.rs
index d9ae3f3..c6a5f72 100644
--- a/src/frontend/types.rs
+++ b/src/frontend/types.rs
@@ -90,9 +90,9 @@ impl TypingContext {
     pub fn pretty_type(&self, w: &mut dyn std::fmt::Write, typ: Type) -> std::fmt::Result {
         match &self.get(typ).kind {
             TypeKind::ElabType(val) => write!(w, "{{{:?}}}", val),
-            TypeKind::Logic(_) => todo!(),
-            TypeKind::UInt(_) => todo!(),
-            TypeKind::Callable => todo!(),
+            TypeKind::Logic(_) => todo!("print logic"),
+            TypeKind::UInt(_) => todo!("print uint"),
+            TypeKind::Callable => todo!("print callable"),
         }
     }
 }