For our research, it would be helpful to have a "demodulizer" for Haskell
--- that is, a program that can translate a Haskell program consisting of
several modules into a single module. Ideally, this tool would also
perform "tree shaking", removing functions that are not accessible from a
specified root module. In particular, we would like to avoid including the
entire prelude in every program.
Stephen Weeks has written this sort of tool --- the defunctorizer --- for
Standard ML of New Jersey. The defunctorizer has been very useful for
adapting SML benchmarks for whole-program compilers.
Is anyone aware of a similar tool for Haskell?
Patricia Johann
Franklyn Turbak
