如何分层“嵌套”使用 Haskell 漂亮打印进行缩进

Question

我想使用 Haskell Pretty 包打印 AST。

一切都运行良好，但嵌套结构无法正确缩进。

我做了这样的事情：

draw :: Pretty a => a -> String
draw = render.pretty

pretty (Letin  d  c ) =  text "let" <+> text (draw d) $$
                         nest 4 (text "in" <+> text (draw c))

但结果是这样的：

let Const  x := 2
    in let Var  y := Int 
    in y = 3; let Var  z := Int 
    in z = 0; z = z + 1 

似乎嵌套级别不是继承的，所以所有的都是绝对的+4边距，而不是在每个级别连续缩进，即相对于其父级+4，当前缩进级别。

Answer 1

您的意思是递归调用 pretty 吗？从你的问题中我无法判断。

尝试重现您所做的事情的快速测试：

import Text.PrettyPrint

data Letin = Letin String (Maybe Letin)

draw = show

pretty (Letin  d  c ) =
     text "let" <+> text (draw d) $
        nest 4 (text "in" <+> case c of Nothing -> text "empty";
                                        Just c' -> pretty c')

结果如预期：

let "x"
    in let "y"
           in empty

因此您可能需要列出更多代码。