ghc.git
5 years agorts: drop unused 'SpinLockCount' typedef
Sergei Trofimovich [Sat, 19 Jul 2014 04:55:46 +0000 (23:55 -0500)] 
rts: drop unused 'SpinLockCount' typedef

Summary: Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

Test Plan: git grep, git log -SSpinLockCount, build test

Reviewers: austin, simonmar

Reviewed By: austin, simonmar

Subscribers: phaskell, simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D76

5 years agoMake GHCi permissions checks ignore root user.
Mathieu Boespflug [Sat, 19 Jul 2014 04:55:18 +0000 (23:55 -0500)] 
Make GHCi permissions checks ignore root user.

Summary:
As a security precaution, GHCi helpfully refuses to run a .ghci file if it is owned by another user. But if the that other user is root, then arguably GHCi should not refuse to interpret the file, because if root really was malicious, then the user would be having a bad day anyways.
This means that .ghci files installed in a global location, say under /usr/local/, can now be read.

Fixes #9324

Test Plan:
```
$ sudo touch .ghci
$ ghci
```
Notice that the warning about the file being owned by someone else is now gone.

Reviewers: austin

Reviewed By: austin

Subscribers: phaskell, simonmar, carter, nomeata, relrod

Projects: #ghc

Differential Revision: https://phabricator.haskell.org/D75

5 years agofix inconsistency in exported functions from TcSplice.lhs/lhs-boot files when GHCI...
Karel Gardas [Sat, 19 Jul 2014 04:54:52 +0000 (23:54 -0500)] 
fix inconsistency in exported functions from TcSplice.lhs/lhs-boot files when GHCI is not defined

Summary:
This patch fixes inconsistency in exported functions from TcSplice.lhs and TcSplice.lhs-boot
files. It looks like only GHC HEAD is sensitive to it and complains about it while bootstraping
another HEAD. At least this is what happening on Solaris/AMD64 builder machine where GHC 7.9.20140620
is used as a boostrap compiler. The failure does not happen on another builders.

Test Plan: validate

Reviewers: austin

Reviewed By: austin

Subscribers: phaskell, simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D74

5 years agoAdding more parser exports and some documentation.
Andrew Gibiansky [Sat, 19 Jul 2014 04:54:26 +0000 (23:54 -0500)] 
Adding more parser exports and some documentation.

Summary: Add a few exports to be generated by the Happy parser module. Add documentation showing how to use the Happy parser.

Test Plan: Validate

Reviewers: carter, austin

Reviewed By: austin

Subscribers: phaskell, simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D71

5 years agoAdd PolyKinds extension to Data.Monoid
Alexander Berntsen [Sat, 19 Jul 2014 04:53:48 +0000 (23:53 -0500)] 
Add PolyKinds extension to Data.Monoid

Summary:
Carl Howells pointed out[0] that the `Monoid` instance for
`Data.Proxy.Proxy` is only defined for types with kind *.

This is a very mild change. Furthermore, Edward Kmett revealed[1] that
it was supposed to be there all along -- the extension simply got lost
in commit 1d1ff77aaa09efaddc8cfe0dcf92d6763297cf11, as pointed out by
Adam Vogt[2]. This used to be correct in GHC 7.6, so this commit fixes a
regression.

This addresses #9317.

[0] <http://www.haskell.org/pipermail/libraries/2014-July/023261.html>.
[1] <http://www.haskell.org/pipermail/libraries/2014-July/023267.html>.
[2] <http://www.haskell.org/pipermail/libraries/2014-July/023265.html>.

Signed-off-by: Alexander Berntsen <alexander@plaimi.net>
Test Plan: See [0]

Reviewers: austin, hvr, ekmett

Reviewed By: austin, hvr, ekmett

Subscribers: phaskell, simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D70

