4 Dec
2006
4 Dec
'06
9:25 p.m.
"Serge D. Mechveliani" <mechvel@botik.ru> wrote:
{-# OPTIONS_GHC -fglasgow-ext -prof -auto-all #-}
LemmaSearch.hs: unknown flags in {-# OPTIONS #-} pragma: -fglasgow-ext -prof -auto-all
You have spelled the first option wrongly: should be -fglasgow-exts. Regards, Malcolm