Re: Profiling yi

2008-12-21 Thread Kalman Noel
Gwern Branwen wrote: > On Sun, Dec 21, 2008 at 11:26 AM, Kalman Noel wrote: >> Here's how one, with the two recent HConf patches, should be able to >> profile yi when not using -fhacking. [...] > Perhaps you could add that to the README or the wiki FAQ? As for the README file, done. I decided to

Re: Profiling yi

2008-12-21 Thread Gwern Branwen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 On Sun, Dec 21, 2008 at 11:26 AM, Kalman Noel wrote: -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEAREKAAYFAklOd6oACgkQvpDo5Pfl1oIAEACcCzIDg3SAHlJ/SoJpSHiJ6BvQ ansAn2DSVF6w+c9LvS5CWFaBeBZ+9JRj =PAPh -END PGP SIGNATURE

Re: Profiling yi

2008-12-21 Thread Kalman Noel
Gwern Branwen wrote: > How does one now profile darcs Yi? Here's how one, with the two recent HConf patches, should be able to profile yi when not using -fhacking. (1) Compile yi with appropriate profiling options, i.e. as the prof rule in the Makefile says (only without -fhacking, ob

Re: Profiling yi

2008-12-20 Thread Gwern Branwen
- > > Gwern Branwen: >> OK, Kalman. With the recent activity, what's the latest story on this >> principled way of profiling Yi? > > I don't quite get what your question's about (as a man from > the continent, you know...) Are you asking what results

Re: Profiling yi

2008-12-20 Thread Kalman Noel
Gwern Branwen: > OK, Kalman. With the recent activity, what's the latest story on this > principled way of profiling Yi? I don't quite get what your question's about (as a man from the continent, you know...) Are you asking what results

Re: Profiling yi

2008-12-20 Thread Gwern Branwen
c-options patch. > > Regards, > > Kalman OK, Kalman. With the recent activity, what's the latest story on this principled way of profiling Yi? -- gwern --~--~-~--~~~---~--~~ Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel -~--~~~~--~~--~--~---

Re: Profiling yi

2008-12-16 Thread Kalman Noel
Hi Gwern, > I'm a little confused here. How do OPTIONS_GHC pragmas help? I've > tried with darcs yi as of a minute or two ago, and lines like '{-# > OPTIONS -prof #-}' or '{-# OPTIONS_GHC -auto-all -caf-all #-}' (from > http://www.haskell.org/ghc/docs/latest/html/users_guide/flag-reference.html#i

Re: Profiling yi

2008-12-14 Thread Gwern Branwen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 On Sun, Dec 14, 2008 at 12:24 PM, Kalman Noel wrote: -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEAREKAAYFAklFUyMACgkQvpDo5Pfl1oJP2wCfb68FSTrNwNerOiVoSyw9mQc1 m78An121Op2Uei3tBMRrkpmsjt03kgOh =HmV9 -END PGP SIGNATURE

Re: Profiling yi

2008-12-14 Thread Kalman Noel
jeanphilippe.berna...@gmail.com: > Yes, in fact I managed to do so just now. > > approximately by: > > make prof-config > dist/build/yi/yi +RTS -p > cat yi.prof I finally found out what I did wrong: I simply forgot to 'cabal clean' when reconfiguring (I had configured without -fhacking previous

Re: Profiling yi

2008-12-09 Thread Kalman Noel
ll come back to investigating this at a later point. Still, has someone on this list already been profiling yi with ghc 6.10? --~--~-~--~~~---~--~~ Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel -~--~~~~--~~--~--~---

Re: Profiling yi

2008-12-07 Thread Jean-Philippe Bernardy
. This is with ghc > 6.10.1. > > Some mails on this list suggest that profiling yi is possible, while I > was told on IRC that the missing profiling output might be some > yi-specific issue. So, what's the story? > I did some profiling some month ago without problem, but this

Profiling yi

2008-12-07 Thread Kalman Noel
Yesterday I built yi with profiling support and hoped to get the usual *.prof and *.hc files (we really need to do more memory profiling!). I got those files - however, they turned out to be empty. This is with ghc 6.10.1. Some mails on this list suggest that profiling yi is possible, while I