Changing language options in ghci at runtime
Hello, does anyone know whether you can somehow change the currently active language flags during a ghci session (say change what `:show languages' outputs)? If no, is this possible by using the GHC API? Cheers, Simon
On Saturday 09 April 2011 13:50:03, Simon Hengel wrote:
Hello, does anyone know whether you can somehow change the currently active language flags during a ghci session (say change what `:show languages' outputs)?
:set -Xlanguage I suppose some languages wouldn't work/make sense (CPP, TH) but most you can toggle that way.
If no, is this possible by using the GHC API?
Cheers, Simon
On Sat, Apr 09, 2011 at 02:04:47PM +0200, Daniel Fischer wrote:
On Saturday 09 April 2011 13:50:03, Simon Hengel wrote:
Hello, does anyone know whether you can somehow change the currently active language flags during a ghci session (say change what `:show languages' outputs)?
:set -Xlanguage Ah, I somehow missed that. Thank you very much!
Cheers, Simon
participants (2)
-
Daniel Fischer -
Simon Hengel