Desugar static forms to makeStatic calls.
13a85211040f
Actions

Authored by facundominguez on Jan 9 2017, 11:29 AM.

Description

Desugar static forms to makeStatic calls.

Summary:
Using makeStatic instead of applications of the StaticPtr data
constructor makes possible linting core when unboxing strict
fields.

Test Plan: ./validate

Reviewers: simonpj, goldfire, austin, bgamari, hvr

Reviewed By: simonpj

Subscribers: RyanGlScott, mboes, thomie

GHC Trac Issues: Trac #12622

Committed

facundominguez

Jan 13 2017, 2:37 PM

Reviewer

simonpj

Differential Revision

D2930: Desugar static forms to makeStatic calls.

Parents

rGHCdde63e00fcfd: Require python3 like everywhere else too

Branches

Unknown

Tags

Unknown

Build Status

Buildable 13193
Build 18367: [GHC] Linux/amd64: Continuous Integration
Build 18366: [GHC] OSX/amd64: Continuous Integration
Build 18365: [GHC] Windows/amd64: Continuous Integration

		Path
M		compiler/coreSyn/CoreLint.hs
M		compiler/coreSyn/CoreUtils.hs
M		compiler/coreSyn/MkCore.hs
M		compiler/deSugar/DsExpr.hs
M		compiler/main/StaticPtrTable.hs
M		compiler/main/TidyPgm.hs
M		compiler/prelude/PrelNames.hs
M		compiler/simplCore/SetLevels.hs
M		compiler/simplCore/SimplCore.hs
M		compiler/typecheck/TcExpr.hs
A	(dir)	libraries/base/GHC/StaticPtr/
A		libraries/base/GHC/StaticPtr/Internal.hs
M		libraries/base/base.cabal
A		testsuite/tests/codeGen/should_run/T12622.hs
P		testsuite/tests/codeGen/should_run/T12622.stdout Copied from libraries/base/tests/IO/IOError002.stdout
A		testsuite/tests/codeGen/should_run/T12622_A.hs
M		testsuite/tests/codeGen/should_run/all.T