s-expr打印功能中的错误

为了练习我的Haskell技能,我正在遵循Write Yourself a Scheme教程。我已经为s表达式实现了一个解析器,但是我遇到了打印功能问题。 当我运行以下程序时
main :: IO ()
main  =  do args <- getArgs
            putStrLn $ readExpr (args !! 0)
它正确地解析了s表达式,但是当我定义自己的
shows
而不是
deriving
时,我得到嵌套列表的错误输出和向量内的列表:
$ ./parser "(1 (2) 3)"
(1 (2 3))
$ ./parser "#(1 (2) 3)"
#(1 (2 3))
$ ./parser "(1 (2 (3)) 4)"
(1 (2 (3 4)))
$ ./parser "(1 (2 (3)) (4))"
(1 (2 (3 (4))))
其他情况和嵌套向量工作正常,但:
lars@zygmunt:~/src/scm48$ ./parser "(1 #(2) 3)"
(1 #(2) 3)
lars@zygmunt:~/src/scm48$ ./parser "#(1 #(2) 3)"
#(1 #(2) 3)
lars@zygmunt:~/src/scm48$ ./parser "(1 (2 3))"
(1 (2 3))
我已经将
LispVal
的表示改为包括
Nil
Pair
构造函数而不是
List
DottedList
,因为它们与Scheme数据模型匹配得更好。打印列表由
showsVal :: Value -> ShowS
showsVal Nil              =  ("()" ++)
showsVal (Pair x y)       =  ("(" ++) . showsPair x y . (++ ")")
showsVal (String s)       =  shows s
showsVal (Symbol n)       =  (n ++)
showsVal (Number x)       =  shows x
showsVal (Boolean True)   =  ("#t" ++)
showsVal (Boolean False)  =  ("#f" ++)
showsVal (Vector v)       =  ("#(" ++) . showsVec v . (")" ++)

showsPair x Nil         =  showsVal x
showsPair x (Pair y z)  =  (showsVal x) . (" " ++) . showsPair y z
showsPair x y           =  (showsVal x) . (" . " ++) . (showsVal y)

showsVec []      =  id
showsVec [x]     =  shows x
showsVec (x:xs)  =  shows x . (" " ++) . showsVec xs
我怀疑错误是在
showsPair
,但我无法弄明白。     
已邀请:
我发现自己:
showsVal (Pair x y)  =  ("(" ++) . showsPair x y . (++ ")")
本来应该
showsVal (Pair x y)  =  ("(" ++) . showsPair x y . (")" ++)
                                                --  ^^^^^^
    

要回复问题请先登录注册