Hi,

Ganesh Sittampalam <b...@darcs.net> writes:

resolve issue1896: enable witnesses for library
-----------------------------------------------
> hunk ./darcs.cabal 205
>      hs-source-dirs:   src
>      include-dirs:     src
>  
> +    cpp-options:      -DGADT_WITNESSES=1
One thing occurred to me: how are the library users going to get those
CPP macros? I guess gadt.h is not installed by cabal, is it?

I guess the easiest way out is for the library clients to not use those
funny C(...)/FORALL(...) things. We may need to document that, though,
since darcs itself still needs them, so when people look at darcs code
for example usage, they could become quite confused. Maybe a release
note is appropriate, to this effect?

Other than that, ACK.

Yours,
   Petr.
_______________________________________________
darcs-users mailing list
darcs-users@darcs.net
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to