Update ghc version

Author: SergeyKuz1001

package.yaml

@@ -25,7 +25,7 @@ dependencies:
 - vector
 - HaTeX >= 3.20.0.0
 - regex-tdfa
-- MissingH
+#- MissingH
 - fgl
 - graphviz
 - text

printers/DotGraphWriter.hs

@@ -6,7 +6,6 @@ import Prelude hiding (Word)
 import Text.LaTeX.Base.Render
 import Text.LaTeX.Base
 import Lib
-import Data.Tuple.Utils
 import Data.Graph.Inductive.PatriciaTree (Gr)
 import Data.Text.Lazy (fromStrict, replace, pack)
 import Data.GraphViz
@@ -16,6 +15,9 @@ import Data.Text (Text)
 import qualified Data.ByteString.Lazy as B
 import Data.Text.Lazy.Encoding
 
+snd3 :: (a, b, c) -> b
+snd3 (_, b, _) = b
+
 tex2text :: LaTeXM a -> Data.Text.Text
 tex2text = render . execLaTeXM
 
@@ -26,4 +28,4 @@ instance Labellable Word where
         toLabelValue = StrLabel . fromStrict . tex2text . doLaTeX . substCommandsInWord 
 
 writeGraph :: FilePath -> Gr Word Int -> IO ()
-writeGraph f = B.writeFile f . encodeUtf8 . replace (pack "\\\\") (pack "\\") . renderDot . toDot . graphToDot quickParams
+writeGraph f = B.writeFile f . encodeUtf8 . replace (pack "\\\\") (pack "\\") . renderDot . toDot . graphToDot quickParams

printers/Main.hs

@@ -28,7 +28,6 @@ import SMInterpreter()
 import Helpers
 import DotGraphWriter()
 import MapleFuncWriter()
-import Data.Tuple.Utils
 import Console.Options
 import Data.List (isSuffixOf)
 
@@ -244,6 +243,7 @@ printPresentationGap is_det grammar outFileName = do
 printExample :: Bool -> Grammar -> String -> IO()
 printExample is_det grammar outFileName = renderFile outFileName exampleLatex
     where
+        fst3 (x, _, _) = x
         symm = toSymm is_det
         exampleLatex = execLaTeXM $
             do

src/TM2Tms.hs

@@ -5,7 +5,6 @@ import Data.List (transpose, intercalate)
 import Data.Set (toList)
 import Data.Map (fromList, lookup, Map)
 import Data.List.NonEmpty (reverse, NonEmpty(..), length)
-import Data.Tuple.Utils (snd3)
 import Data.Maybe (fromMaybe)
 
 import TMType
@@ -125,7 +124,7 @@ cmd2tmsTapeCmds tapeCmds = do
         makeIdTapeCommand (_, _, st) = (st, TmsSingleTapeCommand (Leave, Stay), st)
         startState = mergeMultipleNames . fmap (\(TmsState s, _, _) -> s)
         finalState = mergeMultipleNames . fmap (\(_, _, TmsState f) -> f)
-        commands = fmap snd3
+        commands = fmap $ \(_, x, _) -> x
 
 -- |Convert 'Square' to 'Char'.
 toValue :: Square -> Either String Char

src/TmsType.hs

@@ -3,9 +3,7 @@
 
 module TmsType where
 
-import Data.Tuple.Utils (fst3, snd3, thd3)
 import Data.List (intercalate)
-import Data.List.Utils (replace)
 import GHC.Unicode (isAlphaNum)
 
 import Prettyprinter
@@ -90,4 +88,21 @@ instance Show Tms where
 
 -- |Process string so that it does not contain illegal characters.
 filterStateName :: String -> String
-filterStateName = replace "^" "v" . filter (\c -> isAlphaNum c || elem c ['_', '^'])
+filterStateName = replace '^' 'v' . filter (\c -> isAlphaNum c || elem c ['_', '^'])
+  where
+    replace :: Eq a => a -> a -> [a] -> [a]
+    replace = replace' []
+    replace' :: Eq a => [a] -> a -> a -> [a] -> [a]
+    replace' r x y [] = reverse r
+    replace' r x y (z:zs)
+        | x == z =    replace' (y:r) x y zs
+        | otherwise = replace' (z:r) x y zs
+
+fst3 :: (a, b, c) -> a
+fst3 (a, _, _) = a
+
+snd3 :: (a, b, c) -> b
+snd3 (_, b, _) = b
+
+thd3 :: (a, b, c) -> c
+thd3 (_, _, c) = c

stack.yaml

@@ -19,8 +19,7 @@
 # resolver: ./custom-snapshot.yaml
 # resolver: https://example.com/snapshots/2018-01-01.yaml
 
-resolver: lts-17.11
-#resolver: lts-12.13
+resolver: lts-18.9
 
 # User packages to be built.
 # Various formats can be used as shown in the example below.