~jojo/Carth

6717e08bb75fdde3c43f7ee5c01c5520586d3c43 — JoJo 2 years ago 0d37ec6
Minor fix in prettyTFun
1 files changed, 1 insertions(+), 2 deletions(-)

M src/Ast.hs
M src/Ast.hs => src/Ast.hs +1 -2
@@ 289,8 289,7 @@ prettyTFun a b =
        f = \case
            TFun a' b' -> first (a' :) (f b')
            t -> ([], t)
    in concat
        ["(Fun ", pretty a, " ", spcPretty bParams, " ", pretty bBody, ")"]
    in concat ["(Fun ", pretty a, " ", spcPretty (bParams ++ [bBody]), ")"]

prettyTPrim :: TPrim -> String
prettyTPrim = \case