Hello Austin,
On Sun, Sep 8, 2013 at 4:27 PM, Austin Seipp ase...@pobox.com wrote:
* Iavor Diatchki and SPJ are working together on the type-nats-simple
branch. I believe this will hopefully land in time. Iavor, SPJ - can
you comment here?
I think we are on track to get this done on
Excerpts from Kazu Yamamoto (山本和彦)'s message of Sun Sep 08 19:36:19 -0700 2013:
% make show VALUE=GhcLibWays
make -r --no-print-directory -f ghc.mk show
GhcLibWays=v p dyn
Yes, it looks like you are missing p_dyn from this list. I think
this is a bug in the build system. When I
On Sep 8, 2013, at 7:27 PM, Austin Seipp ase...@pobox.com wrote:
* Pedro and Richard - what's the story on propositional equality,
etc? This is mentioned on the status page[1] but I'm not sure what
else needs to be done. I know Pedro committed the work to make manual
Typeable instances an
Thanks Richard!
On Mon, Sep 9, 2013 at 7:40 AM, Richard Eisenberg e...@cis.upenn.edu wrote:
On Sep 8, 2013, at 7:27 PM, Austin Seipp ase...@pobox.com wrote:
* Pedro and Richard - what's the story on propositional equality,
etc? This is mentioned on the status page[1] but I'm not sure what
Excellent. Simon, are you privvy to this work at all? We lightly
talked about it last week, but I'm not sure if you've reviewed it. Or
perhaps Pedro or someone else could if we have time (I seem to
remember he drew up the initial design points.)
On Sun, Sep 8, 2013 at 11:08 PM, Trevor Elliott
Yes I will try to review it this week. (This is the first time I've had access
to the code.)
Simon
| -Original Message-
| From: Austin Seipp [mailto:ase...@pobox.com]
| Sent: 09 September 2013 16:25
| To: Trevor Elliott
| Cc: Austin Seipp; ghc-d...@haskell.org; glasgow-haskell-
|
Is it OK if I release Cabal-1.18.0.1 on Monday if we want it to ship
with GHC 7.8? 1.18.0.1 is a tiny bugfix release on top of 1.18.0.
On Mon, Sep 9, 2013 at 8:44 AM, Simon Peyton-Jones
simo...@microsoft.com wrote:
Yes I will try to review it this week. (This is the first time I've had
access
I'm in the to field alone. Are you asking me? I have no opinion! But Monday
16 sounds fine to me.
S
| -Original Message-
| From: Johan Tibell [mailto:johan.tib...@gmail.com]
| Sent: 09 September 2013 17:40
| To: Simon Peyton-Jones
| Cc: Austin Seipp; Trevor Elliott;
Herbert brought this question to my attention earlier - what's the
cutoff date for boot libraries?
IMO, I think boot library updates can happen until the actual branch
in Oct. I'm planning on pushing the Applicative-Monad patch today,
which will require some upstream coordination as well,
I think Kazu is saying that when he builds something with profiling
using cabal-install, it fails because cabal-install tries to build a
dynamic version too. We don't want dyanmic/profiled libraries (there's
no point, you can't load them into GHCi). Perhaps this is something
that needs
Hi,
On Mon, Sep 9, 2013 at 10:11 PM, Simon Marlow marlo...@gmail.com wrote:
I think Kazu is saying that when he builds something with profiling using
cabal-install, it fails because cabal-install tries to build a dynamic
version too. We don't want dyanmic/profiled libraries (there's no
Hello Mikhail,
It is a known issue that Template Haskell does not work with profiling (because
GHCi and profiling do not work together, and TH uses GHCi's linker). [1]
Actually,
with the new linker patches that are landing soon we are not too far off from
having this work.
Edward
[1]
Hi,
On Mon, Sep 9, 2013 at 11:21 PM, Edward Z. Yang ezy...@mit.edu wrote:
Hello Mikhail,
It is a known issue that Template Haskell does not work with profiling
(because
GHCi and profiling do not work together, and TH uses GHCi's linker). [1]
Actually,
with the new linker patches that are
On 09/09/13 08:14, Edward Z. Yang wrote:
Excerpts from Kazu Yamamoto (山本和彦)'s message of Sun Sep 08 19:36:19 -0700 2013:
% make show VALUE=GhcLibWays
make -r --no-print-directory -f ghc.mk show
GhcLibWays=v p dyn
Yes, it looks like you are missing p_dyn from this list. I think
this
On Mon, Sep 9, 2013 at 1:14 PM, Edward Z. Yang ezy...@mit.edu wrote:
I think Kazu is saying that when he builds something with profiling
using cabal-install, it fails because cabal-install tries to build a
dynamic version too. We don't want dyanmic/profiled libraries (there's
no point, you
Hi,
Kazu (or someone else), can you please file a ticket on the Cabal bug
tracker [1] if you think that this a Cabal bug?
I'm not completely sure yet.
GHCi 7.8 uses dynamic linking. This is true.
So, what is a consensus for GHC 7.8 and cabal-install 1.18? Are they
supposed to use dynamic
If I am building some Haskell executable using 'cabal build', the
result should be *statically linked* by default.
However, subtly, if I am building a Haskell library, I would like to
be able to load the compiled version into GHCi.
So it seems to me cabal should produce v, dyn (libs only, not
That sounds terrible expensive to do on every `cabal build` and its a
cost most users won't understand (what was broken before?).
On Mon, Sep 9, 2013 at 4:06 PM, Edward Z. Yang ezy...@mit.edu wrote:
If I am building some Haskell executable using 'cabal build', the
result should be *statically
Erm, I forgot to mention that profiling would only be enabled if
the user asked for it.
Yes, we will be producing two sets of objects by default. This is what
the -dynamic-too flag is for, no? I suppose you could try to compile
your static executables using -fPIC, but that would negate the
Template Haskell *does* work with profiling, you just have to compile the
code without profiling first (Cabal knows how to do this and does it
automatically).
The big obstacles to loading profiled code into ghci are (a) lack of
support in the byte code compiler and interpreter and (b) ghci itself
20 matches
Mail list logo