9 Apr
2011
9 Apr
'11
12:15 p.m.
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