LogicInterpreter cannot handle loops which are completely extruded

willow-ahrens / Finch.jl

Sparse tensors in Julia and more! Datastructure-driven array programing language.

http://willowahrens.io/Finch.jl/

MIT License

152 stars 13 forks source link

LogicInterpreter cannot handle loops which are completely extruded #533

Closed willow-ahrens closed 2 months ago

willow-ahrens commented 2 months ago

i.e. a program of the form query(lhs, reformat(tns, reorder(relabel(alias(a), i, j), k, l))) not sure what to do about this, probably detect it and feed the interpreter a size-1 loop.