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