Closed GoogleCodeExporter closed 9 years ago
I agree that the naming of `query` is not ideal. The current version of that
strategy is somewhat of a hack to get a limited "folding" capability in there.
We plan to do some more serious overhauling of the so-called type-unifying
strategy support in Kiama's rewriting library. Those strategies will be much
more like folds over the structures and hence `query` will be a more suitable
name.
Hence we don't plan to change the name now. But in the future things will be more sensible, hopefully. Thanks for the prompt though.
Original comment by inkytonik
on 12 Jan 2015 at 3:03
Original issue reported on code.google.com by
Martin.Mauch@gmail.com
on 3 Jan 2015 at 10:31