summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Switch on -dynamic-too with QuasiQuotes as well.Austin Seipp2014-02-191-1/+3
| | | | | | As pointed out by Albert Y. C. Lai on glasgow-haskell-users. Signed-off-by: Austin Seipp <austin@well-typed.com>
* fix sed expression in build dependencies rules to work well with non-GNU sed ↵Karel Gardas2014-02-191-12/+9
| | | | | | | | | (fixes #8764) The patch is provided by Christian Maeder <Christian.Maeder@dfki.de> Signed-off-by: Karel Gardas <karel.gardas@centrum.cz> Signed-off-by: Austin Seipp <austin@well-typed.com>
* add more information about the nature of support of prefetch primops on none ↵Carter Tazio Schonwald2014-02-191-2/+6
| | | | | | | | x86/AMD64 -fasm platforms (and -fvia) to the 7.8 release notes Signed-off-by: Austin Seipp <austin@well-typed.com>
* fix build failure on Solaris 10 due to RANLIB being set to ':' by configure ↵Karel Gardas2014-02-191-0/+10
| | | | | | (#8795) Signed-off-by: Austin Seipp <austin@well-typed.com>
* add omitted FP_PROG_AR_SUPPORTS_ATFILE into the distribution configure.ac ↵Karel Gardas2014-02-191-0/+1
| | | | | | (fixes #8794) Signed-off-by: Austin Seipp <austin@well-typed.com>
* Update to primitive-0.5.2.1Herbert Valerio Riedel2014-02-191-0/+0
| | | | | | This contains a compile-fix for Solaris Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Call Arity refactoring: fakeBoringCallsJoachim Breitner2014-02-181-11/+6
|
* Call Arity: Update compiler perf number changesJoachim Breitner2014-02-181-9/+11
| | | | Lots of improvements, one regression in max bytes allocated.
* Call arity testcase for #3924Joachim Breitner2014-02-184-0/+25
| | | | nice numbers coming from these micro-benchmarks.
* Support mutual recursionJoachim Breitner2014-02-183-53/+82
|
* Call arity: Handle type application correctlyJoachim Breitner2014-02-181-0/+6
|
* Move unit call arity unittests into subdirectoryJoachim Breitner2014-02-183-0/+0
|
* Call Arity: Now also done on Top-Level bindsJoachim Breitner2014-02-181-61/+80
|
* Call Arity refactoring: instance Outputable CountJoachim Breitner2014-02-181-0/+4
|
* Call Arity refactoring: Factor out callArityBoundJoachim Breitner2014-02-181-33/+38
|
* Call Arity refactoring: Use a product domainJoachim Breitner2014-02-181-53/+46
|
* Make CallArity make more use of many-callsJoachim Breitner2014-02-183-102/+184
| | | | by elaborating the domain a bit.
* Revert "Fix #8754 in a round-about way."Austin Seipp2014-02-181-4/+0
| | | | This reverts commit 5023c91780e90947680fe0640f7564a4f6448bea.
* Revert "Add comments explaining #8754"Austin Seipp2014-02-181-20/+1
| | | | This reverts commit b626c3d4ce0e66216705ba8355c914dc809e3fe7.
* Keep kind-inconsistent Given type equalities (fixes Trac #8705)Simon Peyton Jones2014-02-183-15/+45
| | | | | | | I was too eager when fixing Trac #8566, and dropped too many equalities on the floor, thereby causing Trac #8705. The fix is easy: delete code. Lots of new comments!
* Add some more traceTcS callsSimon Peyton Jones2014-02-181-3/+7
|
* Allow ($) to return an unlifted type (Trac #8739)Simon Peyton Jones2014-02-188-25/+71
| | | | | | | | | | | | Since ($) simply returns its result, via a tail call, it can perfectly well have an unlifted result type; e.g. foo $ True where foo :: Bool -> Int# should be perfectly fine. This used to work in GHC 7.2, but caused a Lint failure. This patch makes it work again (which involved removing code in TcExpr), but fixing the Lint failure meant I had to make ($) into a wired-in Id. Which is not hard to do (in MkId).
* Use NoGen plan for unboxed-tuple bindingsSimon Peyton Jones2014-02-185-72/+80
| | | | | There was a small mixup here, exposed by Trac #8762. Now clarified with better function names and comments.
* More liberally eta-expand a case-expressionJoachim Breitner2014-02-171-28/+9
| | | | | | at least with -fno-pedantic-bottoms. This fixes #2915, and undoes some of a522c3b, on the grounds that with a flag `-fpedantic-bottoms` around, we can be a bit more liberal when the flag is off..
* Add comments explaining #8754Austin Seipp2014-02-171-1/+20
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix #8770Austin Seipp2014-02-172-6/+15
| | | | | | | | | As usual, Mac OS X is extremely annoying (or the software is, anyway), because not only does it load dynamic libraries with the .dylib extension, but also the .so extension. For whatever reason. At least it's easy to fix. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix #8745 - GND is now -XSafe compatible.Austin Seipp2014-02-1711-101/+8
| | | | | | | | | | | | | | As discussed in the ticket, after the landing of #8773, GND is now -XSafe compatible. This fixes the test fallout as well. In particular SafeLang07 was removed following in the steps of SafeLang06, since it no longer failed from GND, but failed due to roles and was thus invalid. The other tests were tweaked to use TemplateHaskell instead of GND in order to trigger safety warnings. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix #8754 in a round-about way.Austin Seipp2014-02-171-0/+4
| | | | | | | | | | | | | For some reason on OS X, it seems like -Bsymbolic (which we use for hooks into the RTS) isn't working, which results in #8754, where stats don't work because defaultHooks doesn't initialize the stats flag. This seems to work on Linux static/dynamically, but only on OS X statically. After talking with Simon, really, the entire hooks thing is a bit fragile. For now, we just work around it (since GHCi is dynamically linked) by calling into the defaultHooks ourselves when GHC starts. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix check for TLS support in Storage.cAustin Seipp2014-02-171-2/+2
| | | | | | | This should have manifested earlier, but for some reason it only seemed to trigger on Mavericks. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix installation of hpc (#8735)Austin Seipp2014-02-172-0/+5
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* mk/config.mk.in: lower -O2 optimization down to -O1 on UNREGSergei Trofimovich2014-02-171-0/+10
| | | | | | | | | | | | | Disable -O2 optimization. Otherwise amount of generated C code makes things very slow to compile (~5 minutes on core-i7 for 'compiler/hsSyn/HsExpr.lhs') And sometimes not compile at all (powerpc64 overflows something on 'compiler/hsSyn/HsExpr.lhs'). Issue #8748 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> Signed-off-by: Austin Seipp <austin@well-typed.com>
* rts/package.conf.in: fix UNREG on --with-system-libffi when include-dir is ↵Sergei Trofimovich2014-02-171-2/+2
| | | | | | | | | passed explicitely Issue #8748 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> Signed-off-by: Austin Seipp <austin@well-typed.com>
* includes/Stg.h: add declarations for hs_popcnt and frindsSergei Trofimovich2014-02-172-0/+40
| | | | | | | | | | | | | | This fixes most of implicit function declarations emitted C codegen in UNREG mode. Found by adding the following to mk/build.mk: SRC_CC_OPTS += -Werror=implicit-function-declaration SRC_HC_OPTS += -optc-Werror=implicit-function-declaration Issue #8748 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> Signed-off-by: Austin Seipp <austin@well-typed.com>
* rts/Capability.c: fix crash in -threaded mode on UNREG buildSergei Trofimovich2014-02-171-9/+13
| | | | | | | | | | | | | UNREG mode has quite nasty invariant to maintain: capabilities[0] == &MainCapability and it's a non-heap memory, while other capabilities are dynamically allocated. Issue #8748 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix --enable-unregistered by declaring missing RTS functions (#8748)Sergei Trofimovich2014-02-171-0/+2
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix --enable-unregistered by passing NOSMP to .hc compiler (#8748)Sergei Trofimovich2014-02-171-0/+5
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix #8773.Richard Eisenberg2014-02-139-10/+49
| | | | | | To make a role annotation on a class asserting a role other than nominal, you now need -XIncoherentInstances. See the ticket for more information as to why this is a good idea.
* Fix #5682. Now, '(:) parses.Richard Eisenberg2014-02-133-0/+15
|
* Remove space after ASSERT.Julian K. Arni2014-02-131-1/+1
| | | | Which on OS X leaves macro unexpanded.
* Fix some typos in commentsGabor Greif2014-02-132-4/+4
|
* Fix Manual hlinting patchJoachim Breitner2014-02-131-2/+2
|
* Manual hlinting: or (map f) = any fJoachim Breitner2014-02-132-3/+3
|
* Link to #minimal-pragma from release notesJoachim Breitner2014-02-131-0/+1
|
* Cleaned up Maybes.lhsBaldur Blöndal2014-02-1319-68/+42
|
* Remove eta-expansion in Rules.matchJoachim Breitner2014-02-111-8/+0
| | | | | | | It validates and nofib shows no change, so possibly dead code. Removing in the interest of code cleanliness, someone disagrees please revert (and preferably add a testcase, or at least describe the situation this is important in in a Note).
* Test case: Looking through unfoldings when matching lambdasJoachim Breitner2014-02-113-0/+44
|
* Use exprIsLambda_maybe in matchJoachim Breitner2014-02-113-37/+86
| | | | | | | | | when matching a lambda in the template against an expression. When matching, look through coercions (only for value lambdas for now), and look through currently active unfoldings, if these are undersaturated, i.e. produce a lambda. This replaces the existing, somewhat fishy eta-expansion.
* Test case for RULE map coerce = coerceJoachim Breitner2014-02-113-0/+32
| | | | (This tests #2110.)
* Add Case TyConAppCo to match_coJoachim Breitner2014-02-111-3/+22
|
* In simpleOptExpr, unfold compulsary unfoldingsJoachim Breitner2014-02-111-0/+11
| | | | such as that of coerce.
View Lorry Controller Status