[Haskell-cafe] Typechecking Help

Dominic Steinitz dominic.steinitz at blueyonder.co.uk
Mon Jan 2 05:05:04 EST 2006


On Monday 02 Jan 2006 9:52 am, Joel Reymont wrote:
> I had this exact same issue when I swapped e and e1 by mistake.
>
> Does your code work right without the type signature or does it just
> compile?
>
It seems to work ok. I am able to parse an attribute certificate generated by 
a different (java) implementation + the code passes various other tests.

I was curious as to why the type inferencer was giving me a result it then 
wouldn't accept itself.

Dominic.




More information about the Haskell-Cafe mailing list