[GHC] #11656: Alllow static pointers to local closed definitions
GHC
ghc-devs at haskell.org
Fri Apr 8 20:30:26 UTC 2016
#11656: Alllow static pointers to local closed definitions
-------------------------------------+-------------------------------------
Reporter: mboes | Owner:
| facundo.dominguez
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: 11698 | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by simonpj):
> I would be thankful for any suggestion about which part of the linter to
modify in order to produce errors when applications of the {{{StaticPtr}}}
constructor appear nested within other expressions.
It's a bit awkward with the current structure of `CoreLint`. I best might
be
* Make `lintCoreExpr` complain if if it finds a `StaticPtr` constructor
* Make the non-recursive case of `lint_bind` (in `lintCorBindings`) call a
new function `lintTopNonRec` or something.
* `lintTopNonRec` can have a case for `(StaticPtr e1 e2)` on its RHS, and
allow it.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11656#comment:10>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list