summaryrefslogtreecommitdiff
path: root/libraries/unix
Commit message (Collapse)AuthorAgeFilesLines
* PmCheck: Implement Long-distance information with Covered setsSebastian Graf2020-02-271-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Consider ```hs data T = A | B | C f :: T -> Int f A = 1 f x = case x of A -> 2 B -> 3 C -> 4 ``` Clearly, the RHS returning 2 is redundant. But we don't currently see that, because our approximation to the covered set of the inner case expression just picks up the positive information from surrounding pattern matches. It lacks the context sensivity that `x` can't be `A` anymore! Therefore, we adopt the conceptually and practically superior approach of reusing the covered set of a particular GRHS from an outer pattern match. In this case, we begin checking the `case` expression with the covered set of `f`s second clause, which encodes the information that `x` can't be `A` anymore. After this MR, we will successfully warn about the RHS returning 2 being redundant. Perhaps surprisingly, this was a great simplification to the code of both the coverage checker and the desugarer. Found a redundant case alternative in `unix` submodule, so we have to bump it with a fix. Metric Decrease: T12227
* base: Bump version to 4.14.0.0Ben Gamari2019-11-141-0/+0
| | | | | Metric Increase: T4801
* testsuite: Mark tests fragile in threaded2 as fragile in all concurrent waysBen Gamari2019-11-101-0/+0
|
* Bump unix submoduleBen Gamari2019-11-081-0/+0
| | | | Marks executeFile001 as broken in all concurrent ways.
* testsuite: Skip forking tests in profiled waysBen Gamari2019-07-181-0/+0
| | | | | | | As noted in #11645 and #8862, forking and profiling don't go well together. Bumps hpc and unix submodules.
* Bump unix submoduleBen Gamari2019-06-151-0/+0
| | | | Skips `executeFile001` test in `threaded2` way. Fixes #16814.
* Bump unix submoduleBen Gamari2019-06-121-0/+0
| | | | Marks posix002 as fragile in threaded2 way due to #16550.
* Update unix submoduleHerbert Valerio Riedel2019-01-311-0/+0
|
* Bump time submoduleBen Gamari2018-11-021-0/+0
|
* Bump unix submoduleBen Gamari2018-08-091-0/+0
|
* Bump unix submoduleBen Gamari2018-07-141-0/+0
|
* Bump unix submodule to version 2.8.0.0Ryan Scott2018-04-191-0/+0
| | | | | | | | | | | | | | Summary: Requires bumping several submodules. Test Plan: ./validate Reviewers: hvr, bgamari Subscribers: thomie, carter GHC Trac Issues: #15042 Differential Revision: https://phabricator.haskell.org/D4604
* Bump unix submoduleBen Gamari2017-11-291-0/+0
| | | | Fixes FreeBSD build.
* Bump base to 4.11.0.0Ben Gamari2017-09-211-0/+0
| | | | | | | | | | Bumps numerous submodules. Reviewers: austin, hvr Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D3974
* Bump unix submoduleBen Gamari2017-08-011-0/+0
|
* Bump a bunch of submodulesBen Gamari2017-07-231-0/+0
|
* Update unix submoduleBen Gamari2017-05-141-0/+0
|
* Bump unix submoduleBen Gamari2017-03-211-0/+0
|
* Bump unix submoduleBen Gamari2017-03-151-0/+0
|
* Try submodule bumps againBen Gamari2017-02-281-0/+0
| | | | | | Bumps containers, time, and unix submodules. This reverts commit c347a121b07d22fb91172337407986b6541e319d.
* Revert recent submodule bumpsBen Gamari2017-02-221-0/+0
| | | | | | | | They broke everything and the solution will be non-trivial. This reverts commit 8ccbc2e5252abd4fa67d155d4fff489ee9929906. This reverts commit c8d995db5d743358b0583fe97f8113bf9047641e. This reverts commit 7153370288e6075c4f8c996ff02227e48805da06.
* Bump time submodule to 1.8Ben Gamari2017-02-201-0/+0
| | | | | This unfortunately had quite a number of knock-on effects, including a need for new releases of directory and unix.
* base: Bump version to 4.10.0.0Ben Gamari2016-12-151-0/+0
| | | | Updates a number of submodules.
* Update unix submodule to latest HEAD.Edward Z. Yang2016-09-081-0/+0
| | | | | | Fixes readdir validation error (fixes #12572). Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Testsuite: open/close stdin/stdout/stderr explicitlyThomas Miedema2016-06-281-0/+0
| | | | | | | | | | | | | | | | | | This allows run_command's to contain `|`, and `no_stdin` isn't necessary anymore. Unfortunately it doesn't fix T7037 on Windows which I had hoped it would (testsuite driver tries to read a file that it just created itself, but the OS says it doesn't exist). The only drawback of this commit is that the command that the testsuite prints to the terminal (for debugging purposes) doesn't mention the files that stdout and stderr are redirected to anymore. This is probably ok. Update submodule unix. Differential Revision: https://phabricator.haskell.org/D1234
* Update unix submodule to v2.7.2.0 releaseHerbert Valerio Riedel2016-04-191-0/+0
|
* Testsuite: delete only_compiler_types, assume ghcThomas Miedema2016-02-161-0/+0
| | | | | | Update submodules stm, hpc and unix. Differential Revision: https://phabricator.haskell.org/D1921
* Update unix submodule to latest snapshotHerbert Valerio Riedel2016-02-011-0/+0
| | | | | Besides containing more internal refactorings, this update also bumps unix's version number to 2.7.2.0
* Update unix submodule to latest snapshotHerbert Valerio Riedel2016-01-311-0/+0
| | | | | | This is a follow-up to 6c7760b26133a0490f613895a37ff67045249fc8 which should have been accompanied by a submodule update...
* Update time submodule to v1.6 releaseHerbert Valerio Riedel2015-12-201-0/+0
| | | | | | This is the designated release to go with GHC 8.0.1 /cc @AshleyYakeley
* Improve detection of `fdatasync(2)` (re #11137)Herbert Valerio Riedel2015-12-161-0/+0
| | | | | | | This updates the `unix` submodule to pull in an improved Autoconf test for `fdatasync(2)` in cases where `<unistd.h>` lacks a declaration, but linking against `fdatasync` works which led to a false positive previously.
* Use idiomatic way to tell Autoconf the c compilerHerbert Valerio Riedel2015-12-141-0/+0
| | | | | | | | | | | | | | | | | | | | The non-idiomatic `--with-cc` flag was added via 5c789e424c1461c1dadfd38c44fcb9e8f38bf755 However, `--with-cc` seems rather fragile and support for `--with-cc` needs to be added explicitly to autoconf-based Cabal packages. The `CC=` flag, however, is supported natively by GNU Autoconf, so let's use the standard facility for that. Relatedly, Cabal prior to version 1.24 used a similiar flag `--with-gcc=...`, but starting with Cabal-1.24 this has been changed to use `CC=...` instead as well (see https://github.com/haskell/cabal/pull/2946) This also updates a few submodules removing the now obsolete `--with-cc` flag support. Reviewed By: trofi, thomie, erikd Differential Revision: https://phabricator.haskell.org/D1608
* Tweak use of AC_USE_SYSTEM_EXTENSIONSHerbert Valerio Riedel2015-12-061-0/+0
| | | | | | | | | | | | | This makes sure that `AC_USE_SYSTEM_EXTENSIONS` (which implies `AC_PROG_CC`) is called after the `AC_ARG_WITH([cc],,)` invocation, so that the proper CC setting is in scope. Otherwise this can break cross-compilation. This also needs to pull in a submodule update for `unix` This is a follow-up commit to 7af29da05d2e5a5e311a5f73f20d0f232035973b which hopefully fixes #11168
* Use Autoconf's AC_USE_SYSTEM_EXTENSIONSHerbert Valerio Riedel2015-12-041-0/+0
| | | | | | | | | | | | | | | | | | | | | | This takes care of setting feature test macros (i.e. let Autoconf decide when those can be set safely) to allow subsequent Autoconf tests to better detect available OS features. This also includes a submodule update of unix which enables the use of `AC_USE_SYSTEM_EXTENSIONS` in there as well. Specifically, this takes care of setting `_GNU_SOURCE` (which allows to remove two occurences where it's set manually) and `_ALL_SOURCE` (which fixes issues on AIX). See also https://www.gnu.org/software/autoconf/manual/autoconf-2.69/html_node/Posix-Variants.html for details. At some point we may want to reconsider the purpose of "rts/PosixSource.h" and rely more on Autoconf instead.
* Update unix submoduleHerbert Valerio Riedel2015-11-011-0/+0
| | | | | This is needed to prepare for #11026 as this update relaxes the upper bounds on `base` to allow for `base-4.9.0.0`
* Update process and unix submodulesHerbert Valerio Riedel2014-12-191-0/+0
| | | | | | | This updates the submodules to the respective final releases, - `unix-2.7.1.0`, and - `process-1.2.1.0`
* Update unix submodule to latest 2.7.1.0 snapshotHerbert Valerio Riedel2014-12-161-0/+0
|
* Update `unix` submodule to latest snapshotHerbert Valerio Riedel2014-12-061-0/+0
|
* Replace obsolete `defaultUserHooks` by `autoconfUserHooks`Herbert Valerio Riedel2014-09-271-0/+0
| | | | This also updates a few submodules
* Update `unix` submodule to disable getlogin testsHerbert Valerio Riedel2014-09-261-0/+0
|
* Follow-up to 72d6d0c2704ee6d9 updating submodules for realHerbert Valerio Riedel2014-09-161-0/+0
|
* Make GHC `time-1.5`-readyHerbert Valerio Riedel2014-09-101-0/+0
| | | | | | | This also updates a few submodules to have their upper-bounds on `time` relaxed to allow `time-1.5`. The only package that can't be upgraded yet is `Cabal` due to API changes breaking `ghc-cabal`. This needs to be addressed in a future commit.
* Bump `base` version to 4.8.0.0 for realHerbert Valerio Riedel2014-09-091-0/+0
| | | | | | | | | | | | | | | | This commit updates several submodules in order to bump the upper bounds on `base` of most boot packages Moreover, this updates some of the test-suite cases which have version numbers hardcoded within. However, I'm not sure if this commit didn't introduce the following two test-failures ghc-api T8628 [bad stdout] (normal) ghc-api T8639_api [bad stdout] (normal) This needs investigation
* Track gitignore update in submodule unixEdward Z. Yang2014-07-071-0/+0
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Add testsuite-related .gitignore filesHerbert Valerio Riedel2014-06-271-0/+0
| | | | | | | | Also set `submodule.<name>.ignore=none` explicitly for the recently converted submodules, as those are not supposed to have untracked/unignored files lying around. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Convert loose sub-repos into proper submodules (re #8545)Herbert Valerio Riedel2014-06-251-0/+0
Specifically, the following sub-repos/modules are converted: - libffi-tarballs - libraries/array - libraries/deepseq - libraries/directory - libraries/dph - libraries/filepath - libraries/haskell2010 - libraries/haskell98 - libraries/hoopl - libraries/hpc - libraries/old-locale - libraries/old-time - libraries/parallel - libraries/process - libraries/stm - libraries/unix - nofib - utils/hsc2hs N.B. ghc-tarballs is not converted as it will probably be handled differently in the future. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>