Merge pull request #390 from KisaragiEffective/refactor/typeck/rename-variant

Author: KisaragiEffective

package/origlang-compiler/src/type_check.rs

@@ -117,7 +117,7 @@ impl TryIntoTypeCheckedForm for Expression {
                                 return_type: Type::Boolean,
                             })
                         } else {
-                            Err(TypeCheckError::UnableToUnifyEqualityQuery {
+                            Err(TypeCheckError::UnableToUnifyBinaryOperatorOutputType {
                                 operator: BinaryOperatorKind::Equal,
                                 got_lhs: lhs_type,
                                 got_rhs: rhs_type
@@ -133,7 +133,7 @@ impl TryIntoTypeCheckedForm for Expression {
                                 return_type: Type::Boolean,
                             })
                         } else {
-                            Err(TypeCheckError::UnableToUnifyEqualityQuery {
+                            Err(TypeCheckError::UnableToUnifyBinaryOperatorOutputType {
                                 operator: BinaryOperatorKind::NotEqual,
                                 got_lhs: lhs_type,
                                 got_rhs: rhs_type
@@ -149,8 +149,7 @@ impl TryIntoTypeCheckedForm for Expression {
                                 return_type: lhs_type
                             })
                         } else {
-                            // TODO: equalityではない
-                            Err(TypeCheckError::UnableToUnifyEqualityQuery {
+                            Err(TypeCheckError::UnableToUnifyBinaryOperatorOutputType {
                                 operator,
                                 got_lhs: lhs_type,
                                 got_rhs: rhs_type,

package/origlang-compiler/src/type_check/error.rs

@@ -18,7 +18,7 @@ pub enum TypeCheckError {
     #[error("Undefined identifier: {0}")]
     UndefinedIdentifier(Identifier),
     #[error("Cannot compare between two different types. lhs: {got_lhs}, rhs: {got_rhs}")]
-    UnableToUnifyEqualityQuery {
+    UnableToUnifyBinaryOperatorOutputType {
         operator: BinaryOperatorKind,
         got_lhs: Type,
         got_rhs: Type,