Re: darcs patch: HConf: implement --ghc-options

2008-12-20 Thread Jeff Wheeler
On Dec 20, 2:13 pm, Kalman Noel wrote: > Ahem. I resent the patch, this time completely (or so I hope). I just pushed the patch. Thanks! Jeff Wheeler --~--~-~--~~~---~--~~ Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-de

Re: darcs patch: HConf: implement --ghc-options

2008-12-20 Thread Kalman Noel
Jeff Wheeler: > On Dec 16, 1:00 pm, Kalman Noel wrote: >> Tue Dec 16 19:59:41 CET 2008 Kalman Noel >> >> * HConf: implement --ghc-options >> >> This enables the user to pass flags to the compiler when >> reloading the >> configuration. The motivation was enabling profiling, but it may

darcs patch: HConf: implement --ghc-options

2008-12-20 Thread Kalman Noel
Sat Dec 20 19:57:08 CET 2008 Kalman Noel * HConf: implement --ghc-options This enables the user to pass flags to the compiler when reloading the configuration. The motivation was enabling profiling, but it may have other uses. Notes: * In order to profit from --ghc-options=

Re: darcs patch: HConf: implement --ghc-options

2008-12-20 Thread Jeff Wheeler
On Dec 16, 1:00 pm, Kalman Noel wrote: > Tue Dec 16 19:59:41 CET 2008  Kalman Noel >   * HConf: implement --ghc-options > >   This enables the user to pass flags to the compiler when reloading the >   configuration. The motivation was enabling profiling, but it may have other >   uses. This is

darcs patch: HConf: implement --ghc-options

2008-12-16 Thread Kalman Noel
Tue Dec 16 19:59:41 CET 2008 Kalman Noel * HConf: implement --ghc-options This enables the user to pass flags to the compiler when reloading the configuration. The motivation was enabling profiling, but it may have other uses. Notes: * In order to profit from --ghc-options=

darcs patch: HConf: implement --ghc-options

2008-12-16 Thread Kalman Noel
Tue Dec 16 19:38:30 CET 2008 Kalman Noel * HConf: implement --ghc-options This enables the user to pass flags to the compiler when reloading the configuration. The motivation was enabling profiling, but it may have other uses. Notes: * In order to profit from --ghc-options=