diff options
| author | Facundo DomÃnguez <facundo.dominguez@tweag.io> | 2017-11-15 11:37:32 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-11-15 11:37:55 -0500 |
| commit | 6dfe9828e2b3bd79e22e89c919b0d1b92273b718 (patch) | |
| tree | 9cf6e590dc602a2c2f4388a8a4924325e74908c5 /compiler/rename/RnExpr.hs | |
| parent | f5dc8ccc29429d0a1d011f62b6b430f6ae50290c (diff) | |
| download | haskell-6dfe9828e2b3bd79e22e89c919b0d1b92273b718.tar.gz | |
StaticPointers: Clarify documentation
* Document requirement to use the same binaries.
* Fix some code comments.
Test Plan: ./validate
Reviewers: bgamari, mboes, hvr
Reviewed By: bgamari, mboes
Subscribers: rwbarton, thomie
Differential Revision: https://phabricator.haskell.org/D4172
Diffstat (limited to 'compiler/rename/RnExpr.hs')
| -rw-r--r-- | compiler/rename/RnExpr.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rename/RnExpr.hs b/compiler/rename/RnExpr.hs index 8f719c4b0c..22e474b481 100644 --- a/compiler/rename/RnExpr.hs +++ b/compiler/rename/RnExpr.hs @@ -371,9 +371,9 @@ rnExpr e@(ELazyPat {}) = patSynErr e empty * * ************************************************************************ -For the static form we check that the free variables are all top-level -value bindings. This is done by checking that the name is external or -wired-in. See the Notes about the NameSorts in Name.hs. +For the static form we check that it is not used in splices. +We also collect the free variables of the term which come from +this module. See Note [Grand plan for static forms] in StaticPtrTable. -} rnExpr e@(HsStatic _ expr) = do |