Comments only
authorJan Stolarek <jan.stolarek@p.lodz.pl>
Fri, 18 Oct 2013 16:18:27 +0000 (18:18 +0200)
committerJan Stolarek <jan.stolarek@p.lodz.pl>
Fri, 18 Oct 2013 16:18:27 +0000 (18:18 +0200)
compiler/stgSyn/CoreToStg.lhs

index 80b81a6..9c5bc10 100644 (file)
@@ -144,7 +144,8 @@ import Control.Monad (liftM, ap)
 -- to the code for `x'.
 --
 -- All of this is provided x is:
---   1. non-updatable;
+--   1. non-updatable - it must have at least one parameter (see Note
+--      [Join point abstraction]);
 --   2. guaranteed to be entered before the stack retreats -- ie x is not
 --      buried in a heap-allocated closure, or passed as an argument to
 --      something;