Add __attribute__((constructor))-equivalent pragma

[pumpkin]

It would be nice to let one's library perform initialization tasks at load time. Then the integer-gmp allocation functions could be changed from within haskell and various other FFI libraries would be easier to bind to. As for syntax, maybe something like the following would work?

{-# CONSTRUCTOR f #-} f :: IO () f = ...

[duncan]

This is like the top level (safe) IO and top level reference proposals and is generally quite controversial.

[igloo]

I'm going to close this ticket, due to the lack of consensus that it should be done, and what the design should be. As Duncan says, there have been some discussions about it on the lists.