Thank you all for your replies. This is all much more clear now :) - Job
On Tue, Apr 6, 2010 at 7:00 PM, Ross Paterson <r...@soi.city.ac.uk> wrote: > On Tue, Apr 06, 2010 at 05:18:34PM -0400, Job Vranish wrote: > > So in Haskell 98, would the added constraints result in a type error? > > Yes, because the types of the mutually recursive identifiers would be > inferred together without using the type signatures, and then would > fail to match the declared types. > > But then there aren't any implementations of Haskell 98 to test this on. > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe