On Tue, Sep 30, 2008 at 12:17 PM, Simon Michael <[EMAIL PROTECTED]> 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
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
