From: Brendan Hansen <brendan.f.hansen@gmail.com>
Date: Mon, 22 Nov 2021 03:28:51 +0000 (-0600)
Subject: tiny notes
X-Git-Url: https://git.brendanfh.com/?a=commitdiff_plain;h=a0baa3f8b4c67d79977b53cf29ae26b44b6372a9;p=onyx.git

tiny notes
---

diff --git a/src/checker.c b/src/checker.c
index 0a68c9a6..1dec37d7 100644
--- 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 8c5d237f..55302c19 100644
--- 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.