"Serge D. Mechveliani" 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
