Search code examples
haskellsubstitutionunification

Type Error In Haskell Function

I've written a Haskell function like so: 

shift :: Subst a -> Subst a
shift (S s) = [(x, (subst s' d)) | (x,d) <- s] where 
      s' = [(x,d) | (x,d) <- s, null (vars d)]

With a data type like so data Subst a = S [(String,a)]

I've declared subst as subst :: Subst a -> a -> a and vars asvars :: a -> [String]. When I run this, I get a type error. Any ideas why?

Solution

  • Your shift function is declared to return a Subst, but it really returns a list. You probably meant to wrap the Subst constructor around the list.

    Then your subst function is declared to take a Subst argument, but you're calling it with a list - same issue basically.

    Also your vars function probably contains a type error as well because, as I indicated in my answer to your previous question, you can't define a meaningful function of type a -> [String].