Advertisement
Guest User

Untitled

a guest
Jan 26th, 2014
39
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.69 KB | None | 0 0
  1. 14:46 -!- Irssi: #darcs: Total of 39 nicks (0 ops, 0 halfops, 0 voices, 39 normal)
  2. 14:46 -!- Irssi: Join to #darcs was synced in 60 secs
  3. 14:47 < Heffalump> I think we now generate a Version.hs file directly so maybe the pre-processor macro is obsolete
  4. 14:47 < notdan_> Sorry I am not as proficient in Darcs as I want to be and I no nothing about darcs codebase
  5. 14:47 < Heffalump> looks like a space escaping bug in that wrapper though
  6. 14:48 < notdan_> is the bespoke Setup.lhs is actually necessary?
  7. 14:48 < Heffalump> we're gradually removing stuff from it
  8. 14:48 < Heffalump> but I think it does do somet stuff that needs replacing carefully
  9. 14:50 < notdan_> I see, thanks
  10. 14:50 < notdan_> I'll leave a comment on the script's page
  11. 14:51 < Heffalump> ok, found it, I think it's definitely dead
  12. 14:51 < Heffalump> I mean found a patch where the mechanism was rewritten
  13. 14:52 < Heffalump> do you want to send in a patch for darcs removing that? Unfortunately looks like PACKAGE_VERSION is still used in one place.
  14. 14:53 < notdan_> Well I am not subscribed to the devel mailing list, I assume that's where you have to send patches?
  15. 14:56 < Heffalump> if you use darcs send they'll go into the tracker automatically
  16. 14:56 < Heffalump> if you don't have working local email email the .dpatch as an attachment to patches@darcs.net and it'll have the same effect
  17. 14:57 < notdan_> Ok, I'll give it a try
  18. 14:58 < notdan_> so 'generateVersionModule' is no longer needed?
  19. 14:58 -!- stepkut` is now known as stepkut
  20. 15:00 < Heffalump> I doubt that, isn't that the new mechanism?
  21. 15:00 < Heffalump> yes, I think it is
  22. 15:04 < notdan_> oh sorry, I mixed it all up
  23. 15:06 < notdan_> thanks for clarifications Heffalump
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement