On Thu, 2005-08-18 at 15:17 +0200, Ketil Malde wrote: > Hi, > > One slight annoyance using Haskell is the inability to load modules > with type problems in the interactive environment (i.e. GHCi). When I > have a type error, it would be nice to have an interactive way to > explore what the compiler thinks about the types involved -- as it is, > I have to resort to adding type signatures more or less at random to > narrow down the problem. > > I'm not sure if it is technically feasible to (partially) load a > module with definitions that fail type checking, but if it were, I > thing it would make developing Haskell programs even nicer :-)
You might be interested in Chameleon: http://www.comp.nus.edu.sg/~sulzmann/chameleon/ especially the type debugger. Bernie. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe