[Git][ghc/ghc][wip/cusk-ext] 8 commits: Implement ImportQualifiedPost

[Vladislav Zavialov]

Vladislav Zavialov pushed to branch wip/cusk-ext at Glasgow Haskell Compiler / GHC


Commits:
ed5f858b by Shayne Fletcher at 2019-05-08T19:29:01Z
Implement ImportQualifiedPost

- - - - -
d9bdff60 by Kevin Buhr at 2019-05-08T19:35:13Z
stg_floatToWord32zh: zero-extend the Word32 (#16617)

The primop stgFloatToWord32 was sign-extending the 32-bit word, resulting
in weird negative Word32s.  Zero-extend them instead.

Closes #16617.

- - - - -
9a3acac9 by Ömer Sinan Ağacan at 2019-05-08T19:41:17Z
Print PAP object address in stg_PAP_info entry code

Continuation to ce23451c

- - - - -
4c86187c by Richard Eisenberg at 2019-05-08T19:47:33Z
Regression test for #16627.

test: typecheck/should_fail/T16627

- - - - -
93f34bbd by John Ericson at 2019-05-08T19:53:40Z
Purge TargetPlatform_NAME and cTargetPlatformString

- - - - -
9d9af0ee by Kevin Buhr at 2019-05-08T19:59:46Z
Add regression test for old issue #507

- - - - -
396e01b4 by Vladislav Zavialov at 2019-05-08T20:05:52Z
Add a regression test for #14548

- - - - -
9f2d01f8 by Vladislav Zavialov at 2019-05-08T23:06:21Z
Guard CUSKs behind a language pragma

GHC Proposal #36 describes a transition plan away from CUSKs and to
top-level kind signatures:

1. Introduce a new extension, -XCUSKs, on by default, that detects CUSKs
   as they currently exist.
2. We turn off the -XCUSKs extension in a few releases and remove it
   sometime thereafter.

This patch implements phase 1 of this plan, introducing a new language
extension to control whether CUSKs are enabled. When top-level kind
signatures are implemented, we can transition to phase 2.

- - - - -


30 changed files:

- compiler/ghc.mk
- compiler/hsSyn/HsImpExp.hs
- compiler/main/DynFlags.hs
- compiler/main/HeaderInfo.hs
- compiler/main/HscStats.hs
- compiler/main/SysTools.hs
- compiler/parser/Lexer.x
- compiler/parser/Parser.y
- compiler/parser/RdrHsSyn.hs
- compiler/rename/RnNames.hs
- compiler/typecheck/TcRnDriver.hs
- compiler/typecheck/TcTyClsDecls.hs
- compiler/utils/Panic.hs
- docs/users_guide/glasgow_exts.rst
- ghc/GHCi/UI.hs
- hadrian/src/Rules/Generate.hs
- includes/Cmm.h
- includes/ghc.mk
- libraries/base/cbits/CastFloatWord.cmm
- libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs
- rts/Apply.cmm
- + testsuite/tests/codeGen/should_run/T16617.hs
- + testsuite/tests/codeGen/should_run/T16617.stdout
- testsuite/tests/codeGen/should_run/all.T
- testsuite/tests/driver/T4437.hs
- + testsuite/tests/ghci/should_run/T507.script
- + testsuite/tests/ghci/should_run/T507.stdout
- testsuite/tests/ghci/should_run/all.T
- testsuite/tests/module/all.T
- + testsuite/tests/module/mod181.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/compare/8dab9bfd1c98d044176928a48b44f44726b853c6...9f2d01f86b8827e2d611501d576f50b538a96c2c

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/compare/8dab9bfd1c98d044176928a48b44f44726b853c6...9f2d01f86b8827e2d611501d576f50b538a96c2c
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/20190508/2436edaa/attachment-0001.html>