removes two unused language pragmas

This commit is contained in:
pete-ts 2020-03-20 21:47:41 +00:00
parent bc109fda4a
commit 39894882b8

View File

@ -1,8 +1,6 @@
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ViewPatterns #-}
{-# LANGUAGE OverloadedStrings #-}
-- | Execute a computation of type '{IO} () that has been previously added to