Re: frantk / overlapping instances

2000-08-31 Thread Johannes Waldmann
> Overlapping instances for class "Bindable" > A suggestion for a direct fix would be nice, run it like this: hugs -h4m -98 +o ... -- -- Johannes Waldmann http://www.informatik.uni-leipzig.de/~joe/ -- -- [EMAIL PROTECTED] -- phone/fax (+49) 341 9732 204/252 -- ===> Drittes Leipziger Jo

Re: inference question

2000-08-31 Thread Brian Boutel
William Lee Irwin III wrote: Example> let x = cmethod . fromNat $ 1 in 0 ERROR: Unresolved overloading *** Type : (Q a, P a) => Integer *** Expression : let {...} in 0 The type of x is t ( for some t in Num) OK. What is t? It's unspecified. You don't actually need it. Too bad. Type infe

inference question

2000-08-31 Thread William Lee Irwin III
> module Example where I'm in a small quandary regarding some properties of instances I don't fully understand. What we have are three interrelated classes: > class P t where > pmethod :: t -> t > class Q t where > qmethod :: t -> t > fromNat :: Integer -> t > class C t where >

simple binary IO proposition.

2000-08-31 Thread John Meacham
Haskell is a wonderful language and i am tempted to use it everywhere but i have had to turn it down for many tasks due to a very simple little shortcoming in the language.. there is no way to communicate with the outside world in any predefined binary format. i am not talking about pickling or pe

frantk / overlapping instances

2000-08-31 Thread Timothy Docker
I'm attempting to play with frantk. I found the same problem mentioned on deja... but no answer... When I try and run the demo under hugs, I get... Reading file "/home/timd/src/haskell/frantk/src/FranTkSrc/WidgetSetImpl.lhs": ERROR "/home/timd/src/haskell/frantk/src/FranTkSrc/WidgetSetImpl