On Tue, Feb 23, 2010 at 8:39 PM, Chimpion Chimpion wrote:

Prelude> :d +Monad

<interactive>:1:22:     Couldn't match expected type `String -> IO String'            against inferred type `()'     In the expression: ()     In the expression: () :: String -> IO String     In the definition of `__cmCompileExpr':         __cmCompileExpr = () :: String -> IO String

That is the actual thing.

On 24 February 2010 00:05, Chimpion Chimpion wrote:

...

Could anyone tell me why this might be happening? I was trying to add some modules to the GHCi(:d +...).

    Couldn't match expected type `String -> IO String'            against inferred type `()'     In the expression: ()     In the expression: () :: String -> IO String     In the definition of `__cmCompileExpr':         __cmCompileExpr = () :: String -> IO String

Thank you.

Try :m +Control.Monad (if it is the same)

Oh alright. I was doing the wrong thing. Sorry for the bother. Thank you. On 24 February 2010 00:12, Jorden Mauro wrote:

On Tue, Feb 23, 2010 at 1:39 PM, Chimpion Chimpion wrote:

...

Prelude> :d +Monad

<interactive>:1:22: Couldn't match expected type `String -> IO String' against inferred type `()' In the expression: () In the expression: () :: String -> IO String In the definition of `__cmCompileExpr': __cmCompileExpr = () :: String -> IO String

That is the actual thing.

On 24 February 2010 00:05, Chimpion Chimpion wrote:

...

Could anyone tell me why this might be happening? I was trying to add

some

...

modules to the GHCi(:d +...).

Couldn't match expected type `String -> IO String' against inferred type `()' In the expression: () In the expression: () :: String -> IO String In the definition of `__cmCompileExpr': __cmCompileExpr = () :: String -> IO String

Thank you.

:m +Monad

:d is for something else.

-- What we've got here is a failure to communicate.