[darcs-users] Darcs utterly melts my brain: why PatchInfoAnd?

[Jason Dagit]

On Tue, Sep 30, 2008 at 12:17 PM, Simon Michael <simon at joyful.com> wrote:

> How do you parse "p C(x y)" when reading haskell/darcs code ?


We use the CPP macro system to allow us to compile with or without the extra
phantom types.  See the configure option --with-type-witnesses and the
preprocessor define GADT_WITNESSES.  In particular, C() is defined roughly
as follows:

#if GADT_WITNESSES
#define C(a) a
#else
#define C(a)
#endif

I read that as, p with context x to y.

The assumption is that p is either a patch or a sequence of patches.

Hope that helps,
Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.osuosl.org/pipermail/darcs-users/attachments/20080930/83931a71/attachment-0001.htm