Apply suggestions from code review

cstml · bladyjoker · web-flow · commit 46a8e8748625 · 2023-02-17T09:58:22.000Z
Co-authored-by: Dražen Popović &lt;bladyjoker@gmail.com&gt;
diff --git a/lambda-buffers-proto/compiler.proto b/lambda-buffers-proto/compiler.proto
@@ -642,7 +642,7 @@ message KindCheckError {
     TyVar ty_var = 2;
   }
 
-  // Unbound variable ty_ref detected in term ty_def.
+  // Unbound type reference ty_ref detected in term ty_def.
   message UnboundTyRefError {
     TyDef ty_def = 1;
     TyRef ty_ref = 2;

Original file line number	Diff line number	Diff line change
`@@ -642,7 +642,7 @@ message KindCheckError {`
`642`	`642`	`TyVar ty_var = 2;`
`643`	`643`	`}`
`644`	`644`
`645`		`- // Unbound variable ty_ref detected in term ty_def.`
	`645`	`+ // Unbound type reference ty_ref detected in term ty_def.`
`646`	`646`	`message UnboundTyRefError {`
`647`	`647`	`TyDef ty_def = 1;`
`648`	`648`	`TyRef ty_ref = 2;`