없음 인스턴스 (NUM [정수]) 없음 인스턴스 • 리터럴에서 '1'

Question

plus1 :: [Integer] -> [Integer] -> [Integer] 
plus1 (x:xs) remain 
    | (x==0) && (remain==1) = [1] ++ (plus1 xs (remain-1)) 
    | (x==1) && (remain==1) = [0] ++ (plus1 xs remain) 
    | (x==0) && (remain==0) = [0] ++ (plus1 xs 0) 
    | (x==1) && (remain==0) = [1] ++ (plus1 xs 0) 
    | otherwise = [] 

발생 (NUM [정수]) '의 두 번째 인수 리터럴에서'1 '

• 발생한 (==) ', 즉'는 식 1 '

번째 인수

'(& &) ", 즉"(유지 == 1) '

을 (X == 0) & & (남은 == 1)

Answer 1

귀하의 유형 서명에 따르면 remain은 에서 1과는 Integer 인 것으로 표시됩니다. 형식 서명이 plus1 :: [Integer] -> Integer -> [Integer]