Matthias Radestock 5bdf46956d optimisation: make Memoise(Memoise(...)) only memoise once ...

All outputs of Memoise() are fixpoints to the function, i.e. feeding
them as inputs to the function just returns them.

We don't hit this optimisation in current code but have had instances
in the past.

2017-11-23 17:03:33 +00:00

1.6 KiB

Raw Blame History

View Raw