Snippets Groups Projects

Forked from Glasgow Haskell Compiler / GHC

31705 commits behind the upstream repository.

Major Call Arity rework

Joachim Breitner authored 11 years ago

This patch improves the call arity analysis in various ways.

Most importantly, it enriches the analysis result information so that
when looking at a call, we do not have to make a random choice about
what side we want to take the information from. Instead we can combine
the results in a way that does not lose valuable information.

To do so, besides the incoming arities, we store remember "what can be
called with what", i.e. an undirected graph between the (interesting)
free variables of an expression. Of course it makes combining the
results a bit more tricky (especially mutual recursion), but still
doable.

The actually implemation of the graph structure is abstractly put away
in a module of its own (UnVarGraph.hs)

The implementation is geared towards efficiently representing the graphs
that we need (which can contain large complete and large complete
bipartite graphs, which would be huge in other representations). If
someone feels like designing data structures: There is surely some
speed-up to be obtained by improving that data structure.

Additionally, the analysis now takes into account that if a RHS stays a
thunk, then its calls happen only once, even if the variables the RHS is
bound to is evaluated multiple times, or is part of a recursive group.

cb8a63cb

cb8a63cb 11 years ago

Name	Last commit	Last update
bindisttest
compiler
distrib
docs
driver
ghc
includes
libffi
libraries
mk
rts
rules
testsuite
utils
.gitignore
.gitmodules
.mailmap
ANNOUNCE
HACKING.md
LICENSE
MAKEHELP
Makefile
README.md
SUBMAKEHELP
aclocal.m4
boot
config.guess
config.sub
configure.ac
ghc.mk
install-sh
packages
settings.in
sync-all
tarballs
validate

The Glasgow Haskell Compiler

This is the source tree for GHC, a compiler and interactive environment for the Haskell functional programming language.

For more information, visit GHC's web site.

Information for developers of GHC can be found on the GHC Trac.

Getting the Source

There are two ways to get a source tree:

Download source tarballs

Download the GHC source distribution:

    ghc-<version>-src.tar.bz2

which contains GHC itself and the "boot" libraries.

Check out the source code from git

First clone the GHC github read-only repository:

    $ git clone git://github.com/ghc/ghc.git

Then run the sync-all script in that repository to get the other repositories:

    $ cd ghc
    $ ./sync-all get

This checks out the "boot" packages.

DO NOT submit pull request directly to the github repo. See the GHC developer team's working conventions re contributing patches.

Building & Installing

For full information on building GHC, see the [GHC Building Guide] 3. Here follows a summary - if you get into trouble, the Building Guide has all the answers.

Before building GHC you may need to install some other tools and libraries. See, [Setting up your system for building GHC] 8.

NB. In particular, you need [GHC] 1 installed in order to build GHC, because the compiler is itself written in Haskell. You also need [Happy] 4, [Alex] 5, and [Cabal] 9. For instructions on how to port GHC to a new platform, see the [GHC Building Guide] 3.

For building library documentation, you'll need [Haddock] 6. To build the compiler documentation, you need a good DocBook XML toolchain and dblatex.

Quick start: the following gives you a default build:

$ perl boot
$ ./configure
$ make         # can also say 'make -jX' for X number of jobs
$ make install

(NB: Do you have multiple cores? Be sure to tell that to make! This can save you hours of build time depending on your system configuration, and is almost always a win regardless of how many cores you have. As a simple rule, you should have about N+1 jobs, where N is the amount of cores you have.)

The perl boot step is only necessary if this is a tree checked out from git. For source distributions downloaded from [GHC's web site] 1, this step has already been performed.

These steps give you the default build, which includes everything optimised and built in various ways (eg. profiling libs are built). It can take a long time. To customise the build, see the file HACKING.

Once you have a build you need to keep it going. You need to keep all repos in sync with the [sync-all script] 7. To get the latest changes:

$ ./sync-all pull
$ ./sync-all get

Filing bugs and feature requests

If you've encountered what you believe is a bug in GHC, or you'd like to propose a feature request, please let us know! Submit a ticket in our [bug tracker] 10 and we'll be sure to look into it. Remember: Filing a bug is the best way to make sure your issue isn't lost over time, so please feel free.

If you're an active user of GHC, you may also be interested in joining the [glasgow-haskell-users] 11 mailing list, where developers and GHC users discuss various topics and hang out.

Hacking & Developing GHC

Once you've filed a bug, maybe you'd like to fix it yourself? That would be great, and we'd surely love your company! If you're looking to hack on GHC, check out the guidelines in the HACKING.md file in this directory - they'll get you up to speed quickly.

Contributors & Acknowledgements

GHC in its current form wouldn't exist without the hard work of [its many contributors] 12. Over time, it has grown to include the efforts and research of many institutions, highly talented people, and groups from around the world. We'd like to thank them all, and invite you to join!