Oh, and of course, Edsko and Luite have made the final changes to
their hooks patch, and as far as I can tell, all our potential users
are quite happy! I've already given them an exception as well. I
expect I will merge it in the next day or two, after another code
review.
On Mon, Sep 16, 2013 at
Friends,
The time is here! We'll be closing off new features this week. There
are some exceptions that have been made already:
* Geoffrey will get SIMD/Template Haskell in this week, as he's been
a little busy. But it's very close.
* I believe Trevor and Iavor would still like to get Kinds
Actually, the situation is pretty bad on Windows, where dynamic-too
does not work.
Edward
Excerpts from Edward Z. Yang's message of Mon Sep 09 16:29:38 -0700 2013:
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
| also helps keep the history clean. An easy way to do this is:
|
| $ git checkout master
| $ git merge --squash type-nats-simple
Does that make One Patch with a single coherent message, abandoning all the
intermediate commit messages on type-nats-simple? I hope so.
Simon
Yep. It will basically add all of your changes into the current branch
like you did a real merge, but it just does not commit the result. If
you 'git merge --squash', and then 'git status', you can see the
changed files are ready to be committed, and you can commit them with
one Big Commit.
The
| Subject: Re: 7.8 Release Update
|
| Hi,
|
| Now I understand what is right and why I misunderstood.
|
| - GHC 7.8 provides three kinds of libraries:
| - static libraries
| - dynamic libraries
| - static libraries for profiling
| - GHCi uses dynamic libraries.
| - Programs
documentation?
Patch?
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of
Kazu
| Yamamoto
| Sent: 12 September 2013 04:43
| To: glasgow-haskell-users@haskell.org; ghc-d...@haskell.org
| Subject: Re: 7.8 Release Update
-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Kazu
| Yamamoto
| Sent: 12 September 2013 04:43
| To: glasgow-haskell-users@haskell.org; ghc-d...@haskell.org
| Subject: Re: 7.8 Release Update
|
| Hi,
|
| Now I understand what is right and why I misunderstood
...@haskell.org] On Behalf Of
Kazu
| Yamamoto
| Sent: 12 September 2013 04:43
| To: glasgow-haskell-users@haskell.org; ghc-d...@haskell.org
| Subject: Re: 7.8 Release Update
|
| Hi,
|
| Now I understand what is right and why I misunderstood.
|
| - GHC 7.8 provides three kinds
Hi,
Now I understand what is right and why I misunderstood.
- GHC 7.8 provides three kinds of libraries:
- static libraries
- dynamic libraries
- static libraries for profiling
- GHCi uses dynamic libraries.
- Programs complied with GHC 7.8 use static libraries.
- When a library
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
...@haskell.org; Simon Peyton-Jones
| Subject: Re: 7.8 Release Update
|
| 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
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-
| us...@haskell.org; Simon Peyton-Jones
| Subject: Re: 7.8 Release Update
-users@haskell.org;
| ghc-d...@haskell.org
| Subject: Re: 7.8 Release Update
|
| 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
Elliott
| Cc: Austin Seipp; ghc-d...@haskell.org; glasgow-haskell-
| us...@haskell.org; Simon Peyton-Jones
| Subject: Re: 7.8 Release Update
|
| 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
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
Friends,
After talking with SPJ, we've decided that the cutoff date for the 7.8
feature window will essentially start on Monday, the 16th. This is the
beginning of the week before ICFP. This is a week from tomorrow.
Afterwords, I suspect we will cut the 7.8 branch in early October (my
notes
Hi Austin,
I would like to ask about profiling and dynamic linking.
If I understand correctly, GHC 7.8 with cabal-install 1.18.x.x uses
dynamic linking by default (except on FreeBSD). But GHC 7.8 provides a
profile library only for static linking. An example is the base
library:
Kazu,
Dynamic should be available with anything, including profiling. This
is probably more an artifact of your mk/build.mk setup.
When you look in there, check carefully which BuildFlavour you have
set. The relevant variable is GhcLibWays. For example,
BuildFlavour=perf will add 'p' which is
Austin,
Dynamic should be available with anything, including profiling. This
is probably more an artifact of your mk/build.mk setup.
My mk/build.mk contains just one line:
InstallExtraPackages = YES
If you have a build tree, you can do:
$ make show VALUE=GhcLibWays
which should print
Hi Austin,
Iavor and I have got the data kinds syntax changes up to date with
master, on the data-kind-syntax branch. The -XDataKinds section of the
manual has been updated to describe the new syntax. During a validate
run, there were some problems building haddock, so I'm going to look
35 matches
Mail list logo
