Haskellのcase文がパースエラーになる

Question

すみません、Haskell初心者です。if文だと動作するのにcase文だとエラーになってしまうので、ソースコードの誤りを教えて頂きたく。ちなみにpaiza.ioを使用しています。

case文を使用したコード(parse error)

import Control.Monad
import Control.Applicative
import Data.List

data Operation a = PushBack a | RandomAccess a | PopBack

-- reads an Operation, input i is dummy.
readOperation :: Int -> IO Operation Int
readOperation i = do
    opStr <- getLine
    let opList = (map read (words opStr)) :: [Int]
    let op = case (head opList) of
        0 -> PushBack (opList !! 1)
        1 -> RandomAccess (opList !! 1)
        _ -> PopBack
    return op

Main.hs:28:11: parse error on input ‘->’
「0 -> PushBack (opList !! 1)」の行です。

if文を使用したコード(コンパイルできる)

import Control.Monad
import Control.Applicative
import Data.List

data Operation a = PushBack a | RandomAccess a | PopBack

-- reads an Operation, input i is dummy.
readOperation :: Int -> IO (Operation Int)
readOperation i = do
    opStr <- getLine
    let opList = (map read (words opStr)) :: [Int]
    let op = if (head opList) == 0
            then PushBack (opList !! 1)
            else if (head opList) == 1
                then RandomAccess (opList !! 1)
                else PopBack
    return op

よろしくお願いします

Answer 1

下記のように、0 -> ...などの行をcaseよりも後ろの桁で始めれば直せます。
この辺のエラーメッセージわかりづらいですよね...

    let op = case (head opList) of
              0 -> PushBack (opList !! 1)
              1 -> RandomAccess (opList !! 1)
              _ -> PopBack

ついでに。 IO Operation Int の箇所でコンパイルエラーになります。
がこれはGHCが「IOの型引数としてOperationとIntを渡した」と解釈するためです。
関数適用と同様、型引数をとる型への適用も最高の優先順位で処理されるので気をつけてください。
IO (Operation Int) と書いて、 Int が Operation に適用されていることを明示すれば解決できます。

Comments

[anndonut]

どうもありがとうございます。とても助かります。