removes commented out warning suppression

This commit is contained in:
pete-ts 2020-03-20 21:32:02 +00:00
parent b903ab4e56
commit 6475ff5b5b

View File

@ -1,5 +1,3 @@
--{-# OPTIONS_GHC -Wno-unused-top-binds #-} -- todo: delete
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}