Missing operator ^ for bool type

[alfaus]

Describe the bug

bool types doesn't have a xor operator

Reproduction Steps

fn main() {
  a := true
  b := false
  c := a ^ b
  assert !c
}

Expected Behavior

Program compiles

Current Behavior

Compilation ends with error: bool types only have the following operators defined: ==, !=, ||, and &&

Possible Solution

No response

Additional Information/Context

No response

V version

V 0.4.3 bc62c5c

Environment details (OS name and version, etc.)

V full version: V 0.4.3 8f76a06.bc62c5c
OS: linux, Ubuntu 22.04.3 LTS
Processor: 4 cpus, 64bit, little endian, Intel(R) Core(TM) i3-7100 CPU @ 3.90GHz

Note

You can use the 👍 reaction to increase the issue's priority for developers.

Please note that only the 👍 reaction to the issue itself counts as a vote.
Other reactions and those to comments will not be taken into account.

[Delta456]

Why will ^ work for boolean types?

[alfaus]

Why not? It's a standard operator for boolean logic in every program language...

[alfaus]

Into the documentation the XOR operator is presented as !=. Ok, but it is very disorienting to follow a different convention.
Maybe it should be a feature request. Sorry for my confusion.

[Delta456]

Why not? It's a standard operator for boolean logic in every program language...

I haven't seen this as an operator for bools...

Look at Go: ./prog.go:8:14: invalid operation: operator ^ not defined on true (untyped bool constant)

[alfaus]

Why not? It's a standard operator for boolean logic in every program language...

I haven't seen this as an operator for bools...

Look at Go: ./prog.go:8:14: invalid operation: operator ^ not defined on true (untyped bool constant)

In rust is defined as is. I think...

[JalonSolov]

^ is "bitwise exclusive or" in C, Perl, Java, Go, and probably others.

Go example:

package main

import "fmt"

func main() {
  a := 19
  b := 21
  c := a ^ b
  fmt.Printf("The Value of c is %d\n", c)
}

Output is The Value of c is 6.

[alfaus]

Thanks for the explanation.