Update dependencies to lts-8.5

osek-verification.cabal

@@ -33,7 +33,7 @@ library
                      , Compare.Matching
   hs-source-dirs:      src
   build-depends:       base >=4.9 && <4.10
-                     , megaparsec >= 5 && <5.1
+                     , megaparsec >= 5 && <5.3
                      , text >= 1.2 && <1.3
                      , containers >= 0.5 && <0.6
                      , array >= 0.5 && <0.6
@@ -46,7 +46,7 @@ library
                      , microlens >= 0.4 && < 0.5
                      , microlens-th >= 0.4 && < 0.5
   default-language:    Haskell2010
-  ghc-options:         -Wall -fdefer-typed-holes -fno-warn-name-shadowing
+  ghc-options:         -Wall -fno-warn-name-shadowing
 
 executable mockup_generator
   main-is:             Main.hs
@@ -54,11 +54,11 @@ executable mockup_generator
                      , text >= 1.2 && <1.3
                      , bytestring >= 0.10 && <0.11
                      , osek-verification
-                     , optparse-applicative >= 0.12 && <0.13
+                     , optparse-applicative >= 0.12 && <0.14
                      , microlens >= 0.4 && < 0.5
   hs-source-dirs:      src/main
   default-language:    Haskell2010
-  ghc-options:         -Wall -fdefer-typed-holes -fno-warn-name-shadowing
+  ghc-options:         -Wall -fno-warn-name-shadowing
 
 test-suite spec
   type:                exitcode-stdio-1.0
@@ -76,8 +76,8 @@ test-suite spec
                      , Compare.CompareSpec
   build-depends:       base >= 4.8 && <4.10
                      , osek-verification
-                     , hspec >= 2.2.3 && <2.3
-                     , QuickCheck >= 2.8 && <2.9
+                     , hspec >= 2.2.3 && <2.5
+                     , QuickCheck >= 2.8 && <2.10
                      , quickcheck-text >= 0.1.2 && <0.2
                      , text
                      , array >= 0.5 && <0.6
@@ -91,4 +91,4 @@ test-suite spec
                      , fgl >= 5.5 && < 5.6
                      , microlens >= 0.4 && < 0.5
   default-language:    Haskell2010
-  ghc-options:         -Wall -fdefer-typed-holes -fno-warn-name-shadowing
+  ghc-options:         -Wall -fno-warn-name-shadowing

src/main/Main.hs

@@ -3,8 +3,9 @@
 module Main where
 
 import           Control.Monad
-import           System.IO
+import           Data.Semigroup
 import           System.Exit
+import           System.IO
 
 import qualified Data.ByteString.Lazy as BS
 import qualified Data.Text.IO as T

stack.yaml

@@ -3,5 +3,4 @@ extra-package-dbs: []
 packages:
 - '.'
 extra-deps:
-- aeson-1.0.2.1
-resolver: lts-7.13
+resolver: lts-8.5