Kasihymiö

input/code.hs:3:1: Warning:
    Top-level binding with no type signature:
      t :: forall a. Num a => a -> [Char] -> a

input/code.hs:5:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for t':
        Patterns not matched:
            _ _ ((GHC.Types.C# #x) : _) with #x `notElem` ['8', ')']

input/code.hs:9:1: Warning:
    Top-level binding with no type signature: main :: IO ()

input/code.hs:9:34: Warning:
    Defaulting the following constraint(s) to type `Integer'
      (Num a0) arising from a use of `t' at input/code.hs:9:34
      (Show a0) arising from a use of `print' at input/code.hs:9:27-31
    In the first argument of `print', namely `(t 0 l)'
    In the expression: print (t 0 l)
    In the second argument of `(>>=)', namely `(\ l -> print (t 0 l))'

{-# LANGUAGE BangPatterns #-}

t n0 xs = t' 0 n0 xs
  where
    t' !acc !_n [] = acc
    t' acc n ('8':rest) = t' acc (n + 1) rest
    t' acc n (')':rest) = t' (acc + n) n rest	

main = getLine >>= (\l -> print (t 0 l))

Test 1

Group: 1

Verdict: ACCEPTED

Test 2

Group: 1

Verdict: ACCEPTED

Test 3

Group: 1

Verdict: ACCEPTED

Test 4

Group: 1

Verdict: ACCEPTED

Test 5

Group: 1

Verdict: ACCEPTED

Test 6

Group: 2

Verdict: ACCEPTED

Test 7

Group: 2

Verdict: ACCEPTED

Test 8

Group: 2

Verdict: ACCEPTED

Test 9

Group: 2

Verdict: ACCEPTED

Test 10

Group: 2

Verdict: ACCEPTED