fork download
  1. import Data.Typeable
  2. main = do
  3. let x = 42
  4. putStr(tyConString(typeRepTyCon(typeOf1(map))))
  5.  
Compilation error #stdin compilation error #stdout 0s 0KB
stdin
Standard input is empty
compilation info
[1 of 1] Compiling Main             ( prog.hs, prog.o )

prog.hs:4:35:
    Ambiguous type variable `a' in the constraint:
      `Typeable a' arising from a use of `typeOf1' at prog.hs:4:35-46
    Probable fix: add a type signature that fixes these type variable(s)

prog.hs:4:35:
    Ambiguous type variable `b' in the constraint:
      `Typeable b' arising from a use of `typeOf1' at prog.hs:4:35-46
    Probable fix: add a type signature that fixes these type variable(s)
stdout
Standard output is empty