Use Data.Map.Strict instead for a ~15% parsing speedup

This commit is contained in:
Vidar Holen 2022-07-28 19:00:03 -07:00
parent c76b8d9a32
commit 04db46381f
1 changed files with 1 additions and 1 deletions

View File

@ -46,7 +46,7 @@ import Text.Parsec.Error
import Text.Parsec.Pos import Text.Parsec.Pos
import qualified Control.Monad.Reader as Mr import qualified Control.Monad.Reader as Mr
import qualified Control.Monad.State as Ms import qualified Control.Monad.State as Ms
import qualified Data.Map as Map import qualified Data.Map.Strict as Map
import Test.QuickCheck.All (quickCheckAll) import Test.QuickCheck.All (quickCheckAll)