On Mon, 2009-02-02 at 21:09 +0100, minh thu wrote:
> Hello,
> 
> With Data.Typeable :
> 
> *Graph> typeRepArgs (typeOf 1)
> []
> *Graph> typeRepArgs (typeOf 'a')
> []
> *Graph> typeRepArgs (typeOf True)
> []
> *Graph> typeRepArgs (typeOf "hello")
> [Char]
> 
> I don't understand why the latter is not []. Could someone explain it ?

Because ("hello" :: [] Char)?

Prelude> :t "hello"
"hello" :: [Char]

jcc


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to