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

Jason Dagit dagit at codersbase.com
Tue Jun 12 13:21:20 PDT 2007


David and I were looking over the GADT refactorings and discovered
that the original refactor reversed the context of the patches given
to commute.  This should fix that reversal.

Let me know if you have any questions.

Thanks,
Jason

On 6/12/07, Jason Dagit <dagit at codersbase.com> wrote:
> 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
>
> Tue Jun 12 13:16:46 PDT 2007  Jason Dagit <dagit at codersbase.com>
>   * Commute has arguments backwards
>
> _______________________________________________
> darcs-devel mailing list
> darcs-devel at darcs.net
> http://lists.osuosl.org/mailman/listinfo/darcs-devel
>
>
>


More information about the darcs-devel mailing list