showError :: WoofError -> String
showError (UnboundVar message varname) = message ++ ": " ++ varname
showError :: WoofError -> String
showError (UnboundVar message varname) = message ++ ": " ++ varname
showError (UnboundVar message varname) = message ++ ": " ++ varname