5 years agotypes: detabify/dewhitespace Kind
Austin Seipp [Sat, 19 Jul 2014 03:32:13 +0000 (22:32 -0500)] 
types: detabify/dewhitespace Kind

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoutils: detabify/dewhitespace Digraph
Austin Seipp [Sat, 19 Jul 2014 03:31:13 +0000 (22:31 -0500)] 
utils: detabify/dewhitespace Digraph

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/CodeGen/Base
Austin Seipp [Sat, 19 Jul 2014 03:30:25 +0000 (22:30 -0500)] 
nativeGen: detabify/dewhitespace SPARC/CodeGen/Base

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/CodeGen/Gen32
Austin Seipp [Sat, 19 Jul 2014 03:30:08 +0000 (22:30 -0500)] 
nativeGen: detabify/dewhitespace SPARC/CodeGen/Gen32

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/CodeGen/Sanity
Austin Seipp [Sat, 19 Jul 2014 03:29:47 +0000 (22:29 -0500)] 
nativeGen: detabify/dewhitespace SPARC/CodeGen/Sanity

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/CodeGen/Expand
Austin Seipp [Sat, 19 Jul 2014 03:29:21 +0000 (22:29 -0500)] 
nativeGen: detabify/dewhitespace SPARC/CodeGen/Expand

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/CodeGen/Amode
Austin Seipp [Sat, 19 Jul 2014 03:29:03 +0000 (22:29 -0500)] 
nativeGen: detabify/dewhitespace SPARC/CodeGen/Amode

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/CodeGen/CondCode
Austin Seipp [Sat, 19 Jul 2014 03:28:40 +0000 (22:28 -0500)] 
nativeGen: detabify/dewhitespace SPARC/CodeGen/CondCode

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/Cond
Austin Seipp [Sat, 19 Jul 2014 03:28:05 +0000 (22:28 -0500)] 
nativeGen: detabify/dewhitespace SPARC/Cond

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/Regs
Austin Seipp [Sat, 19 Jul 2014 03:27:51 +0000 (22:27 -0500)] 
nativeGen: detabify/dewhitespace SPARC/Regs

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/Instr
Austin Seipp [Sat, 19 Jul 2014 03:27:25 +0000 (22:27 -0500)] 
nativeGen: detabify/dewhitespace SPARC/Instr

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/ShortcutJump
Austin Seipp [Sat, 19 Jul 2014 03:27:03 +0000 (22:27 -0500)] 
nativeGen: detabify/dewhitespace SPARC/ShortcutJump

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/Imm
Austin Seipp [Sat, 19 Jul 2014 03:26:33 +0000 (22:26 -0500)] 
nativeGen: detabify/dewhitespace SPARC/Imm

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace SPARC/Stack
Austin Seipp [Sat, 19 Jul 2014 03:26:20 +0000 (22:26 -0500)] 
nativeGen: detabify/dewhitespace SPARC/Stack

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace TargetReg
Austin Seipp [Sat, 19 Jul 2014 03:25:29 +0000 (22:25 -0500)] 
nativeGen: detabify/dewhitespace TargetReg

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace RegClass
Austin Seipp [Sat, 19 Jul 2014 03:25:01 +0000 (22:25 -0500)] 
nativeGen: detabify/dewhitespace RegClass

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace PPC/RegInfo
Austin Seipp [Sat, 19 Jul 2014 03:24:40 +0000 (22:24 -0500)] 
nativeGen: detabify/dewhitespace PPC/RegInfo

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace PPC/Cond
Austin Seipp [Sat, 19 Jul 2014 03:24:16 +0000 (22:24 -0500)] 
nativeGen: detabify/dewhitespace PPC/Cond

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace X86/RegInfo
Austin Seipp [Sat, 19 Jul 2014 03:23:59 +0000 (22:23 -0500)] 
nativeGen: detabify/dewhitespace X86/RegInfo

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace Reg
Austin Seipp [Sat, 19 Jul 2014 03:23:33 +0000 (22:23 -0500)] 
nativeGen: detabify/dewhitespace Reg

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agonativeGen: detabify/dewhitespace Size
Austin Seipp [Sat, 19 Jul 2014 03:22:59 +0000 (22:22 -0500)] 
nativeGen: detabify/dewhitespace Size

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoprelude: detabify/unwhitespace PrelInfo
Austin Seipp [Sat, 19 Jul 2014 03:21:28 +0000 (22:21 -0500)] 
prelude: detabify/unwhitespace PrelInfo

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agomain: detabify/unwhitespace PprTyThing
Austin Seipp [Sat, 19 Jul 2014 03:13:39 +0000 (22:13 -0500)] 
main: detabify/unwhitespace PprTyThing

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoghci: detabify/unwhitespace ByteCodeInstr
Austin Seipp [Sat, 19 Jul 2014 03:12:55 +0000 (22:12 -0500)] 
ghci: detabify/unwhitespace ByteCodeInstr

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoghci: detabify/unwhitespace ByteCodeGen
Austin Seipp [Sat, 19 Jul 2014 03:12:29 +0000 (22:12 -0500)] 
ghci: detabify/unwhitespace ByteCodeGen

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agocmm: detabify/unwhitespace CmmLex
Austin Seipp [Sat, 19 Jul 2014 03:11:28 +0000 (22:11 -0500)] 
cmm: detabify/unwhitespace CmmLex

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agocmm: detabify/unwhitespace CmmInfo
Austin Seipp [Sat, 19 Jul 2014 03:11:08 +0000 (22:11 -0500)] 
cmm: detabify/unwhitespace CmmInfo

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoprofiling: detabify/unwhitespace CostCentre
Austin Seipp [Sat, 19 Jul 2014 03:09:47 +0000 (22:09 -0500)] 
profiling: detabify/unwhitespace CostCentre

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoparser: detabify/dewhitespace cutils.c
Austin Seipp [Sat, 19 Jul 2014 03:09:03 +0000 (22:09 -0500)] 
parser: detabify/dewhitespace cutils.c

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoparser: detabify/dewhitespace Ctype
Austin Seipp [Sat, 19 Jul 2014 03:08:56 +0000 (22:08 -0500)] 
parser: detabify/dewhitespace Ctype

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoghci: detabify/dewhitespace RtClosureInspect
Austin Seipp [Sat, 19 Jul 2014 03:08:43 +0000 (22:08 -0500)] 
ghci: detabify/dewhitespace RtClosureInspect

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoRevert "Update Cabal submodule to HEAD (1.21)"
Edward Z. Yang [Sun, 20 Jul 2014 21:50:44 +0000 (22:50 +0100)] 
Revert "Update Cabal submodule to HEAD (1.21)"

