chessguy | ?seen procyon112 |

lambdabot | I saw procyon112 leaving #gentoo-haskell and #haskell 1d 8m 11s ago, and . |

wy | Is there a cube root function? |

SamB_XP | > 27 ** (1/3) |

ddarius | (**(1/3)) |

lambdabot | 3.0 |

dmwit | > 27 ^^ (1/3) |

lambdabot | Add a type signature |

dmwit | :t (^^) |

lambdabot | forall a b. (Integral b, Fractional a) => a -> b -> a |

mainland_ | i'm having a hard time figuring out how to use the profiler i have a 4-lien function that takes up about 50% of my run-time |

ddarius | mainland_: You've RTFM? |

SamB_XP | mainland_: what have you figured out so far? did you read about all the profiling-related compiler options? |

mainland_ | well, i turned on -auto-all yes, i did i added cost centers to all 4 expressions in my 4-line function just for kicks |

SamB_XP | oh? |

mainland_ | and yet 50% still sits in the "individual" time column |

Cale | How many entries? |

mainland_ | 1 |

Cale | hmm, okay |

mainland_ | space leak whose thunks all get collapsed? |

Cale | mm, I don't know. I think it attributes time to the thing which is creating the thunks in that case. |

wy | How about cube root into complex numbers? |

SamB_XP | hmm? |

Cale | What is the code doing? |

SamB_XP | you want the *other* cube roots? |

mainland_ | all the other profiling numbers make sense and are broken down nicely, but this one function that doesn't do anything "owns" 50% of my runtime |

ddarius | :t exp |

lambdabot | forall a. (Floating a) => a -> a |

wy | SamB_XP: yes. Just for test. |

mainland_ | it's a theorem prover heavy use of LogicT |

Cale | wy: x**(1/3) ? |

dmwit | > (3 :+ 4) ^ (1/3) -- ? |

lambdabot | Add a type signature |

dmwit | :t (:+) |