> ...
> This gets at the crux of my questions:
>
> - Why can't the compiler tell that (ListT a, Num b) is enough to figure
> out the additional context it seems to need?
>
Most likely, GHC won't "apply"
> instance (ListT a, Eq b) => Eq (a b)
cause of the overlap.
> - Would it be
On Fri, 2 Apr 2004, Simon Peyton-Jones wrote:
> Your word is my command. 'Tis done.
>
> Simon
>
> | -Original Message-
> | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]
> On Behalf Of Wolfgang
> | Jeltsch
> | Sent: 21 March 2004 17:55
> | To: The Haskell Mailing List
> | Subject: [Ha
Hello-
I'm interested in simulating dependent types in haskell, with the aim of
operating on (as Oleg put it) "stanamically" sized lists: types reflect
size constraints, but ultimately need to be resolved from dynamic input.
I have a good handle on how to do this (read on), but I keep running
[ Our apologies for multiple copies. ]
==
3nd International Workshop on
Foundations of Coordination Languages and
Software Architectures
Haskell XML Toolbox 4.00
I would like to announce a new version of the Haskell XML Toolbox for
processing XML including a validating parser and a new XPath module.
new features:
* compiles with ghc version 6.2
* new module structure for input modules
to ease porting to other OS/compilers
