[m-dev.] deleting tags_high
jfischer at opturion.com
Fri Jun 15 03:47:29 AEST 2018
On Thu, 14 Jun 2018, Zoltan Somogyi wrote:
> I propose that we delete support for tags_high. We started with that
> because we knew it worked, since it is the method that Prolog systems
> have traditionally used. However, once we got tags_low working,
> I don't think we ever used tags_high in anger more than once,
> and that one occasion was for benchmarks to show that tags_low
> was faster :-(
> The motivation for raising this issue now this is that I don't want to
> write code that adds mktag and unmktag unary operations to the
> LLDS and MLDS code being generated, when I know that both are no-ops
> unless someone selects tags_high. With my proposal, we should be able
> to delete the mktag and unmktag unops; they should *never* be needed.
> Any objections?
No, go ahead.
More information about the developers