At 2001-09-29 09:11, Mike Gunter wrote:

There does not seem to be a way to do everything I'd like in GHC even in its most permissive mode (I'm using "-fallow-overlapping-instances -fallow-undecidable-instances".) In particular, I'd like to use bare integer literals together with values of the types I define.

Do you have a code example of what you're trying to do? -- Ashley Yakeley, Seattle WA