Submission #52874954

---

Source Code Expand

{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE FlexibleContexts #-}
{-# HLINT ignore "Use lambda-case" #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}

module Main where

import Control.Monad (replicateM)
import qualified Data.ByteString.Char8 as BC
import qualified Data.Char as C
import qualified Data.List as L
import Debug.Trace (trace)

main :: IO ()
main = do
  _ <- readLn @Int
  as <- readInputInts

  print $ L.length $ solve [] as

solve :: [Int] -> [Int] -> [Int]
solve res [] = res
solve [] (hAs : tAs) = solve [hAs] tAs
solve res@(hRes : tRes) (hAs : tAs) =
  if hRes /= hAs
    then solve (hAs : res) tAs
    else solve tRes ((hRes + 1) : tAs)

readInputInts :: IO [Int]
readInputInts = L.unfoldr (BC.readInt . BC.dropWhile C.isSpace) <$> BC.getLine

Submission Info

Compile Error

app/Main.hs:11:1: warning: [-Wunused-imports]
    The import of ‘Control.Monad’ is redundant
      except perhaps to import instances from ‘Control.Monad’
    To import instances alone, use: import Control.Monad()
   |
11 | import Control.Monad (replicateM)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:15:1: warning: [-Wunused-imports]
    The import of ‘Debug.Trace’ is redundant
      except perhaps to import instances from ‘Debug.Trace’
    To import instances alone, use: import Debug.Trace()
   |
15 | import Debug.Trace (trace)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^

Judge Result