Why wasn't EiffelBase2 merged into EiffelStudio?

[Alejandro Garcia]

Nadia Polikarpova and Julian Tschannen did work on EiffelBase2
https://github.com/nadia-polikarpova/eiffelbase2
a library with fully specified components.
But from what I gather it was not merged into Eiffel.

Why was that?

- Maybe because it broke the original contracts and therefore made
changing very hard?
- Or maybe it was just a research experiment and it didn't reach maturity?
- Or because Autoproof is still in research mode?
- something else entirely?

I'm asking because I want to inherit from HASH_TABLE but I prefer the
contract of EiffelBase2
Since in EiffelBase HASH_TABLE some values are detachable.
and In EiffelBase2 they aren't, if you ask for a key that doesn't
exist is pre-condition violation.
And for my case that is better.


Could EiffelBase2 and the one in Studio co-exist?
using cluster renaming mechanisms?

thanks in advance.



--
Alejandro García F. (elviejo)
https://elviejo79.github.io


Too brief? Here's why! https://www.emailcharter.info
EOM – End Of Message. The whole message is in the subject don't need to open it.
NNTR – No Need To Respond. Help cut down on all those “cool” and
“thanks” emails.
SINGLE SUBJECT. Send one email for one topic, this makes replies easy..
CLEAR CALL TO ACTION: Ask for some specific result very clearly.