search

asoffer / Icarus

An experimental general-purpose programming language
Apache License 2.0
9 stars 2 forks source link

Char comparison fails to fail #103

Closed perimosocordiae closed 2 years ago

perimosocordiae commented 2 years ago

I'm not sure what's going on here, so I'll just give the reproducer:

io ::= import "io.ic"

foo := !a < !b
io.Print(foo, !\n)

Resulting output:

Error:
Values of type `char` and `char` are being compared but no such comparison is allowed:

  3 | foo := !a < !b

true

Note how we still print "true" at the end, despite the error message.