Re: FFI enums are now always boxed

  • From: Leo Razoumov <slonik.az@xxxxxxxxx>
  • To: luajit@xxxxxxxxxxxxx
  • Date: Thu, 19 Jul 2012 21:24:38 -0400

On Thu, Jul 19, 2012 at 8:15 PM, Daurnimator <quae@xxxxxxxxxxxxxxx> wrote:
>
> == isn't guaranteed to be transitive
> You can easily end up with the same behaviour when writing an __eq metamethod
>

I understand that __eq can be abused to achieve weird behavior of == operator.
My question is whether is makes sense to do so. In formal logic
transitivity is part of the definition of equality relation. Breaking
it could have really bad consequences.

--Leo--

Other related posts: