summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* configure : LLVM and LD detections improvements (#10234).Erik de Castro Lopo2015-04-113-18/+46
| | | | | | | | | | | | | | | | | | | | * distrib/configure.ac.in : Detect correct version of LLVM tools as was done for the top level configure.ac in 42448e3757. * aclocal.m4 : Add a FIND_LD macro that can be used in both configure scripts. * Use new FIND_LD macro in both configure scripts. Signed-off-by: Erik de Castro Lopo <erikd@mega-nerd.com> Test Plan: validate on amd64-linux and armhf-linux. Reviewers: rwbarton, austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D828 GHC Trac Issues: #10234
* Typos in error messages and in commentsGabor Greif2015-04-1035-44/+44
|
* Make the evidence in a CtGiven into an EvIdSimon Peyton Jones2015-04-099-95/+85
| | | | | | | Note [Bind new Givens immediately] in TcRnTypes We were never using the generality. Result: less code, more efficient. Cake for everyone.
* Comments onlySimon Peyton Jones2015-04-091-16/+24
|
* Comments in rejigConResSimon Peyton Jones2015-04-091-2/+7
|
* Comments about AnyKSimon Peyton Jones2015-04-091-4/+8
|
* Import rand using capiReid Barton2015-04-091-2/+2
| | | | | | | | | | | | | | | | Summary: Android has no rand symbol (it's a static inline function there). Test Plan: ghc-android builds Reviewers: trofi, austin, hvr Reviewed By: hvr Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D826 GHC Trac Issues: #10274
* Fixes a compiler error with -DDEBUG (#10265)Dave Laing2015-04-081-3/+3
| | | | | | | | | | | | | | Test Plan: validate Reviewers: austin, ezyang, erikd, rwbarton Reviewed By: ezyang, erikd, rwbarton Subscribers: erikd, thomie Differential Revision: https://phabricator.haskell.org/D821 GHC Trac Issues: #10265
* Test Trac #8030Simon Peyton Jones2015-04-083-0/+36
|
* Ignore temporary ./configure files.Edward Z. Yang2015-04-071-0/+5
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Axe one-shot sig-ofEdward Z. Yang2015-04-079-33/+25
| | | | | | | | | | | | | | | | | Summary: We're getting rid of -sig-of foo:A usage, because it doesn't make sense in any compilation mode besides one-shot, and we don't expect users to use it anyway. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Test Plan: validate Reviewers: simonpj, austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D789
* Commit missing T10148 files and ignore the built executable.Edward Z. Yang2015-04-072-0/+7
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Support for multiple signature files in scope.Edward Z. Yang2015-04-0739-139/+545
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Summary: A common pattern when programming with signatures is to combine multiple signatures together (signature linking). We achieve this by making it not-an-error to have multiple, distinct interface files for the same module name, as long as they have the same backing implementation. When a user imports a module name, they get ALL matching signatures dumped into their scope. On the way, I refactored the module finder code, which now distinguishes between exact finds (when you had a 'Module') and regular finds (when you had a 'ModuleName'). I also refactored the package finder code to use a Monoid instance on LookupResult to collect together various results. ToDo: At the moment, if a signature is declared in the local package, it completely overrides any remote signatures. Eventually, we'll want to also pull in the remote signatures (or even override the local signature, if the full implementation is available.) There are bunch of ToDos in the code for what to do once this is done. ToDo: At the moment, whenever a module name lookup occurs in GHCi and we would have seen a signature, we instead continue and return the Module for the backing implementation. This is correct for most cases, but there might be some situations where we want something a little more fine-grained (e.g. :browse should only list identifiers which are available through the in-scope signatures, and not ALL of them.) Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Test Plan: validate Reviewers: simonpj, hvr, austin Subscribers: carter, thomie Differential Revision: https://phabricator.haskell.org/D790 GHC Trac Issues: #9252
* Final error message wibbleSimon Peyton Jones2015-04-071-1/+1
|
* More error message wibblesSimon Peyton Jones2015-04-0711-104/+68
| | | | | | ..due to suppressing base-package module names. Needs a submodule update on array.
* Test Trac #10148Simon Peyton Jones2015-04-073-0/+29
|
* The production for squals is incorrect; see D806 for specifics.Alan Zimmerman2015-04-0712-33/+81
| | | | | | | | | | This diff depends on D803. Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D806 GHC Trac Issues: #10214
* The production for `pquals` is incorrect; the specifics are in D803.Alan Zimmerman2015-04-078-4/+257
| | | | | | | | Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D803 GHC Trac Issues: #10207
* Don't repeat package key with -dppr-debug when package info is missing.Edward Z. Yang2015-04-073-11/+11
| | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D802
* rts/Linker.c: distinct between DATA and CODE labels when importingSergei Trofimovich2015-04-071-18/+42
| | | | | | | | | | | | | | | | | | | | The patch is a last major piece to make unregisterised GHC build under GCC's link-time optimizer. Before the patch we imported everything external as functions. Now we distinct between global variables and functions. The difference is crucial on ia64 and a complement to fixes: > d82f592522eb8e063276a8a8c87ab93e18353c6b > CMM: add a mechanism to import C .data labels > e18525fae273f4c1ad8d6cbe1dea4fc074cac721 > pprC: declare extern cmm primitives as functions, not data Signed-off-by: Sergei Trofimovich <siarheit@google.com> Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D797
* Replace endian test by 64-bit word access in T7600Peter Trommler2015-04-071-34/+12
| | | | | | | | | | | | | | | | In commit 3f30912f an include `ghcconfig.h` was added for `WORDS_BIGENDIAN`. Converting the floating point array to a `Word64` array avoids using the preprocessor altogether and leads to smaller code. Fixes #10239 Reviewed By: rwbarton, austin Differential Revision: https://phabricator.haskell.org/D795 GHC Trac Issues: #10239
* Look inside synonyms for foralls when unifyingSimon Peyton Jones2015-04-075-4/+26
| | | | This fixes Trac #10194
* More aggressive Given/Wanted overlap checkSimon Peyton Jones2015-04-074-46/+83
| | | | | | | | | | | | | This fixes Trac #10195 For some reason we considered untouchability before, but Trac #10195 shows that this is positively worng. See Note [Instance and Given overlap] in TcInteract. Looking at the Git log, it seems that this bug was introduced at the same time that we introduced the Given/Wanted overlap check in the first place.
* Put quotes round a Name in an error messageSimon Peyton Jones2015-04-076-26/+25
| | | | Cosmetic consistency only
* Do not quantify over the function itself in a RULESimon Peyton Jones2015-04-073-17/+68
| | | | | | | We were erroneously quantifying over the function when it had a dictionary type. A bit pathological, but possible. This fixes Trac #10251
* GHC.Prim.Constraint is not built-in syntaxSimon Peyton Jones2015-04-074-14/+24
| | | | This fixes Trac #10233
* Error msg wibbles from reduced module prefixesSimon Peyton Jones2015-04-0739-785/+710
|
* Reduce module qualifiers in pretty-printingSimon Peyton Jones2015-04-073-14/+31
| | | | | | | | The change is in HscTypes.mkPrintUnqualified, and suppresses the module qualifier on Names from ghc-prim, base, and template-haskell, where no ambiguity can aries. It's somewhat arbitrary, but helps with things like 'Constraint' which are often not in scope, but occasionally show up in error messages.
* Fix a long-standing bug in the demand analyserSimon Peyton Jones2015-04-072-87/+165
| | | | | | | | | | | | | | | | | | This patch fixes Trac #10148, an outright and egregious bug in the demand analyser. It is explained in Note [Demand on case-alternative binders] in Demand.hs. I did some other minor refactoring. To my astonishment I got some big compiler perf changes * perf/compiler/T5837: bytes allocated -76% * perf/compiler/T5030: bytes allocated -10% * perf/compiler/T3294: max bytes used -25% Happy days
* Suggest how to fix .ghci when it is group writeable (#8248)Vikas Menon2015-04-071-1/+3
| | | | | | | | | | | | | | | | | | | ``` chmod 664 $PATH_TO_GHCI_CONF/.ghci ``` Run ghci. You will now get a warning + a suggestion: ``` *** WARNING: $PATH_TO_GHCI_CONF/.ghci is writable by someone else, IGNORING! Suggested fix: execute 'chmod 644 $PATH_TO_GHCI_CONF/.ghci' ``` Execute fix and the warning should disappear. Reviewed By: mboes, thomie Differential Revision: https://phabricator.haskell.org/D805
* testdriver: delete unused waysThomas Miedema2015-04-073-12/+10
| | | | | | | | | And mention more prominently that `-DDEBUG` and tests that call `compiler_stats_num_fields` don't play well together Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D799
* Typechecker: refactoring onlyThomas Miedema2015-04-073-8/+5
| | | | | | | | | * don't call `nlHsPar`, as `genOpApp` already does so. * don't reimplement `isUnboxedTupleTyCon` and `isBoxedTupleTyCon`. Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D798
* Add -n to the RTS help outputSimon Marlow2015-04-071-0/+1
|
* Add +RTS -O<size> to control the minimum old gen sizeSimon Marlow2015-04-072-0/+24
|
* Replace hooks by callbacks in RtsConfig (#8785)Simon Marlow2015-04-0720-98/+205
| | | | | | | | | | | | Summary: Hooks rely on static linking semantics, and are broken by -Bsymbolic which we need when using dynamic linking. Test Plan: Built it Reviewers: austin, hvr, tibbe Differential Revision: https://phabricator.haskell.org/D8
* fix typoJavran Cheng2015-04-063-3/+3
| | | | | | [skip ci] Differential Revision: https://phabricator.haskell.org/D812
* fix '&stg_interp_constr_entry' FFI type to be FunPtrSergei Trofimovich2015-04-061-13/+16
| | | | | | | | | | | | | | | | | | | | | | | | | Summary: It used to be Ptr, which is slightly incorrect. ia64 has different representations for those types. Found when tried to build unregisterised ghc with -flto, GCC's link-time optimisation which happens to check data / code declaration inconsistencies. It our case 'stg_interp_constr_entry' is an RTS function: StgFunPtr f (StgFunPtr) while '"&f" :: Ptr()' produces StgWordArray f[]; Signed-off-by: Sergei Trofimovich <siarheit@google.com> Reviewers: simonmar, hvr, austin Reviewed By: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D796
* Stop profiling output from running together (#8811)Dave Laing2015-04-0612-255/+298
| | | | | | Reviewed By: thomie Differential Revision: https://phabricator.haskell.org/D779
* User's guide: .a files can be 2-2.5x larger with -split-objsThomas Miedema2015-04-061-4/+4
| | | | | | | | And remove warning. This feature is available through cabal even. Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D801
* Test case for #10246Joachim Breitner2015-04-065-0/+54
| | | | | still marked known_broken. This also adds the test case for #10245, which should pass once #10246 is fixed.
* CmmSwitch: Do not trip over a case with no (valid) branchesJoachim Breitner2015-04-051-2/+4
| | | | | | This fixes #10245. I did not commit the test case, as it fails unconditionally with a compiler built with -DDEBUG, so maybe it is bogus Haskell anyways.
* Update hsc2hs submoduleReid Barton2015-04-051-0/+0
|
* Whitespace onlyReid Barton2015-04-051-17/+17
|
* testsuite: skip T10017 on WindowsAustin Seipp2015-04-031-1/+2
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* rts/linker: make an error msg a debug msgAustin Seipp2015-04-031-2/+3
| | | | | | This fixes more testsuite failures on Windows. Signed-off-by: Austin Seipp <austin@well-typed.com>
* testsuite: fix failing amd64/Windows perf testsAustin Seipp2015-04-032-7/+15
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Comments only, mostly typosThomas Miedema2015-04-037-11/+13
| | | | [skip ci]
* Don't `make accept` output of `expect_broken_for` testsThomas Miedema2015-04-031-16/+17
| | | | | | | | | This is a followup to d4cf7051bc17182238b17ba1dc42e190fa5c6f0d, which did the same for `expect_broken` tests. Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D786
* Remove an incorrect statement about -fwarn-tabsDave Laing2015-04-031-2/+0
| | | | | | | | Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D772 GHC Trac Issues: #10213
* Data.Complex: Derive GenericBen Gamari2015-04-035-5/+11
| | | | | | Reviewed By: hvr, austin Differential Revision: https://phabricator.haskell.org/D770
View Lorry Controller Status