Replace all `briDocByExact` by `unknownNodeError`
parent
d444c6e386
commit
0229a50785
|
@ -70,7 +70,7 @@ layoutGuardLStmt lgstmt@(L _ stmtLR) = docWrapNode lgstmt $ case stmtLR of
|
||||||
expDoc <- docSharedWrapper layoutExpr expr
|
expDoc <- docSharedWrapper layoutExpr expr
|
||||||
docCols ColBindStmt
|
docCols ColBindStmt
|
||||||
[appSep patDoc, docSeq [appSep $ docLit $ Text.pack "<-", expDoc]]
|
[appSep patDoc, docSeq [appSep $ docLit $ Text.pack "<-", expDoc]]
|
||||||
_ -> briDocByExact lgstmt -- TODO
|
_ -> unknownNodeError "" lgstmt -- TODO
|
||||||
|
|
||||||
layoutBind :: ToBriDocC (HsBindLR RdrName RdrName) (Either [BriDocNumbered] BriDocNumbered)
|
layoutBind :: ToBriDocC (HsBindLR RdrName RdrName) (Either [BriDocNumbered] BriDocNumbered)
|
||||||
layoutBind lbind@(L _ bind) = case bind of
|
layoutBind lbind@(L _ bind) = case bind of
|
||||||
|
@ -85,7 +85,7 @@ layoutBind lbind@(L _ bind) = case bind of
|
||||||
mWhereDocs <- layoutLocalBinds whereBinds
|
mWhereDocs <- layoutLocalBinds whereBinds
|
||||||
binderDoc <- docLit $ Text.pack "="
|
binderDoc <- docLit $ Text.pack "="
|
||||||
fmap Right $ docWrapNode lbind $ layoutPatternBindFinal binderDoc (Just patDoc) clauseDocs mWhereDocs
|
fmap Right $ docWrapNode lbind $ layoutPatternBindFinal binderDoc (Just patDoc) clauseDocs mWhereDocs
|
||||||
_ -> Right <$> briDocByExact lbind
|
_ -> Right <$> unknownNodeError "" lbind
|
||||||
|
|
||||||
data BagBindOrSig = BagBind (LHsBindLR RdrName RdrName)
|
data BagBindOrSig = BagBind (LHsBindLR RdrName RdrName)
|
||||||
| BagSig (LSig RdrName)
|
| BagSig (LSig RdrName)
|
||||||
|
|
|
@ -38,13 +38,13 @@ layoutExpr lexpr@(L _ expr) = docWrapNode lexpr $ case expr of
|
||||||
TrueExprHole oname -> docLit $ Text.pack $ occNameString oname
|
TrueExprHole oname -> docLit $ Text.pack $ occNameString oname
|
||||||
HsRecFld{} -> do
|
HsRecFld{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsRecFld" lexpr
|
||||||
HsOverLabel{} -> do
|
HsOverLabel{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsOverLabel{}" lexpr
|
||||||
HsIPVar{} -> do
|
HsIPVar{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsOverLabel{}" lexpr
|
||||||
HsOverLit (OverLit olit _ _ _) -> do
|
HsOverLit (OverLit olit _ _ _) -> do
|
||||||
allocateNode $ overLitValBriDoc olit
|
allocateNode $ overLitValBriDoc olit
|
||||||
HsLit lit -> do
|
HsLit lit -> do
|
||||||
|
@ -138,10 +138,10 @@ layoutExpr lexpr@(L _ expr) = docWrapNode lexpr $ case expr of
|
||||||
]
|
]
|
||||||
HsAppType{} -> do
|
HsAppType{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsAppType{}" lexpr
|
||||||
HsAppTypeOut{} -> do
|
HsAppTypeOut{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsAppTypeOut{}" lexpr
|
||||||
OpApp expLeft@(L _ OpApp{}) expOp _ expRight -> do
|
OpApp expLeft@(L _ OpApp{}) expOp _ expRight -> do
|
||||||
let gather :: [(LHsExpr RdrName, LHsExpr RdrName)] -> LHsExpr RdrName -> (LHsExpr RdrName, [(LHsExpr RdrName, LHsExpr RdrName)])
|
let gather :: [(LHsExpr RdrName, LHsExpr RdrName)] -> LHsExpr RdrName -> (LHsExpr RdrName, [(LHsExpr RdrName, LHsExpr RdrName)])
|
||||||
gather opExprList = \case
|
gather opExprList = \case
|
||||||
|
@ -446,7 +446,7 @@ layoutExpr lexpr@(L _ expr) = docWrapNode lexpr $ case expr of
|
||||||
]
|
]
|
||||||
HsDo{} -> do
|
HsDo{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsDo{} no comp" lexpr
|
||||||
ExplicitList _ _ elems@(_:_) -> do
|
ExplicitList _ _ elems@(_:_) -> do
|
||||||
elemDocs <- elems `forM` docSharedWrapper layoutExpr
|
elemDocs <- elems `forM` docSharedWrapper layoutExpr
|
||||||
docAlt
|
docAlt
|
||||||
|
@ -466,7 +466,7 @@ layoutExpr lexpr@(L _ expr) = docWrapNode lexpr $ case expr of
|
||||||
docLit $ Text.pack "[]"
|
docLit $ Text.pack "[]"
|
||||||
ExplicitPArr{} -> do
|
ExplicitPArr{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "ExplicitPArr{}" lexpr
|
||||||
RecordCon lname _ _ (HsRecFields [] Nothing) -> do
|
RecordCon lname _ _ (HsRecFields [] Nothing) -> do
|
||||||
let t = lrdrNameToText lname
|
let t = lrdrNameToText lname
|
||||||
docWrapNode lname $ docSeq
|
docWrapNode lname $ docSeq
|
||||||
|
@ -618,7 +618,7 @@ layoutExpr lexpr@(L _ expr) = docWrapNode lexpr $ case expr of
|
||||||
]
|
]
|
||||||
ExprWithTySigOut{} -> do
|
ExprWithTySigOut{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "ExprWithTySigOut{}" lexpr
|
||||||
ArithSeq _ Nothing info ->
|
ArithSeq _ Nothing info ->
|
||||||
case info of
|
case info of
|
||||||
From e1 -> do
|
From e1 -> do
|
||||||
|
@ -665,60 +665,60 @@ layoutExpr lexpr@(L _ expr) = docWrapNode lexpr $ case expr of
|
||||||
unknownNodeError "ArithSeq" lexpr
|
unknownNodeError "ArithSeq" lexpr
|
||||||
PArrSeq{} -> do
|
PArrSeq{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "PArrSeq{}" lexpr
|
||||||
HsSCC{} -> do
|
HsSCC{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsSCC{}" lexpr
|
||||||
HsCoreAnn{} -> do
|
HsCoreAnn{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsCoreAnn{}" lexpr
|
||||||
HsBracket{} -> do
|
HsBracket{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsBracket{}" lexpr
|
||||||
HsRnBracketOut{} -> do
|
HsRnBracketOut{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsRnBracketOut{}" lexpr
|
||||||
HsTcBracketOut{} -> do
|
HsTcBracketOut{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsTcBracketOut{}" lexpr
|
||||||
HsSpliceE{} -> do
|
HsSpliceE{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsSpliceE{}" lexpr
|
||||||
HsProc{} -> do
|
HsProc{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsProc{}" lexpr
|
||||||
HsStatic{} -> do
|
HsStatic{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsStatic{}" lexpr
|
||||||
HsArrApp{} -> do
|
HsArrApp{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsArrApp{}" lexpr
|
||||||
HsArrForm{} -> do
|
HsArrForm{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsArrForm{}" lexpr
|
||||||
HsTick{} -> do
|
HsTick{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsTick{}" lexpr
|
||||||
HsBinTick{} -> do
|
HsBinTick{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsBinTick{}" lexpr
|
||||||
HsTickPragma{} -> do
|
HsTickPragma{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsTickPragma{}" lexpr
|
||||||
EWildPat{} -> do
|
EWildPat{} -> do
|
||||||
docLit $ Text.pack "_"
|
docLit $ Text.pack "_"
|
||||||
EAsPat{} -> do
|
EAsPat{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "EAsPat{}" lexpr
|
||||||
EViewPat{} -> do
|
EViewPat{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "EViewPat{}" lexpr
|
||||||
ELazyPat{} -> do
|
ELazyPat{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "ELazyPat{}" lexpr
|
||||||
HsWrap{} -> do
|
HsWrap{} -> do
|
||||||
-- TODO
|
-- TODO
|
||||||
briDocByExact lexpr
|
unknownNodeError "HsWrap{}" lexpr
|
||||||
|
|
||||||
litBriDoc :: HsLit -> BriDocFInt
|
litBriDoc :: HsLit -> BriDocFInt
|
||||||
litBriDoc = \case
|
litBriDoc = \case
|
||||||
|
|
|
@ -129,4 +129,4 @@ layoutPat lpat@(L _ pat) = docWrapNode lpat $ case pat of
|
||||||
-- #else
|
-- #else
|
||||||
-- VarPat n -> return $ stringLayouter lpat $ rdrNameToText n
|
-- VarPat n -> return $ stringLayouter lpat $ rdrNameToText n
|
||||||
-- #endif
|
-- #endif
|
||||||
_ -> briDocByExact lpat
|
_ -> unknownNodeError "" lpat
|
||||||
|
|
|
@ -75,4 +75,4 @@ layoutStmt lstmt@(L _ stmt) = docWrapNode lstmt $ case stmt of
|
||||||
BodyStmt expr _ _ _ -> do
|
BodyStmt expr _ _ _ -> do
|
||||||
expDoc <- docSharedWrapper layoutExpr expr
|
expDoc <- docSharedWrapper layoutExpr expr
|
||||||
docAddBaseY BrIndentRegular $ expDoc
|
docAddBaseY BrIndentRegular $ expDoc
|
||||||
_ -> briDocByExact lstmt
|
_ -> unknownNodeError "" lstmt
|
||||||
|
|
|
@ -391,7 +391,7 @@ layoutType ltype@(L _ typ) = docWrapNode ltype $ case typ of
|
||||||
(docLines $ (docAddBaseY (BrIndentSpecial 2) <$> lines) ++ [end])
|
(docLines $ (docAddBaseY (BrIndentSpecial 2) <$> lines) ++ [end])
|
||||||
]
|
]
|
||||||
HsOpTy{} -> -- TODO
|
HsOpTy{} -> -- TODO
|
||||||
briDocByExact ltype
|
unknownNodeError "HsOpTy{}" ltype
|
||||||
-- HsOpTy typ1 opName typ2 -> do
|
-- HsOpTy typ1 opName typ2 -> do
|
||||||
-- -- TODO: these need some proper fixing. precedences don't add up.
|
-- -- TODO: these need some proper fixing. precedences don't add up.
|
||||||
-- -- maybe the parser just returns some trivial right recursion
|
-- -- maybe the parser just returns some trivial right recursion
|
||||||
|
@ -506,7 +506,7 @@ layoutType ltype@(L _ typ) = docWrapNode ltype $ case typ of
|
||||||
])
|
])
|
||||||
]
|
]
|
||||||
HsBangTy{} -> -- TODO
|
HsBangTy{} -> -- TODO
|
||||||
briDocByExact ltype
|
unknownNodeError "HsBangTy{}" ltype
|
||||||
-- HsBangTy bang typ1 -> do
|
-- HsBangTy bang typ1 -> do
|
||||||
-- let bangStr = case bang of
|
-- let bangStr = case bang of
|
||||||
-- HsSrcBang _ unpackness strictness ->
|
-- HsSrcBang _ unpackness strictness ->
|
||||||
|
@ -558,11 +558,11 @@ layoutType ltype@(L _ typ) = docWrapNode ltype $ case typ of
|
||||||
-- , _layouter_ast = ltype
|
-- , _layouter_ast = ltype
|
||||||
-- }
|
-- }
|
||||||
HsSpliceTy{} -> -- TODO
|
HsSpliceTy{} -> -- TODO
|
||||||
briDocByExact ltype
|
unknownNodeError "" ltype
|
||||||
HsDocTy{} -> -- TODO
|
HsDocTy{} -> -- TODO
|
||||||
briDocByExact ltype
|
unknownNodeError "" ltype
|
||||||
HsRecTy{} -> -- TODO
|
HsRecTy{} -> -- TODO
|
||||||
briDocByExact ltype
|
unknownNodeError "" ltype
|
||||||
HsExplicitListTy _ typs -> do
|
HsExplicitListTy _ typs -> do
|
||||||
typDocs <- docSharedWrapper layoutType `mapM` typs
|
typDocs <- docSharedWrapper layoutType `mapM` typs
|
||||||
docAlt
|
docAlt
|
||||||
|
@ -573,10 +573,10 @@ layoutType ltype@(L _ typ) = docWrapNode ltype $ case typ of
|
||||||
-- TODO
|
-- TODO
|
||||||
]
|
]
|
||||||
HsExplicitTupleTy{} -> -- TODO
|
HsExplicitTupleTy{} -> -- TODO
|
||||||
briDocByExact ltype
|
unknownNodeError "" ltype
|
||||||
HsTyLit{} -> -- TODO
|
HsTyLit{} -> -- TODO
|
||||||
briDocByExact ltype
|
unknownNodeError "" ltype
|
||||||
HsCoreTy{} -> -- TODO
|
HsCoreTy{} -> -- TODO
|
||||||
briDocByExact ltype
|
unknownNodeError "" ltype
|
||||||
HsWildCardTy _ ->
|
HsWildCardTy _ ->
|
||||||
docLit $ Text.pack "_"
|
docLit $ Text.pack "_"
|
||||||
|
|
Loading…
Reference in New Issue