David, I'm trying to understand your most recent changes but I'm not quite getting the Sealed type. I understand, Sealed (Patch C(x,)) makes the 'y' existentially quantified, which basically hides it, but I don't understand why that's needed. I think the only place I was studying the use so far was in Read.lhs.
Is there a paper or talk I can study to develop a better understanding? Thanks, Jason On 6/15/07, David Roundy <[EMAIL PROTECTED]> wrote:
Hi Eric, This is a rather massive set of patches, which brings you up to our current state of gadt-integration. It also defines the Conflicted patch type, but doesn't create it, so this should be safe. David Tue May 29 18:18:17 PDT 2007 David Roundy <[EMAIL PROTECTED]> * start gadt stuff Wed May 30 10:01:00 PDT 2007 David Roundy <[EMAIL PROTECTED]> * use more expressive types than tuples Wed May 30 12:40:23 PDT 2007 David Roundy <[EMAIL PROTECTED]> * clean up ordered data types Tue Jun 12 13:16:46 PDT 2007 Jason Dagit <[EMAIL PROTECTED]> * Commute has arguments backwards Tue Jun 12 16:40:42 PDT 2007 Jason Dagit <[EMAIL PROTECTED]> * Step 2 of gadts refactor Tue Jun 12 20:01:37 PDT 2007 David Roundy <[EMAIL PROTECTED]> * make Ordered compile with gadt witnesses. Tue Jun 12 21:02:31 PDT 2007 David Roundy <[EMAIL PROTECTED]> * make gadt witnesses work with Core. Wed Jun 13 13:36:23 PDT 2007 David Roundy <[EMAIL PROTECTED]> * improve type of commute_to_end Wed Jun 13 14:15:10 PDT 2007 David Roundy <[EMAIL PROTECTED]> * gadtize Show Wed Jun 13 17:14:25 PDT 2007 David Roundy <[EMAIL PROTECTED]> * gadtize (File/Dir)PatchType Wed Jun 13 17:44:07 PDT 2007 David Roundy <[EMAIL PROTECTED]> * export MyEq class Wed Jun 13 18:19:16 PDT 2007 David Roundy <[EMAIL PROTECTED]> * fix bug in context of :< Thu Jun 14 14:24:56 PDT 2007 David Roundy <[EMAIL PROTECTED]> * make EqCheck derive Show. Thu Jun 14 16:54:40 PDT 2007 David Roundy <[EMAIL PROTECTED]> * convert Commute to gadts. Thu Jun 14 17:28:30 PDT 2007 David Roundy <[EMAIL PROTECTED]> * cannot derive instances for gadts. Thu Jun 14 17:45:52 PDT 2007 David Roundy <[EMAIL PROTECTED]> * make Commute work again with witnesses. Thu Jun 14 17:51:40 PDT 2007 David Roundy <[EMAIL PROTECTED]> * test gadt witnesses a bit Thu Jun 14 18:19:57 PDT 2007 David Roundy <[EMAIL PROTECTED]> * fix gadts in Viewing Thu Jun 14 13:57:38 PDT 2007 Jason Dagit <[EMAIL PROTECTED]> * Implement Conflicted patches. Thu Jun 14 14:55:09 PDT 2007 Jason Dagit <[EMAIL PROTECTED]> * Implement read/show of Conflicted patches. Thu Jun 14 16:02:16 PDT 2007 Jason Dagit <[EMAIL PROTECTED]> * fixed conflicts Thu Jun 14 17:25:03 PDT 2007 Jason Dagit <[EMAIL PROTECTED]> * added filterE Thu Jun 14 17:37:33 PDT 2007 Jason Dagit <[EMAIL PROTECTED]> * fixed conflict Thu Jun 14 17:37:57 PDT 2007 Jason Dagit <[EMAIL PROTECTED]> * conflicted commute now uses filterE Thu Jun 14 18:30:22 PDT 2007 Jason Dagit <[EMAIL PROTECTED]> * Changed Patch to GADTs notation Fri Jun 15 08:28:47 PDT 2007 David Roundy <[EMAIL PROTECTED]> * when using type witnesses, always compile with -fglasgow-exts. Fri Jun 15 08:30:19 PDT 2007 David Roundy <[EMAIL PROTECTED]> * fix type signature of ||| in Commute.lhs. Fri Jun 15 12:47:04 PDT 2007 David Roundy <[EMAIL PROTECTED]> * fix Jason's code to work with gadts. Fri Jun 15 13:47:31 PDT 2007 David Roundy <[EMAIL PROTECTED]> * Make Read work with gadts. Fri Jun 15 14:46:13 PDT 2007 David Roundy <[EMAIL PROTECTED]> * Make all of Patch work with gadts. _______________________________________________ darcs-devel mailing list darcs-devel@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-devel
_______________________________________________ darcs-devel mailing list darcs-devel@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-devel