Re: Is this a bug?

Marc van Dongen= writes: > > : of the report), this means resolving `integral' to be a value of type > : Int. > > I think this ``resolving'' may lead to unwanted results. It took > me quite some time to discover that Integral was resolved to Int > in some program I had. Is there a possibility

Re: Is this a bug?

[snip] : > > module Main( main ) where : > > import List( genericLength ) : > > main = putStr (show integral) >> : > >putStr "\n">> : > >return () : > > where integral = genericLength [] [snip] : This is a legal Haskell program. The (ambiguous) type of `integra

Re: Is this a bug?

Marc van Dongen= writes: > > I suspect the program included below is > incorrect. Nevertheless it compiles fine under > ghc-3.01 patchlevel 0. > > > module Main( main ) where > > import List( genericLength ) > > main = putStr (show integral) >> > >putStr "\n">> > >re

type tags rejected

[redirected from haskell-list] From: Matthias Fischmann <[EMAIL PROTECTED]> Date: Sun, 1 Mar 1998 13:32:28 +0100 (MET) Message-Id: <[EMAIL PROTECTED]> Organization: MPII To: [EMAIL PROTECTED] Subject: type tags rejected Hi all, My problem is about tagging haskell expressions with the types I

Is this a bug?

Hi there, I suspect the program included below is incorrect. Nevertheless it compiles fine under ghc-3.01 patchlevel 0. > module Main( main ) where > import List( genericLength ) > main = putStr (show integral) >> >putStr "\n">> >return () > where integral = gen