This reverts commit af28e61c7e84b8eb89fdfd9671af83a2a13f554a.
We'll wait until it's possible to bootstrap from 7.6 out of the box.

5 years agoComments only
Simon Peyton Jones [Sun, 20 Jul 2014 20:47:50 +0000 (21:47 +0100)] 
Comments only

5 years agoDocumentation typo
Gabor Greif [Sun, 20 Jul 2014 20:08:48 +0000 (22:08 +0200)] 
Documentation typo

5 years agoDocument OVERLAP pragmas.
Iavor S. Diatchki [Sat, 19 Jul 2014 23:54:35 +0000 (16:54 -0700)] 
Document OVERLAP pragmas.

5 years agotravis: Install process via cabal
Joachim Breitner [Sat, 19 Jul 2014 13:05:53 +0000 (15:05 +0200)] 
travis: Install process via cabal

and install to global data base (bad practice, but ok on a throw-away CI
system).

5 years agoSet i686 as the minimum architecture on 32-bit mingw
niklas [Thu, 17 Jul 2014 19:39:40 +0000 (21:39 +0200)] 
Set i686 as the minimum architecture on 32-bit mingw

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoUpdate Cabal submodule to HEAD (1.21)
Edward Z. Yang [Fri, 18 Jul 2014 16:50:28 +0000 (09:50 -0700)] 
Update Cabal submodule to HEAD (1.21)

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
5 years agoFurther improvements to floating equalities
Simon Peyton Jones [Fri, 18 Jul 2014 08:35:24 +0000 (09:35 +0100)] 
Further improvements to floating equalities

This equality-floating stuff is horribly delicate!  Trac #9316 showed
up yet another corner case.

The main changes are
 * include CTyVarEqs when "growing" the skolem set
 * do not include the kind argument to (~) when growing the skolem set

I added a lot more comments as well

5 years agoComments only
Simon Peyton Jones [Fri, 18 Jul 2014 08:32:46 +0000 (09:32 +0100)] 
Comments only

5 years agoReduce volume of typechecker trace information
Simon Peyton Jones [Fri, 18 Jul 2014 08:32:30 +0000 (09:32 +0100)] 
Reduce volume of typechecker trace information

5 years agoBuild on travis with CPUS=2
Joachim Breitner [Thu, 17 Jul 2014 08:27:25 +0000 (10:27 +0200)] 
Build on travis with CPUS=2

With CPU=3 we are hitting resoure limits (probably memory). With CPU=2
this is less likely to happen. We will get more random timeouts, but
these are more easily spotted, and marked as "Failure", not as "Error".

