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

Differential Revision: https://phabricator.haskell.org/D2930

GHC Trac Issues: #12622

1 files changed, 27 insertions, 0 deletions

diff --git a/libraries/base/GHC/StaticPtr/Internal.hs b/libraries/base/GHC/StaticPtr/Internal.hs
new file mode 100644
index 0000000000..6605f39b97
--- /dev/null
+++ b/libraries/base/GHC/StaticPtr/Internal.hs
@@ -0,0 +1,27 @@
+-- |
+-- Module      :  GHC.StaticPtr
+-- Copyright   :  (C) 2016 I/O Tweag
+-- License     :  see libraries/base/LICENSE
+--
+-- Maintainer  :  cvs-ghc@haskell.org
+-- Stability   :  internal
+-- Portability :  non-portable (GHC Extensions)
+--
+-- Internal definitions needed for compiling static forms.
+--
+
+-- By omitting interface pragmas, we drop the strictness annotations
+-- which otherwise would bias GHC to conclude that any code using
+-- the static form would fail.
+{-# OPTIONS_GHC -fomit-interface-pragmas #-}
+module GHC.StaticPtr.Internal (makeStatic) where
+
+import GHC.StaticPtr(StaticPtr)
+
+-- 'makeStatic' should never be called by the user.
+-- See Note [Grand plan for static forms] in StaticPtrTable.
+
+makeStatic :: (Int, Int) -> a -> StaticPtr a
+makeStatic (line, col) _ =
+    error $ "GHC bug - makeStatic: Unresolved static form at line "
+            ++ show line ++ ", column " ++ show col ++ "."