parseFullError :: String -> ThrowsError [Term]
parseFullError str 
    = case runParser parseTerms newContext "fullerror Parser" str of
        Left err -> throwError $ ParserError $ show err
        Right ts -> return ts

{- ------------------------------
   Helpers
   ------------------------------ -}
parseFullError :: String -> ThrowsError [Term]
parseFullError str 
    = case runParser parseTerms newContext "fullerror Parser" str of
        Left err -> throwError $ ParserError $ show err
        Right ts -> return ts

{- ------------------------------
   Helpers
   ------------------------------ -}
parseFullError str 
    = case runParser parseTerms newContext "fullerror Parser" str of
        Left err -> throwError $ ParserError $ show err
        Right ts -> return ts

{- ------------------------------
   Helpers
   ------------------------------ -}