Re: Anybody using the "top-down" solver?

2015-11-08 Thread Bardur Arantsson
On 11/09/2015 05:57 AM, Kim-Ee Yeoh wrote: > On Mon, Nov 9, 2015 at 11:29 AM, Bardur Arantsson > wrote: > >> Just to get input from as many people as possible: I was pondering a >> plan for modularizing the solver[1] and wanted to reach as many people >> as possible with my

Re: Anybody using the "top-down" solver?

2015-11-08 Thread Bardur Arantsson
On 11/09/2015 05:57 AM, Kim-Ee Yeoh wrote: > On Mon, Nov 9, 2015 at 11:29 AM, Bardur Arantsson > wrote: > >> Just to get input from as many people as possible: I was pondering a >> plan for modularizing the solver[1] and wanted to reach as many people >> as possible with my

Anybody using the "top-down" solver?

2015-11-08 Thread Bardur Arantsson
Hi all, Just to get input from as many people as possible: I was pondering a plan for modularizing the solver[1] and wanted to reach as many people as possible with my question: Is anybody is still using the top-down solver? Please respond to this list if you are, especially if you're doing

Re: Anybody using the "top-down" solver?

2015-11-08 Thread Kim-Ee Yeoh
On Mon, Nov 9, 2015 at 11:29 AM, Bardur Arantsson wrote: > Just to get input from as many people as possible: I was pondering a > plan for modularizing the solver[1] and wanted to reach as many people > as possible with my question: > >Is anybody is still using the

Re: Anybody using the "top-down" solver?

2015-11-08 Thread Oleg Grenrus
I doubt this list has good coverage. You probably should try haskell-cafe? Another way to put this question: Is anybody is still using GHC 6.x? Cheers, Oleg > On 09 Nov 2015, at 06:29, Bardur Arantsson wrote: > > Hi all, > > Just to get input from as many people as