Commit f0289756 authored by Jan Stolarek's avatar Jan Stolarek

Remove redundant NoMonoLocalBinds pragma

parent d5fb6709
{-# LANGUAGE GADTs, NoMonoLocalBinds #-}
-- Norman likes local bindings
-- If this module lives on I'd like to get rid of the NoMonoLocalBinds
-- extension in due course
{-# LANGUAGE GADTs #-}
-- Todo: remove -fno-warn-warnings-deprecations
{-# OPTIONS_GHC -fno-warn-warnings-deprecations #-}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment