On Mon, Dec 15, 2008 at 17:49:17 +0100, Christian Kellermann wrote: > No it is a programming error uncovered by witnesses... I will amend > my patch.
Cool! Go type witnesses! (and people wonder why we chose Haskell) > Can we enable witness types compilation by default please > :) The only thing we are waiting for is for the whole code to be covered by type witnesses. I think Ganesh said he might try if he had some spare time. Once somebody has had a chance to make type witnesses work for all the modules, we can just get rid of the conditional compilation altogether and make type witnesses for everybody (since we're all using GHC, no surprises of the zlib sort) -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
signature.asc
Description: Digital signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
