[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 18 commits: update-autoconf: Initial commit

[Marge Bot]

 Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC


Commits:
faa94d47 by Ben Gamari at 2019-04-25T21:16:21Z
update-autoconf: Initial commit

- - - - -
4811cd39 by Ben Gamari at 2019-04-25T21:16:21Z
Update autoconf scripts

Scripts taken from autoconf a8d79c3130da83c7cacd6fee31b9acc53799c406

- - - - -
0040af59 by Ben Gamari at 2019-04-25T21:16:21Z
gitlab-ci: Reintroduce DWARF-enabled bindists

It seems that this was inadvertently dropped in
1285d6b95fbae7858abbc4722bc2301d7fe40425.

- - - - -
04e53c55 by Wojciech Baranowski at 2019-04-29T21:01:51Z
rename: hadle type signatures with typos

When encountering type signatures for unknown names, suggest similar
alternatives.

This fixes issue #16504

- - - - -
6689dbbe by Wojciech Baranowski at 2019-04-29T21:01:51Z
Print suggestions in a single message

- - - - -
0373bd7f by Wojciech Baranowski at 2019-04-29T21:01:51Z
osa1's patch: consistent suggestion message

- - - - -
11fb374d by Wojciech Baranowski at 2019-04-29T21:01:51Z
Comment on 'candidates' function

- - - - -
8734df46 by Wojciech Baranowski at 2019-04-29T21:01:51Z
Suggest only local candidates from global env

- - - - -
dd09f91c by Wojciech Baranowski at 2019-04-29T21:01:51Z
Use pp_item

- - - - -
31671cc1 by Ben Gamari at 2019-04-29T21:01:52Z
ghci: Ensure that system libffi include path is searched

Previously hsc2hs failed when building against a system FFI.

- - - - -
00243433 by Ben Gamari at 2019-04-29T21:01:52Z
ErrUtils: Emit progress messages to eventlog

- - - - -
00dc1f89 by Ben Gamari at 2019-04-29T21:01:52Z
Emit GHC timing events to eventlog

- - - - -
238f7259 by Chaitanya Koparkar at 2019-04-29T21:01:54Z
Fix #16593 by having only one definition of -fprint-explicit-runtime-reps

[skip ci]

- - - - -
050ef87f by Sven Tennie at 2019-04-29T21:01:56Z
Typeset Big-O complexities with Tex-style notation (#16090)

Use `\min` instead of `min` to typeset it as an operator.

- - - - -
6bebcb06 by Shayne Fletcher at 2019-04-29T21:01:59Z
Make Extension derive Bounded

- - - - -
7849f621 by Ben Gamari at 2019-04-29T21:01:59Z
testsuite: Mark concprog001 as fragile

Due to #16604.
- - - - -
5821749f by Alp Mestanogullari at 2019-04-29T21:02:01Z
Hadrian: generate JUnit testsuite report in Linux CI job

We also keep it as an artifact, like we do for non-Hadrian jobs, and list it
as a junit report, so that the test results are reported in the GitLab UI for
merge requests.

- - - - -
03d9ccd5 by Vladislav Zavialov at 2019-04-29T21:02:02Z
Pattern/expression ambiguity resolution

This patch removes 'EWildPat', 'EAsPat', 'EViewPat', and 'ELazyPat'
from 'HsExpr' by using the ambiguity resolution system introduced
earlier for the command/expression ambiguity.

Problem: there are places in the grammar where we do not know whether we
are parsing an expression or a pattern, for example:

	do { Con a b <- x } -- 'Con a b' is a pattern
	do { Con a b }      -- 'Con a b' is an expression

Until we encounter binding syntax (<-) we don't know whether to parse
'Con a b' as an expression or a pattern.

The old solution was to parse as HsExpr always, and rejig later:

	checkPattern :: LHsExpr GhcPs -> P (LPat GhcPs)

This meant polluting 'HsExpr' with pattern-related constructors. In
other words, limitations of the parser were affecting the AST, and all
other code (the renamer, the typechecker) had to deal with these extra
constructors.

We fix this abstraction leak by parsing into an overloaded
representation:

	class DisambECP b where ...
	newtype ECP = ECP { runECP_PV :: forall b. DisambECP b => PV (Located b) }

See Note [Ambiguous syntactic categories] for details.

Now the intricacies of parsing have no effect on the hsSyn AST when it
comes to the expression/pattern ambiguity.

- - - - -


12 changed files:

- .gitlab-ci.yml
- compiler/deSugar/DsExpr.hs
- compiler/hieFile/HieAst.hs
- compiler/hsSyn/HsExpr.hs
- compiler/hsSyn/HsExtension.hs
- compiler/main/ErrUtils.hs
- compiler/parser/Lexer.x
- compiler/parser/Parser.y
- compiler/parser/RdrHsSyn.hs
- compiler/rename/RnEnv.hs
- compiler/rename/RnExpr.hs
- compiler/typecheck/TcRnTypes.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/compare/7e98201ad1d003b00656e6ffbc48fab596006ac9...03d9ccd5d722a788c35259dfd2dbc3267cf493a2

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/compare/7e98201ad1d003b00656e6ffbc48fab596006ac9...03d9ccd5d722a788c35259dfd2dbc3267cf493a2
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20190429/4410836e/attachment.html>