Submission #54342566

---

Source Code Expand

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

module Main where

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

main :: IO ()
main =
  do
    [_, m] <- readInputInts
    hs <- readInputInts

    let res =
          L.foldl'
            ( \(m', count) h ->
                if m' >= h
                  then (m' - h, count + 1)
                  else (0, count)
            )
            (m, 0)
            hs

    print $ snd res

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

Submission Info

Compile Error

app/Main.hs:10: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()
   |
10 | import Control.Monad (replicateM)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

app/Main.hs:32:5: warning: [-Wtype-defaults]
    • Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
        (Show a0) arising from a use of ‘print’ at app/Main.hs:32:5-9
        (Num a0) arising from a use of ‘+’ at app/Main.hs:26:39
    • In the first argument of ‘($)’, namely ‘print’
      In a stmt of a 'do' block: print $ snd res
      In the expression:
        do [_, m] <- readInputInts
           hs <- readInputInts
           let res = L.foldl' (\ (m', count) h -> ...) ... hs
           print $ snd res
   |
32 |     print $ snd res
   |     ^^^^^

Judge Result