解析错误（可能是错误的缩进）

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＆lt; -t2没有任何意义。请更清楚你打算用替代功能做什么。