Re: [Haskell-cafe] why doesn't ghc give you a type signature that works ?

2011-05-18 Thread Ivan Lazar Miljenovic
(Re-CC-ing the list) On 18 May 2011 15:16, bri...@aracnet.com wrote: On Wed, 18 May 2011 13:52:46 +1000 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: What's happening is that the type involves the FFTWReal class. However, this isn't immediately visible to ghci as it isn't in scope,

[Haskell-cafe] why doesn't ghc give you a type signature that works ?

2011-05-17 Thread briand
for example: I will ask the glorious compiler, and it says: *Main :t calcFFT calcFFT :: (Math.FFT.Base.FFTWReal r) = V.Vector (Complex r) - V.Vector (Complex r) I then put the signature in my code, reload it, and: Not in scope: type constructor or class `Math.FFT.Base.FFTWReal' It

Re: [Haskell-cafe] why doesn't ghc give you a type signature that works ?

2011-05-17 Thread Ivan Lazar Miljenovic
On 18 May 2011 13:44, bri...@aracnet.com wrote: for example: I will ask the glorious compiler, and it says: *Main :t calcFFT calcFFT  :: (Math.FFT.Base.FFTWReal r) =     V.Vector (Complex r) - V.Vector (Complex r) I then put the signature in my code, reload it, and:  Not in scope:

Re: [Haskell-cafe] why doesn't ghc give you a type signature that works ?

2011-05-17 Thread KC
If you're importing the module as import qualified Math.FFT as FFT Shouldn't Math.FFT become FFT? :) On Tue, May 17, 2011 at 8:44 PM, bri...@aracnet.com wrote: for example: I will ask the glorious compiler, and it says: *Main :t calcFFT calcFFT  :: (Math.FFT.Base.FFTWReal r) =    

Re: [Haskell-cafe] why doesn't ghc give you a type signature that works ?

2011-05-17 Thread wren ng thornton
On 5/17/11 11:53 PM, KC wrote: If you're importing the module as import qualified Math.FFT as FFT Shouldn't Math.FFT become FFT? :) Nope. Depending on your definition of should at least. Hierarchical modules are not considered entities exported by modules further up on the tree. So