tiny notes

diff --git a/src/checker.c b/src/checker.c
index 0a68c9a6ed2ab30628fdf306a4a771f369b88cd2..1dec37d7c8f1b19ddfdf1ca4376fcac447e58c92 100644 (file)
--- a/src/checker.c
+++ b/src/checker.c
@@ -737,6 +737,7 @@ CheckStatus check_binaryop_assignment(AstBinaryOp** pbinop) {
 
     } else {
         // NOTE: +=, -=, ...
+        // NOTE: At this point, it is assumed that operator overloads for +=, -=, etc have been tested.
 
         BinaryOp operation = -1;
         if      (binop->operation == Binary_Op_Assign_Add)      operation = Binary_Op_Add;

diff --git a/src/polymorph.c b/src/polymorph.c
index 8c5d237faeeb8d0fb0f6281d350c87f969226525..55302c193f7789c3e1ce360ac94a5c5aec32b819 100644 (file)
--- a/src/polymorph.c
+++ b/src/polymorph.c
@@ -505,7 +505,7 @@ static void solve_for_polymorphic_param_type(PolySolveResult* resolved, AstFunct
 
 // NOTE: The job of this function is to look through the arguments provided and find a matching
 // value that is to be baked into the polymorphic procedures poly-scope. It expected that param
-// will be of kind PPK_Baked_Value.
+// will be of kind PPK_Baked_Value. In other words, this handles the ($Baked: type) case.
 // CLEANUP: This function is kind of gross at the moment, because it handles different cases for
 // the argument kind. When type expressions (type_expr) become first-class types in the type
 // system, this code should be able to be a lot cleaner.