Open arogozhnikov opened 1 year ago
in particular, pattern like
'a, [m] a -> m'
does not work for gatherscatter, but works for scatter; gatherscatter thinks a can't be used like that
a
in particular, pattern like
does not work for gatherscatter, but works for scatter; gatherscatter thinks
a
can't be used like that