liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

NUMERIC is HASHABLE


From: Paolo Redælli
Subject: NUMERIC is HASHABLE
Date: Tue, 15 Mar 2022 14:59:32 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.1.0

Following the inheritance chain of INTEGER_32 I noticed this:

deferred class NUMERIC

   --
   -- This class describes a ring.
   --

inherit
   HASHABLE -- *** Here ? Weird ! *** 3th feb 2006 *** Fred + Guillem + Dom ***


Indeed as far as I can say a ring is not hashable.

Why has it been put there?

Is it a quick'n'dirty solution or does it have a design choice behind it?





reply via email to

[Prev in Thread] Current Thread [Next in Thread]