Wish list: expanded defaulting, dependent types, reflection
Ashley Yakeley
ashley@semantic.org
Sat, 29 Sep 2001 16:45:36 -0700
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