5 years agoOK, I think we've finally solved granularity.
Edward Z. Yang [Thu, 17 Jul 2014 16:16:55 +0000 (17:16 +0100)] 
OK, I think we've finally solved granularity.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
5 years agoRemove unused parameters in OptCoercion (#9233)
Richard Eisenberg [Thu, 17 Jul 2014 14:06:55 +0000 (10:06 -0400)] 
Remove unused parameters in OptCoercion (#9233)

5 years agoCorrectly round when calculating the deviation
Joachim Breitner [Thu, 17 Jul 2014 11:03:09 +0000 (13:03 +0200)] 
Correctly round when calculating the deviation

5 years agoAdjust a few performance numbers
Joachim Breitner [Thu, 17 Jul 2014 10:58:33 +0000 (12:58 +0200)] 
Adjust a few performance numbers

These did not yet trigger a failure, but are more than 1% away from the
expected value. Since I now start collecting logs to investigate
deviations from the expected value, it makes sense to reset them. This
way we know that every significat deviation was caused since this
commit.

I only updated bytes_allocated numbers, as these are (mostly)
deterministic. Other depend, AFAIK, on sampling timing, so I did not
bother.

5 years agoInclude test case name in performance result
Joachim Breitner [Thu, 17 Jul 2014 09:08:41 +0000 (11:08 +0200)] 
Include test case name in performance result

With THREADS=n, for n > 1, it becomes impossible to match the
performance numbers to the test case name. Hence include it in the
output. This also makes grepping through a bunch of logs for a specific
test case much easier, and outweighs the extra verbosity.

5 years agoTest Trac #9323
Simon Peyton Jones [Thu, 17 Jul 2014 09:01:25 +0000 (10:01 +0100)] 
Test Trac #9323

5 years agoRichards optCoercion improvement made test cases fail the nice way
Joachim Breitner [Thu, 17 Jul 2014 08:46:27 +0000 (10:46 +0200)] 
Richards optCoercion improvement made test cases fail the nice way

This was likely caused by 5e7406d9, which fixed #9233.

5 years agoWorkaround haddock parser error caused by 5e7406d9
Herbert Valerio Riedel [Thu, 17 Jul 2014 07:04:46 +0000 (09:04 +0200)] 
Workaround haddock parser error caused by 5e7406d9

Haddock complains if a comment looks like a misplaced Haddock-comment.
In this case, the comment line starting with `-- *kind* and` looked like a
section-heading to Haddock and caused the following error:

    parse error on input ‘-- *kind* and role of its argument. Luckily, laziness should’

This commit just rewraps the line so that no `*` appear at the start of the
non-Haddock comment lines.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoOptimise optCoercion. (#9233)
Richard Eisenberg [Wed, 16 Jul 2014 16:25:24 +0000 (12:25 -0400)] 
Optimise optCoercion. (#9233)

The old optCoercion (and helper functions) used coercionKind and
coercionRole internally. This was terrible when these had to be
called at *every* point in the coercion tree during the recursive
descent. This is rewritten to avoid such calls.

5 years agoRewrite coercionRole. (#9233)
Richard Eisenberg [Wed, 16 Jul 2014 02:32:29 +0000 (22:32 -0400)] 
Rewrite coercionRole. (#9233)

Summary:
coercionRole is now much more efficient, computing both the coercion's
kind and role together. The previous version calculated them separately,
leading to quite possibly exponential behavior.

This is still too slow, but it's a big improvement.

Test Plan: Evaluate by running the "minimized" test from the Trac ticket.

Reviewers: simonpj, austin

Subscribers: simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D73

5 years agoTry to explain the applicativity problem
Edward Z. Yang [Wed, 16 Jul 2014 11:59:37 +0000 (12:59 +0100)] 
Try to explain the applicativity problem

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
5 years agoImprove documentation of overlapping instances (again)
Simon Peyton Jones [Tue, 15 Jul 2014 16:40:39 +0000 (17:40 +0100)] 
Improve documentation of overlapping instances (again)

Prompted by Trac #9288

5 years agoImprove documentation of :set/:seti
Simon Peyton Jones [Tue, 15 Jul 2014 08:18:05 +0000 (09:18 +0100)] 
Improve documentation of :set/:seti

Prompted by Trac #9299

5 years agoEntirely re-jig the handling of default type-family instances (fixes Trac #9063)
Simon Peyton Jones [Tue, 15 Jul 2014 06:43:55 +0000 (07:43 +0100)] 
Entirely re-jig the handling of default type-family instances (fixes Trac #9063)

In looking at Trac #9063 I decided to re-design the default
instances for associated type synonyms.  Previously it was all
jolly complicated, to support generality that no one wanted, and
was arguably undesirable.

Specifically

* The default instance for an associated type can have only
  type variables on the LHS.  (Not type patterns.)

* There can be at most one default instances declaration for
  each associated type.

To achieve this I had to do a surprisingly large amount of refactoring
of HsSyn, specifically to parameterise HsDecls.TyFamEqn over the type
of the LHS patterns.

That change in HsDecls has a (trivial) knock-on effect in Haddock, so
this commit does a submodule update too.

The net result is good though.  The code is simpler; the language
specification is simpler.  Happy days.

Trac #9263 and #9264 are thereby fixed as well.

5 years agoDefine PrelNames.allNameStrings and use it in TcHsType
Simon Peyton Jones [Tue, 15 Jul 2014 06:39:51 +0000 (07:39 +0100)] 
Define PrelNames.allNameStrings and use it in TcHsType

Refactoring only.

5 years agoWhite space only
Simon Peyton Jones [Wed, 2 Jul 2014 22:08:00 +0000 (23:08 +0100)] 
White space only

5 years agoAdd a clarifying comment about scoping of type variables in associated type decls
Simon Peyton Jones [Wed, 2 Jul 2014 22:05:52 +0000 (23:05 +0100)] 
Add a clarifying comment about scoping of type variables in associated type decls

5 years agoPartially revert 194107ea9333c1d9d61abf307db2da6a699847af
Austin Seipp [Mon, 14 Jul 2014 17:27:58 +0000 (12:27 -0500)] 
Partially revert 194107ea9333c1d9d61abf307db2da6a699847af

This reverts the numbers for T9203.

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoGive performance benchmark deviation also in percents
Joachim Breitner [Mon, 14 Jul 2014 11:30:24 +0000 (13:30 +0200)] 
Give performance benchmark deviation also in percents

this makes it easier to spot a “just over the mark” change (e.g. +5.1%),
compared to a more radical jump (e.g. +15%).

5 years agoNew testsuite verbosity level 4
Joachim Breitner [Mon, 14 Jul 2014 11:29:47 +0000 (13:29 +0200)] 
New testsuite verbosity level 4

which makes it print performance numbers even when the test succeeds
(good for historic analysis)

5 years agoUpdate various performance benchmarks
Joachim Breitner [Mon, 14 Jul 2014 11:02:07 +0000 (13:02 +0200)] 
Update various performance benchmarks

I started monitoring perfomance on a per-commit base. These seem to be
off for a while now. Adjusting them, and from now I hope I can keep
closer tabs on them.

5 years agoFinish TCs section
Edward Z. Yang [Mon, 14 Jul 2014 09:59:47 +0000 (10:59 +0100)] 
Finish TCs section

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
5 years agoType classes
Edward Z. Yang [Fri, 11 Jul 2014 16:13:12 +0000 (17:13 +0100)] 
Type classes

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
5 years agoadd support for x86_64-solaris2 platform
Karel Gardas [Mon, 14 Jul 2014 02:43:20 +0000 (21:43 -0500)] 
add support for x86_64-solaris2 platform

Summary:
this set of patches adds support for x86_64-solaris2 platform
Solaris is multi-lib platform which means it provides 32bit user-land together
with 32bit and 64bit libraries. The 32bit libraries are located in <somewhere>/lib
directories while 64bit libraries are located in <somewhere>/lib/64 directories.
This is why GHCi required the fix since otherwise it'll attempt to load
/usr/lib/libgmp.so which is 32bit library into 64bit binary process space (GHCi).
This of course fails with wrong ELFCLASS32 error message.
Another issue was that by default GNU C distributed with Solaris compiles
into 32bit binary. We need to enforce compilation to 64bit binary
by adding appropriate -m64 option.

Test Plan: already built on x86_64-solaris2

Reviewers: austin

Reviewed By: austin

Subscribers: phaskell, simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D68

5 years agoAcquire all_tasks_mutex in forkProcess
Edsko de Vries [Sun, 13 Jul 2014 20:19:45 +0000 (15:19 -0500)] 
Acquire all_tasks_mutex in forkProcess

Summary: (for the same reason that we acquire all the other mutexes)

Test Plan: validate

Reviewers: simonmar, austin, duncan

Reviewed By: simonmar, austin, duncan

Subscribers: simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D60

5 years agoAvoid deadlock in freeTask (called by forkProcess)
Edsko de Vries [Sun, 13 Jul 2014 20:19:39 +0000 (15:19 -0500)] 
Avoid deadlock in freeTask (called by forkProcess)

Summary: Documented in more detail inline with the change.

Test Plan: validate

Reviewers: austin, simonmar, duncan

Reviewed By: austin, simonmar, duncan

Subscribers: simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D59

5 years agoFix ghci tab completion of duplicate identifiers.
Shachaf Ben-Kiki [Sun, 13 Jul 2014 20:19:33 +0000 (15:19 -0500)] 
Fix ghci tab completion of duplicate identifiers.

Summary:
Currently, if the same identifier is imported via multiple modules, ghci
shows multiple completions for it. Use the nub of the completions
instead so that it only shows up once.

Signed-off-by: Shachaf Ben-Kiki <shachaf@gmail.com>
Test Plan: by hand

Reviewers: simonmar, austin, hvr

Reviewed By: austin, hvr

Subscribers: hvr, simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D58

5 years agoTypo in comment
Gabor Greif [Sun, 13 Jul 2014 09:52:17 +0000 (11:52 +0200)] 
Typo in comment

5 years agoTest case for #9305
Joachim Breitner [Sat, 12 Jul 2014 22:27:54 +0000 (00:27 +0200)] 
Test case for #9305

5 years agointeger-gmp: tweak gitignore.
Austin Seipp [Sat, 12 Jul 2014 21:18:03 +0000 (16:18 -0500)] 
integer-gmp: tweak gitignore.

Auditors: hvr

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agotestsuite: Tweak T6048 bounds
Austin Seipp [Sat, 12 Jul 2014 20:13:59 +0000 (15:13 -0500)] 
testsuite: Tweak T6048 bounds

Summary:
This should fix the Harbormaster builds; the bounds are just a little too narrow.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Test Plan: Harbormaster should build successfully.

Reviewers: simonmar

Subscribers: phaskell, simonmar, relrod, carter

Projects: #ghc

Differential Revision: https://phabricator.haskell.org/D65

5 years agoAdd travis-ci badge
Gabor Greif [Sat, 12 Jul 2014 17:59:37 +0000 (19:59 +0200)] 
Add travis-ci badge

5 years agoFix note spelling
Gabor Greif [Sat, 12 Jul 2014 15:15:38 +0000 (17:15 +0200)] 
Fix note spelling

5 years agoRectify some panic messages
Gabor Greif [Sat, 12 Jul 2014 15:12:10 +0000 (17:12 +0200)] 
Rectify some panic messages

5 years agoTypoes in comments
Gabor Greif [Sat, 12 Jul 2014 09:36:02 +0000 (11:36 +0200)] 
Typoes in comments

5 years agoFix comment
Gabor Greif [Sat, 12 Jul 2014 09:21:47 +0000 (11:21 +0200)] 
Fix comment

5 years agoActivate tab checks
Gabor Greif [Sat, 12 Jul 2014 09:20:31 +0000 (11:20 +0200)] 
Activate tab checks

5 years agoM-x untabify
Gabor Greif [Sat, 12 Jul 2014 09:19:58 +0000 (11:19 +0200)] 
M-x untabify

5 years agoAdd a .travis.yml file
Joachim Breitner [Sat, 12 Jul 2014 11:58:09 +0000 (13:58 +0200)] 
Add a .travis.yml file

This is a reduced build that should finish within the 50 minute time
limit most of the time. In particular,
 * it skips DPH
 * it does not build dynamic libraries and no dynamic executables
 * does not build haddock or generate documentation
 * only runs fast tests, and no performance tests

You can see its results at
https://travis-ci.org/ghc/ghc/builds

5 years agoDeclare official github home of libraries/unix
Herbert Valerio Riedel [Fri, 11 Jul 2014 17:36:26 +0000 (19:36 +0200)] 
Declare official github home of libraries/unix

Effective immediately, pushing to libraries/unix requires pushing to
ssh://git@github.com/haskell/unix.git. This done now even though there's
no scripted tooling yet as the GitHub repo is already receiving pull requests
(which are getting merged)

5 years agoComments only
Jan Stolarek [Fri, 11 Jul 2014 12:33:38 +0000 (14:33 +0200)] 
Comments only

5 years agoRemove unused parameter in rnHsTyVar
Jan Stolarek [Fri, 11 Jul 2014 12:25:27 +0000 (14:25 +0200)] 
Remove unused parameter in rnHsTyVar

5 years agoIntegrate changelog entries from base-4.7.0.1 rel
Herbert Valerio Riedel [Fri, 11 Jul 2014 11:54:18 +0000 (13:54 +0200)] 
Integrate changelog entries from base-4.7.0.1 rel

5 years agoFix typos in base documentation.
Shachaf Ben-Kiki [Fri, 11 Jul 2014 04:55:53 +0000 (23:55 -0500)] 
Fix typos in base documentation.

Summary: Signed-off-by: Shachaf Ben-Kiki <shachaf@gmail.com>

Test Plan: n/a

Reviewers: austin

Reviewed By: austin

Subscribers: simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D57

5 years agoGHC.Conc: clarify that 'forkOn' binds to capability, not a 'CPU' or 'Task'
Sergei Trofimovich [Thu, 10 Jul 2014 07:56:23 +0000 (02:56 -0500)] 
GHC.Conc: clarify that 'forkOn' binds to capability, not a 'CPU' or 'Task'

Summary:
Capability (HEC) can migrate to other Task (thus switch CPU)
unless capability was created as a bound haskell thread.

Task also can migrate to other CPU due to OS scheduler
(unless '-qa' RTS option is set).

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Test Plan: proofread for typos

Reviewers: simonmar, austin

Reviewed By: austin

Subscribers: simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D52

5 years agoremove SPARC related comment in PPC code generator
Peter Trommler [Thu, 10 Jul 2014 07:55:51 +0000 (02:55 -0500)] 
remove SPARC related comment in PPC code generator

Summary:
PowerPC does not do delay slots and there is also no requirement
to put extra instructions between FP operations and branches.

Test Plan: None. Comment change only.

Reviewers: austin, simonmar

Reviewed By: austin, simonmar

Subscribers: simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D40

5 years agoAvoid unnecessary clock_gettime() syscalls in GC stats.
Brian Brooks [Thu, 10 Jul 2014 07:55:33 +0000 (02:55 -0500)] 
Avoid unnecessary clock_gettime() syscalls in GC stats.

Summary: Avoid unnecessary clock_gettime() syscalls in GC stats.

Test Plan: Use strace.

Reviewers: simonmar, austin

Reviewed By: simonmar, austin

Subscribers: simonmar, relrod, carter

Differential Revision: https://phabricator.haskell.org/D39

5 years ago[backpack] Rework definite package compilation
Edward Z. Yang [Thu, 10 Jul 2014 16:07:18 +0000 (17:07 +0100)] 
[backpack] Rework definite package compilation

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
5 years agoMake the example a little more complex
Edward Z. Yang [Thu, 10 Jul 2014 14:28:23 +0000 (15:28 +0100)] 
Make the example a little more complex

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
5 years agorts: Fix #9003 with an annoying hack
Austin Seipp [Thu, 10 Jul 2014 00:08:26 +0000 (19:08 -0500)] 
rts: Fix #9003 with an annoying hack

The TL;DR is that by adding this, we can distinguish GHC 7.8.3 from
7.8.2, which had a buggy implementation. See the ticket for details.

Signed-off-by: Austin Seipp <austin@well-typed.com>
5 years agoStart expanding out linking text
Edward Z. Yang [Wed, 9 Jul 2014 18:01:11 +0000 (19:01 +0100)] 
Start expanding out linking text

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
5 years agoAdd hyperref package.
Edward Z. Yang [Wed, 9 Jul 2014 08:53:43 +0000 (09:53 +0100)] 
Add hyperref package.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
5 years ago[docs/backpack] Get lint to stop complaining
Edward Z. Yang [Wed, 9 Jul 2014 08:50:27 +0000 (09:50 +0100)] 
[docs/backpack] Get lint to stop complaining

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>