13 Jul
2008
13 Jul
'08
2:20 p.m.
On Sun, Jul 13, 2008 at 8:07 PM, David Bremner
I don't know whether this is a bug in fgl, in ghc, or I'm just confused. Any ideas? This is on debian/sid.
GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help Loading package base ... linking ... done. Prelude> import Data.Graph.Inductive.Example Prelude Data.Graph.Inductive.Example> star 6
The type of star is polymorphic:
:t star star :: (Graph gr) => Int -> gr () ()
Haskell does not know what type to pick for gr; there is no context from which it can infer this information. So you need to specify explicitly:
star 6 :: Gr () () -- works
Luke