ui: addenda for #494
This commit is contained in:
parent
e3d78fd0db
commit
1f362101cc
@ -16,7 +16,9 @@ import Control.Concurrent (threadDelay)
|
|||||||
import Control.Concurrent.Async
|
import Control.Concurrent.Async
|
||||||
import Control.Monad
|
import Control.Monad
|
||||||
-- import Control.Monad.IO.Class (liftIO)
|
-- import Control.Monad.IO.Class (liftIO)
|
||||||
|
#if !MIN_VERSION_vty(0,15,0)
|
||||||
import Data.Default (def)
|
import Data.Default (def)
|
||||||
|
#endif
|
||||||
-- import Data.Monoid --
|
-- import Data.Monoid --
|
||||||
import Data.List
|
import Data.List
|
||||||
import Data.Maybe
|
import Data.Maybe
|
||||||
|
|||||||
@ -88,8 +88,8 @@ executables:
|
|||||||
buildable: false
|
buildable: false
|
||||||
else:
|
else:
|
||||||
dependencies:
|
dependencies:
|
||||||
- brick >= 0.12 && < 0.17
|
- brick >= 0.12 && < 0.18
|
||||||
- vty >= 5.5 && < 5.15
|
- vty >= 5.5 && < 5.16
|
||||||
- condition: flag(threaded)
|
- condition: flag(threaded)
|
||||||
ghc-options: -threaded
|
ghc-options: -threaded
|
||||||
- condition: flag(oldtime)
|
- condition: flag(oldtime)
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user