remove BinaryFile

[Ralf Hemmecke]

Not that I care much about BinaryFile, but what was the problem with it?

https://github.com/fricas/fricas/commit/db2dcc5821eb5d7c1e7bd5c03b1656d0aeca5120

Ralf

[Waldek Hebisch]

On Wed, May 04, 2022 at 09:48:02PM +0200, Ralf Hemmecke wrote:
> Not that I care much about BinaryFile, but what was the problem with it?
>
> https://github.com/fricas/fricas/commit/db2dcc5821eb5d7c1e7bd5c03b1656d0aeca5120

1) It shares with other our file domains problem of old-fashioned
interface: clumsy and poor fit to modern systems
2) For binary files one really wants block transfers, but BinaryFile
only supported single-byte transfers
3) I did not work at all

Due to 1) and 2) IMO trying to fix BinaryFile made no sense.

--
Waldek Hebisch