[darcs-devel] darcs patch: start gadt stuff (and 29 more)

[Jason Dagit]

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 <droundy at darcs.net> 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 <droundy at darcs.net>
>   * start gadt stuff
>
> Wed May 30 10:01:00 PDT 2007  David Roundy <droundy at darcs.net>
>   * use more expressive types than tuples
>
> Wed May 30 12:40:23 PDT 2007  David Roundy <droundy at darcs.net>
>   * clean up ordered data types
>
> Tue Jun 12 13:16:46 PDT 2007  Jason Dagit <dagit at codersbase.com>
>   * Commute has arguments backwards
>
> Tue Jun 12 16:40:42 PDT 2007  Jason Dagit <dagit at codersbase.com>
>   * Step 2 of gadts refactor
>
> Tue Jun 12 20:01:37 PDT 2007  David Roundy <droundy at darcs.net>
>   * make Ordered compile with gadt witnesses.
>
> Tue Jun 12 21:02:31 PDT 2007  David Roundy <droundy at darcs.net>
>   * make gadt witnesses work with Core.
>
> Wed Jun 13 13:36:23 PDT 2007  David Roundy <droundy at darcs.net>
>   * improve type of commute_to_end
>
> Wed Jun 13 14:15:10 PDT 2007  David Roundy <droundy at darcs.net>
>   * gadtize Show
>
> Wed Jun 13 17:14:25 PDT 2007  David Roundy <droundy at darcs.net>
>   * gadtize (File/Dir)PatchType
>
> Wed Jun 13 17:44:07 PDT 2007  David Roundy <droundy at darcs.net>
>   * export MyEq class
>
> Wed Jun 13 18:19:16 PDT 2007  David Roundy <droundy at darcs.net>
>   * fix bug in context of :<
>
> Thu Jun 14 14:24:56 PDT 2007  David Roundy <droundy at darcs.net>
>   * make EqCheck derive Show.
>
> Thu Jun 14 16:54:40 PDT 2007  David Roundy <droundy at darcs.net>
>   * convert Commute to gadts.
>
> Thu Jun 14 17:28:30 PDT 2007  David Roundy <droundy at darcs.net>
>   * cannot derive instances for gadts.
>
> Thu Jun 14 17:45:52 PDT 2007  David Roundy <droundy at darcs.net>
>   * make Commute work again with witnesses.
>
> Thu Jun 14 17:51:40 PDT 2007  David Roundy <droundy at darcs.net>
>   * test gadt witnesses a bit
>
> Thu Jun 14 18:19:57 PDT 2007  David Roundy <droundy at darcs.net>
>   * fix gadts in Viewing
>
> Thu Jun 14 13:57:38 PDT 2007  Jason Dagit <dagit at codersbase.com>
>   * Implement Conflicted patches.
>
> Thu Jun 14 14:55:09 PDT 2007  Jason Dagit <dagit at codersbase.com>
>   * Implement read/show of Conflicted patches.
>
> Thu Jun 14 16:02:16 PDT 2007  Jason Dagit <dagit at codersbase.com>
>   * fixed conflicts
>
> Thu Jun 14 17:25:03 PDT 2007  Jason Dagit <dagit at codersbase.com>
>   * added filterE
>
> Thu Jun 14 17:37:33 PDT 2007  Jason Dagit <dagit at codersbase.com>
>   * fixed conflict
>
> Thu Jun 14 17:37:57 PDT 2007  Jason Dagit <dagit at codersbase.com>
>   * conflicted commute now uses filterE
>
> Thu Jun 14 18:30:22 PDT 2007  Jason Dagit <dagit at codersbase.com>
>   * Changed Patch to GADTs notation
>
> Fri Jun 15 08:28:47 PDT 2007  David Roundy <droundy at darcs.net>
>   * when using type witnesses, always compile with -fglasgow-exts.
>
> Fri Jun 15 08:30:19 PDT 2007  David Roundy <droundy at darcs.net>
>   * fix type signature of ||| in Commute.lhs.
>
> Fri Jun 15 12:47:04 PDT 2007  David Roundy <droundy at darcs.net>
>   * fix Jason's code to work with gadts.
>
> Fri Jun 15 13:47:31 PDT 2007  David Roundy <droundy at darcs.net>
>   * Make Read work with gadts.
>
> Fri Jun 15 14:46:13 PDT 2007  David Roundy <droundy at darcs.net>
>   * Make all of Patch work with gadts.
>
>
> _______________________________________________
> darcs-devel mailing list
> darcs-devel at darcs.net
> http://lists.osuosl.org/mailman/listinfo/darcs-devel
>
>
>