mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Fix build
Make it work with GHC 8.2
This commit is contained in:
parent
02e9ea5ea5
commit
fcf5230bbd
@ -12,6 +12,7 @@ module Main where
|
||||
import Control.Monad (when,foldM)
|
||||
import Data.List (isPrefixOf,partition,nub)
|
||||
import Data.Monoid (Endo(..))
|
||||
import Data.Semigroup(Semigroup(..))
|
||||
import System.Console.GetOpt
|
||||
(getOpt,usageInfo,ArgOrder(..),OptDescr(..),ArgDescr(..))
|
||||
import System.Directory
|
||||
|
@ -24,7 +24,8 @@ executable cryptol-test-runner
|
||||
directory,
|
||||
HUnit,
|
||||
test-framework,
|
||||
test-framework-hunit
|
||||
test-framework-hunit,
|
||||
semigroups
|
||||
GHC-options: -Wall -O2
|
||||
Default-language: Haskell2010
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user