Are you suggesting that some combination of GHC flags will allow us to
achieve demodulization? We have been unable to find anything in the GHC
documentation indicating that it is possible to output a single Haskell
source module from multiple input modules.
Franklyn Turbak
Patricia Johann
[EMAIL PROTECTED] writes:
>
>Have you looked at GHC?
>
>Erik
>
>==================================================
>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
>
>
>
>
