구문 분석 오류 (아마도 잘못된 들여 쓰기) 내가 다음 코드 줄을 실행할 때

Question

내가

TyInfer.hs:115:0: parse error (possibly incorrect indentation) 

사람이 문제가 무엇인지 나를 설명 할 수있는 다음과 같은 오류를 얻을.

type Subst = [(TyVar, Type)] 

    -- --------------------------------------------------------------------- 
    -- Unification 
    -- 
    unify :: Type -> Type -> Subst 
    unify t1 t2 = error "substBnd: implement me" 
    -- --------------------------------------------------------------------- 
    -- Replace variables in the type with the types in the Subst 
    -- 
    line: no 115: substitute :: Subst -> Type -> Type 
    substitute [(_ , t2)] tv = tv <- t2 
    -- --------------------------------------------------------------------- 
    -- Replace variables in the type annotations of a Bind, Expr, or Alt 
    -- 
    substBnd :: Subst -> Bind -> Bind 
    substBnd _ _ = error "substBnd: implement me" 

감사합니다.

Answer 1

substitute을 정의하는 행은 다른 값을 정의하는 행보다 많이 들여 쓰기됩니다. 그것들을 풀어 라.

Answer 2

대입 자의 들여 쓰기와 그 정의가 정확하지 않습니다. TV < -t2는 이해가되지 않습니다. 대체 기능을 사용하여 수행하려는 작업을 더 명확히하십시오.