RE: [GHC] #11526: unsafeLookupStaticPtr should not live in IO

2016-02-02 Thread Simon Peyton Jones
; Simon Peyton Jones ; Edsko de Vries ; Facundo Domínguez Subject: Re: [GHC] #11526: unsafeLookupStaticPtr should not live in IO IMHO this dynamic linking thing is a red herring. In principle any function call becomes potentially impure given eg the ability to shadow symbols. In practice that&#

Re: [GHC] #11526: unsafeLookupStaticPtr should not live in IO

2016-02-02 Thread Mathieu Boespflug
IMHO this dynamic linking thing is a red herring. In principle any function call becomes potentially impure given eg the ability to shadow symbols. In practice that's not something we do to programs. We could consider having two tables though: an initial tackle generated at compile time that will n