On 28-Jan-98 Simon Marlow wrote:
> The problem is trying to sensibly combine the idea of separate
> compilation with inter-module recursion: we use separate compilation
> for two reasons:
>
> * abstraction
> * efficiency (incremental compilation)
> Another approach is to have the *programmer* declare explicit types
> for functions and data involved in the inter-module recursion. This
> is the approach GHC uses - you can write an explicit .hi-boot file.
> The reason this is a pain is because .hi-boot files are intended for
> automatic generation and the syntax isn't particularly nice, and also
> because identifying the minimum amount of information needed to get
> the process bootstrapped can be quite tiresome.
It would be better if there is a compiler pragma to declare explicit types
for functions and data involved in the inter-module recursion.
You need this declaration only in one module. If you compile the other one,
the compiler can typecheck this pragma declaration.
Stefan Karrmann
__
/ /\
EMail: [EMAIL PROTECTED] / / \
Post: Engelstr. 2, Zimmer 004, 76131 Karlsruhe / / /\ \
Tel: +49|0-721-608-3311 / / /\ \ \
Post: Ludwig-Wilhelm-Str. 10, 76131 Karlsruhe / /_/__\ \ \
priv: +49|0-721-699184 /________\ \ \
\___________\/
