[GHC] #14770: Allow static pointer expressions to have static pointer free variables

[GHC]

#14770: Allow static pointer expressions to have static pointer free variables
-------------------------------------+-------------------------------------
        Reporter:  TheKing01         |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.2
      Resolution:                    |             Keywords:
                                     |  StaticPointers
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by facundo.dominguez):

 I don't understand how this works yet.

 Static pointers are put in the static pointer table (SPT) before the
 program executes. What is put in the SPT if the static form is allowed to
 have free variables?

 Before executing the program, the values of the free variables might be
 still unknown.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14770#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler