From a3a91f54a98edbff7c3707763f2d14344a505934 Mon Sep 17 00:00:00 2001
From: Swastik Baranwal <swstkbaranwal@gmail.com>
Date: Sun, 14 Jun 2020 22:33:29 +0530
Subject: [PATCH] checker: handle `!is` in error messages

---
 vlib/v/checker/checker.v                   | 8 ++++----
 vlib/v/checker/tests/is_type_not_exist.out | 8 ++++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/vlib/v/checker/checker.v b/vlib/v/checker/checker.v
index f848f12de7..3a69f9bebf 100644
--- a/vlib/v/checker/checker.v
+++ b/vlib/v/checker/checker.v
@@ -553,10 +553,10 @@ pub fn (mut c Checker) infix_expr(mut infix_expr ast.InfixExpr) table.Type {
 			type_expr := infix_expr.right as ast.Type
 			typ_sym := c.table.get_type_symbol(type_expr.typ)
 			if typ_sym.kind == .placeholder {
-				c.error('is: type `${typ_sym.name}` does not exist', type_expr.pos)
+				c.error('$infix_expr.op.str(): type `${typ_sym.name}` does not exist', type_expr.pos)
 			}
 			if left.kind != .interface_ && left.kind != .sum_type {
-				c.error('`is` can only be used with interfaces and sum types', type_expr.pos)
+				c.error('`$infix_expr.op.str()` can only be used with interfaces and sum types', type_expr.pos)
 			}
 			return table.bool_type
 		}
@@ -580,7 +580,7 @@ pub fn (mut c Checker) infix_expr(mut infix_expr ast.InfixExpr) table.Type {
 	} else if left_type == table.string_type && infix_expr.op !in [.plus, .eq, .ne, .lt, .gt,
 		.le, .ge] {
 		// TODO broken !in
-		c.error('string types only have the following operators defined: `==`, `!=`, `<`, `>`, `<=`, `>=`, and `&&`',
+		c.error('string types only have the following operators defined: `==`, `!=`, `<`, `>`, `<=`, `>=`, and `+`',
 			infix_expr.pos)
 	}
 	// Dual sides check (compatibility check)
@@ -1952,7 +1952,7 @@ pub fn (mut c Checker) expr(node ast.Expr) table.Type {
 			if it.op == .mul && right_type.is_ptr() {
 				return right_type.deref()
 			}
-			if it.op == .bit_not && !right_type.is_int(){
+			if it.op == .bit_not && !right_type.is_int() {
 				c.error('operator ~ only defined on int types', it.pos)
 			}
 			if it.op == .not && right_type != table.bool_type_idx {
diff --git a/vlib/v/checker/tests/is_type_not_exist.out b/vlib/v/checker/tests/is_type_not_exist.out
index d732a34149..ecc8a22282 100644
--- a/vlib/v/checker/tests/is_type_not_exist.out
+++ b/vlib/v/checker/tests/is_type_not_exist.out
@@ -1,12 +1,12 @@
-vlib/v/checker/tests/is_type_not_exist.v:4:2: error: cannot use type `any_int` as type `Integer` in argument 1 to `fn_with_sum_type_param` 
-    2 | 
+vlib/v/checker/tests/is_type_not_exist.v:4:2: error: cannot use type `any_int` as type `Integer` in argument 1 to `fn_with_sum_type_param`
+    2 |
     3 | fn main() {
     4 |     fn_with_sum_type_param(1)
       |     ~~~~~~~~~~~~~~~~~~~~~~~~~
     5 | }
     6 |
-vlib/v/checker/tests/is_type_not_exist.v:8:10: error: is: type `SomethingThatDontExist` does not exist 
-    6 | 
+vlib/v/checker/tests/is_type_not_exist.v:8:10: error: is: type `SomethingThatDontExist` does not exist
+    6 |
     7 | fn fn_with_sum_type_param(i Integer) {
     8 |     if i is SomethingThatDontExist {
       |             ~~~~~~~~~~~~~~~~~~~~~~