Re: [GHC] #5435: GHCi linker should run constructors for linked libraries

2012-11-07 Thread GHC
#5435: GHCi linker should run constructors for linked libraries -+-- Reporter: pumpkin | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries

2012-09-03 Thread GHC
#5435: GHCi linker should run constructors for linked libraries -+-- Reporter: pumpkin | Owner: Type: bug | Status: new Priority: high

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries

2012-03-05 Thread GHC
#5435: GHCi linker should run constructors for linked libraries -+-- Reporter: pumpkin | Owner: Type: bug | Status: new Priority: high

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries

2011-09-27 Thread GHC
#5435: GHCi linker should run constructors for linked libraries -+-- Reporter: pumpkin |Owner: Type: bug | Status: new Priority: high

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries

2011-09-13 Thread GHC
#5435: GHCi linker should run constructors for linked libraries -+-- Reporter: pumpkin |Owner: Type: bug | Status: new Priority: high

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries

2011-09-13 Thread GHC
#5435: GHCi linker should run constructors for linked libraries -+-- Reporter: pumpkin |Owner: Type: bug | Status: new Priority: high

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries

2011-08-31 Thread GHC
#5435: GHCi linker should run constructors for linked libraries -+-- Reporter: pumpkin |Owner: Type: bug | Status: new Priority: high

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries

2011-08-31 Thread GHC
#5435: GHCi linker should run constructors for linked libraries -+-- Reporter: pumpkin |Owner: Type: bug | Status: new Priority: normal

[GHC] #5435: GHCi linker should run constructors for linked libraries

2011-08-26 Thread GHC
#5435: GHCi linker should run constructors for linked libraries -+-- Reporter: pumpkin | Owner: Type: bug | Status: new Priority: normal|