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:3:1: 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:7:1: Warning:
    Top-level binding with no type signature: main :: IO ()

input/code.hs:7:34: Warning:
    Defaulting the following constraint(s) to type `Integer'
      (Num a0) arising from a use of `t' at input/code.hs:7:34
      (Show a0) arising from a use of `print' at input/code.hs:7: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 _ [] = 0
t (!n) ('8':rest) = t (n+1) rest
t (!n) (')':rest) = n + (t 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: RUNTIME ERROR

Stack space overflow: current size 8388608 bytes.
Use `+RTS -Ksize -RTS' to increase it.

Test 8

Group: 2

Verdict: ACCEPTED

Test 9

Group: 2

Verdict: ACCEPTED

Test 10

Group: 2

Verdict: ACCEPTED