Adam Wyner <[EMAIL PROTECTED]> writes:

> I really want to get the following sort of report for the type:
> negationAtomicProps atomicProps1 :: PropList

GHCi seems to get this right.  Is that an option for you?

-k
-- 
If I haven't seen further, it is by standing in the footprints of giants

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to