diff options
author | Ian Lynagh <igloo@earth.li> | 2010-10-15 17:27:46 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2010-10-15 17:27:46 +0000 |
commit | bf60bbfb2e76a88265c60a1e9b4f7c2dd1bbfa11 (patch) | |
tree | 0391e51e685a93efb25952742809ede61558c474 /docs | |
parent | 1be165c939bbfa7bb287eae3ef1a989ef6086355 (diff) | |
download | haskell-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.xml | 6 |
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> |