-
Simon Peyton Jones authored
Particularly, flatten_many was exported, but the caller was not doing runFlatten. Moreover it was always used at nominal role. This patch makes the API clearer, and more robust
3d449110
Particularly, flatten_many was exported, but the caller was not doing runFlatten. Moreover it was always used at nominal role. This patch makes the API clearer, and more robust