<div dir="ltr">Hello,<div><br></div><div>I think that the simple type nats solver (branch type-nats-simple) is pretty much ready for merging with HEAD. Should I go ahead and merge it in?</div><div><br></div><div>-Iavor</div>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Sep 12, 2013 at 1:18 PM, Austin Seipp <span dir="ltr"><<a href="mailto:austin@well-typed.com" target="_blank">austin@well-typed.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I think this can definitely be clarified. I'll update the docs a<br>
little later today when I get a chance.<br>
<div><div class="h5"><br>
On Thu, Sep 12, 2013 at 1:35 PM, Simon Peyton-Jones<br>
<<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> wrote:<br>
> Is this something that could be clarified in GHC's documentation? Patch?<br>
><br>
> Simon<br>
><br>
> | -----Original Message-----<br>
> | From: ghc-devs [mailto:<a href="mailto:ghc-devs-bounces@haskell.org">ghc-devs-bounces@haskell.org</a>] On Behalf Of Kazu<br>
> | Yamamoto<br>
> | Sent: 12 September 2013 04:43<br>
> | To: <a href="mailto:glasgow-haskell-users@haskell.org">glasgow-haskell-users@haskell.org</a>; <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
> | Subject: Re: 7.8 Release Update<br>
> |<br>
> | Hi,<br>
> |<br>
> | Now I understand what is right and why I misunderstood.<br>
> |<br>
> | - GHC 7.8 provides three kinds of libraries:<br>
> | - static libraries<br>
> | - dynamic libraries<br>
> | - static libraries for profiling<br>
> | - GHCi uses dynamic libraries.<br>
> | - Programs complied with GHC 7.8 use static libraries.<br>
> | - When a library package is complied, both static one and dynamic<br>
> | one are created.<br>
> | - When "-p" or "--enabling-executable-profiling" are specified to<br>
> | cabal, static libraries for profiling are also created and used.<br>
> |<br>
> | So, we don't have to specify "--enable-shared"/"--disable-shared" to<br>
> | cabal in normal situation.<br>
> |<br>
> | There is no bug. Just I misunderstood.<br>
> |<br>
> | * Why did I misunderstand that programs are linked dynamically?<br>
> |<br>
> | I tried to support GHC 7.8 for doctest. Doctest uses GHCi internally.<br>
> | At the beginning, doctest cannot pass many tests if "--enable-shared"<br>
> | is not specified. This was fixed:<br>
> |<br>
> | <a href="https://github.com/sol/doctest-haskell/issues/58" target="_blank">https://github.com/sol/doctest-haskell/issues/58</a><br>
> |<br>
> | Now, "--enable-shared" is not necessary even for doctest.<br>
> |<br>
> | * Why did I misunderstand that compiling programs for profiling fails?<br>
> |<br>
> | I specified --ghc-options="-prof -fprof-auto". "-prof" lets GHC 7.8<br>
> | to produce both static and dynamic libraries for profiling. This<br>
> | resulted in build failure.<br>
> |<br>
> | Right procedure for profiling are:<br>
> |<br>
> | % cabal install -p --enable-executable-profiling --ghc-options="-fprof-auto" -j3<br>
> |<br>
> | or<br>
> |<br>
> | % cabal install -p --ghc-options="-fprof-auto" --only-dependencies -j3<br>
> | % cabal configure --enable-executable-profiling<br>
> | % cabal build<br>
> |<br>
> | --Kazu<br>
> |<br>
> | > On 09/09/13 08:14, Edward Z. Yang wrote:<br>
> | >> Excerpts from Kazu Yamamoto (山本和彦)'s message of Sun Sep 08<br>
> | >> 19:36:19 -0700 2013:<br>
> | >>> ----<br>
> | >>> % make show VALUE=GhcLibWays<br>
> | >>> make -r --no-print-directory -f <a href="http://ghc.mk" target="_blank">ghc.mk</a> show<br>
> | >>> GhcLibWays="v p dyn"<br>
> | >>> ----<br>
> | >><br>
> | >> Yes, it looks like you are missing p_dyn from this list. I think<br>
> | >> this is a bug in the build system. When I look at <a href="http://ghc.mk" target="_blank">ghc.mk</a><br>
> | >> it only verifies that the p way is present, not p_dyn; and I don't<br>
> | >> see any knobs which turn on p_dyn.<br>
> | >><br>
> | >> However, I must admit to being a little confused; didn't we abandon<br>
> | >> dynamic by default and switch to only using dynamic for GHCi (in which<br>
> | >> case the profiling libraries ought not to matter)?<br>
> | ><br>
> | > I think Kazu is saying that when he builds something with profiling<br>
> | > using cabal-install, it fails because cabal-install tries to build a<br>
> | > dynamic version too. We don't want dyanmic/profiled libraries<br>
> | > (there's no point, you can't load them into GHCi). Perhaps this is<br>
> | > something that needs fixing in cabal-install?<br>
> | ><br>
> | > Cheers,<br>
> | > Simon<br>
> | ><br>
> | _______________________________________________<br>
> | ghc-devs mailing list<br>
> | <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
> | <a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
> _______________________________________________<br>
</div></div>> Glasgow-haskell-users mailing list<br>
> <a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
><br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
--<br>
Austin Seipp, Haskell Consultant<br>
Well-Typed LLP, <a href="http://www.well-typed.com/" target="_blank">http://www.well-typed.com/</a><br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
</font></span></blockquote></div><br></div>