@@ -1,4 +1,3 @@
1−{-# LANGUAGE LambdaCase #-}
2{-# LANGUAGE OverloadedStrings #-}
1{-# LANGUAGE OverloadedStrings #-}
3{-# LANGUAGE ViewPatterns #-}
2{-# LANGUAGE ViewPatterns #-}
@@ -74,10 +73,9 @@ renderTokenForest :: (IsToken t, Show t) => Forest t -> [t]
74renderTokenForest = mconcat . fmap renderTokenTree
73renderTokenForest = mconcat . fmap renderTokenTree
76renderTokenTree :: (IsToken t) => Tree t -> [t]
75renderTokenTree :: (IsToken t) => Tree t -> [t]
77−renderTokenTree = \case
78− (Node o@(toToken -> Just (TagOpen n _)) ts)
76+renderTokenTree (Node o@(toToken -> Just (TagOpen n _)) ts)
79− -> [o] <> renderTokenForest ts <> [fromToken $ TagClose n]
77+ = [o] <> renderTokenForest ts <> [fromToken $ TagClose n]
80− (Node t [])
78+renderTokenTree (Node t []) =
82− bad
80+renderTokenTree _
83− -> error "renderTokenTree: leaf node with children."
81+ = error "renderTokenTree: leaf node with children."