search

conal / lambda-ccc

Convert lambda expressions to CCC combinators
Other
146 stars 18 forks source link

Integer version of validated FFT implementation, for debugging. #17

Closed capn-freako closed 9 years ago

capn-freako commented 9 years ago

Hi Conal,

I've taken the now validated code from _ffttest.hs and imported it into TreeTest.hs, converting from Double to Int along the way. As you already know, my attempt to compile this code ran for almost 24 hours and did not complete.

Thanks, -db

conal commented 9 years ago

I've tried this example with rewrite logging turned on. I don't yet know what's causing the extra-long (probably infinite) compilation. However, I'm seeing that we'll need to handle some new primitives. We can add rem and quot on Int, but maybe instead support Float or Double. Would you like to help?

capn-freako commented 9 years ago

Yes, that’d be perfect. (I’ve been teetering on the edge of just diving in and attempting to add Double to your machinery.)

Thanks, -db

On Oct 14, 2015, at 5:07 PM, Conal Elliott notifications@github.com wrote:

I've tried this example with rewrite logging turned on. I don't yet know what's causing the extra-long (probably infinite) compilation. However, I'm seeing that we'll need to handle some new primitives. We can add rem and quot on Int, but maybe instead support Float or Double. Would you like to help?

— Reply to this email directly or view it on GitHub.

conal commented 9 years ago

Great. I just added doc/adding-primitives.md as a starting point for describing how to add primitive operations and types. To prepare for Double, I generalized the numeric prims in commits https://github.com/conal/circat/commit/2df3192f69e546a02c94234f20c5782146f2d8dd and https://github.com/conal/lambda-ccc/commit/3dfac57de19adb99215fcd6c9b19bb7b443dad2e.

How about trying these instructions for adding Double and letting me know where they need more detail?

capn-freako commented 9 years ago

Will do.

On Thu, Oct 15, 2015 at 12:13 PM, Conal Elliott notifications@github.com wrote:

Great. I just added doc/adding-primitives.md as a starting point for describing how to add primitive operations and types. To prepare for Double, I generalized the numeric prims in commits conal/circat@2df3192 https://github.com/conal/circat/commit/2df3192f69e546a02c94234f20c5782146f2d8dd and 3dfac57 https://github.com/conal/lambda-ccc/commit/3dfac57de19adb99215fcd6c9b19bb7b443dad2e .

How about trying these instructions for adding Double and letting me know where they need more detail?

— Reply to this email directly or view it on GitHub https://github.com/conal/lambda-ccc/pull/17#issuecomment-148492096.