Working argument accum mode (...)

The derivative of 'neural' in full accum mode is pretty atrocious now; I
think this is because when you have code like this:

  \(a :: Arr 1 R) ->
    let b = a
    in let c = b
       in sum d

then because the argument, as well as both let bindings, bind a value of
array type, each will introduce an accumulator, hence resulting in three
(!) nested `with` clauses that each just contribute their result back to
their parent. This is pointless, and we should fix this.

0 files changed, 0 insertions, 0 deletions