summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2010-10-15 17:27:46 +0000
committerIan Lynagh <igloo@earth.li>2010-10-15 17:27:46 +0000
commitbf60bbfb2e76a88265c60a1e9b4f7c2dd1bbfa11 (patch)
tree0391e51e685a93efb25952742809ede61558c474 /docs
parent1be165c939bbfa7bb287eae3ef1a989ef6086355 (diff)
downloadhaskell-bf60bbfb2e76a88265c60a1e9b4f7c2dd1bbfa11.tar.gz
Add a -fghci-sandbox flag so that we can en/disable the ghci sandbox
It's on by default (which matches the previous behaviour). Motivation: GLUT on OS X needs to run on the main thread. If you try to use it from another thread then you just get a white rectangle rendered. For this, or anything else with such restrictions, you can turn the GHCi sandbox off and things will be run in the main thread.
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/flags.xml6
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 5a3458aa42..e10e76ac50 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -2538,6 +2538,12 @@ phase <replaceable>n</replaceable></entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
+ <row>
+ <entry><option>-fno-ghci-sandbox</option></entry>
+ <entry>Turn off the GHCi sandbox. Means computations are run in teh main thread, rather than a forked thread.</entry>
+ <entry>dynamic</entry>
+ <entry>-</entry>
+ </row>
</tbody>
</tgroup>
</informaltable>