PrintAs.hs revision d50ea352472823a62196db3cf11fae2af6866ab6
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederModule : $Header$
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederCopyright : (c) Christian Maeder and Uni Bremen 2003
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiMaintainer : maeder@tzi.de
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederStability : experimental
413db961f13e112716509b6d61d7a7bbf50c98b2Christian MaederPortability : portable
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maederprinting data types of the abstract syntax
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maederimport Data.List (groupBy)
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian Maeder-- | short cut for: if b then empty else d
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian MaedernoPrint :: Bool -> Doc -> Doc
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian MaedernoPrint b d = if b then empty else d
413db961f13e112716509b6d61d7a7bbf50c98b2Christian MaedernoNullPrint :: [a] -> Doc -> Doc
413db961f13e112716509b6d61d7a7bbf50c98b2Christian MaedernoNullPrint = noPrint . null
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaedersemiDs :: Pretty a => [a] -> Doc
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaedersemiDs = fsep . punctuate semi . map pretty
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaedersemiAnnoted :: Pretty a => [Annoted a] -> Doc
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian MaedersemiAnnoted = vcat . map (printSemiAnno pretty True)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty Variance where
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder pretty = sidDoc . mkSimpleId . show
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty a => Pretty (AnyKind a) where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty knd = case knd of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder ClassKind ci -> pretty ci
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder FunKind v k1 k2 _ -> fsep [pretty v <>
81946e2b3f6dde6167f48769bd02c7a634736856Christian Maeder FunKind _ _ _ _ -> parens
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder _ -> id) (pretty k1)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty TypePattern where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty tp = case tp of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder TypePattern name args _ -> pretty name
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder <> fsep (map (parens . pretty) args)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder TypePatternToken t -> pretty t
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder MixfixTypePattern ts -> fsep (map (pretty) ts)
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder BracketTypePattern k l _ -> bracket k $ ppWithCommas l
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder TypePatternArg t _ -> parens $ pretty t
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder-- | put proper brackets around a document
c4e912fc181d72c8d0e0e38d0351278182f0d0b5Christian Maederbracket :: BracketKind -> Doc -> Doc
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederbracket b = case b of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Parens -> parens
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Squares -> brackets
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Braces -> specBraces
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder NoBrackets -> id
92aa1b88f02d2a413da60dba78acd34312e6f29aChristian Maeder-- | print a 'Kind' plus a preceding colon (or nothing)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintKind :: Kind -> Doc
d92635f998347112e5d5803301c2abfe7832ab65Christian MaederprintKind k = noPrint (k == universe) $ printVarKind InVar (VarKind k)
81946e2b3f6dde6167f48769bd02c7a634736856Christian Maeder-- | print the kind of a variable with its variance and a preceding colon
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintVarKind :: Variance -> VarKind -> Doc
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintVarKind e vk = case vk of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder space <> less <+> pretty t
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder VarKind k -> space <> colon <+>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty e <> pretty k
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder MissingKind -> empty
d48085f765fca838c1d972d2123601997174583dChristian Maederdata TypePrec = Outfix | Prefix | ProdInfix | FunInfix deriving (Eq, Ord)
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian MaederparenPrec :: TypePrec -> (TypePrec, Doc) -> Doc
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian MaederparenPrec p1 (p2, d) = if p2 < p1 then d else parens d
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian MaederprintTypeToken :: Token -> Doc
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian MaederprintTypeToken t = let
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder l = ("*", cross) : map ( \ (a, d) -> (show a, d) )
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder [ (FunArr, funArrow)
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder , (PFunArr, pfun)
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder , (ContFunArr, cfun)
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder , (PContFunArr, pcfun) ]
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder in case lookup (tokStr t) l of
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder _ -> pretty t
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian MaedertoMixType :: Type -> (TypePrec, Doc)
413db961f13e112716509b6d61d7a7bbf50c98b2Christian MaedertoMixType typ = case typ of
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder ExpandedType t1 _ -> toMixType t1
ae8052003e1ec7247597f034069db0939a7387e1Christian Maeder BracketType k l _ -> (Outfix, bracket k $ sepByCommas $ map
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder (snd . toMixType) l)
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder KindedType t kind _ -> (Prefix,
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder fsep [parenPrec Prefix $ toMixType t, colon, pretty kind])
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder MixfixType ts -> (Prefix, fsep $ map (snd . toMixType) ts)
d48085f765fca838c1d972d2123601997174583dChristian Maeder _ -> let (topTy, tyArgs) = getTypeAppl typ in
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder case topTy of
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder TypeName name@(Id ts cs _) _k _i -> let topDoc = pretty name in
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder case tyArgs of
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder [] -> (Outfix, pretty name)
d48085f765fca838c1d972d2123601997174583dChristian Maeder [arg] -> let dArg = toMixType arg in
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder [e1, e2, e3] | not (isPlace e1) && isPlace e2
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder && not (isPlace e3) && null cs ->
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder (Outfix, fsep [pretty e1, snd dArg, pretty e3])
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder _ -> (Prefix, fsep [topDoc, parenPrec Prefix dArg])
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder [arg1, arg2] -> let dArg1 = toMixType arg1
d48085f765fca838c1d972d2123601997174583dChristian Maeder dArg2 = toMixType arg2 in
d48085f765fca838c1d972d2123601997174583dChristian Maeder [e1, e2, e3] | isPlace e1 && not (isPlace e2)
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder && isPlace e3 && null cs ->
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder if tokStr e2 == prodS then
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder (ProdInfix, fsep [
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder parenPrec ProdInfix dArg1, cross,
d48085f765fca838c1d972d2123601997174583dChristian Maeder parenPrec ProdInfix dArg2])
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder else -- assume fun type
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder (FunInfix, fsep [
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder parenPrec FunInfix dArg1, printTypeToken e2, snd dArg2])
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder _ -> (Prefix, fsep [topDoc, parenPrec Prefix dArg1,
d48085f765fca838c1d972d2123601997174583dChristian Maeder parenPrec Prefix dArg2])
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder _ -> if name == productId (length tyArgs) then
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder (ProdInfix, fsep $ punctuate (space <> cross) $
d48085f765fca838c1d972d2123601997174583dChristian Maeder map (parenPrec ProdInfix . toMixType) tyArgs)
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder else (Prefix, fsep $ topDoc :
d48085f765fca838c1d972d2123601997174583dChristian Maeder map (parenPrec Prefix . toMixType) tyArgs)
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder _ | null tyArgs -> (Outfix, printType topTy)
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder _ -> (Prefix, fsep $ parenPrec ProdInfix (toMixType topTy)
d48085f765fca838c1d972d2123601997174583dChristian Maeder : map (parenPrec Prefix . toMixType) tyArgs)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintType :: Type -> Doc
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintType ty = case ty of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder TypeName name _ _ -> pretty name
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder TypeAppl t1 t2 -> fcat [parens (printType t1),
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder parens (printType t2)]
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder ExpandedType t1 t2 -> fcat [printType t1, text asP, printType t2]
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder TypeToken t -> printTypeToken t
ae8052003e1ec7247597f034069db0939a7387e1Christian Maeder BracketType k l _ -> bracket k $ sepByCommas $ map (printType) l
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder KindedType t kind _ -> sep [printType t, colon <+> pretty kind]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder MixfixType ts -> fsep $ map printType ts
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty Type where
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder pretty = snd . toMixType
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder-- no curried notation for bound variables
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty TypeScheme where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty (TypeScheme vs t _) = let tdoc = pretty t in
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder if null vs then tdoc else
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder fsep [forallDoc, semiDs vs, bullet, tdoc]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty Partiality where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty p = case p of
37354e3ed68875fb527338105a610df481f98cb0Christian Maeder Partial -> quMarkD
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder Total -> empty
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty Quantifier where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty q = case q of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Universal -> forallDoc
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Existential -> exists
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Unique -> unique
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty TypeQual where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty q = case q of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder OfType -> colon
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder AsType -> text asS
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder InType -> inDoc
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Inferred -> colon
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty Term where
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder pretty = printTerm . rmSomeTypes
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederisSimpleTerm :: Term -> Bool
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederisSimpleTerm trm = case trm of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder QualVar _ -> True
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder QualOp _ _ _ _ -> True
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder ResolvedMixTerm _ _ _ -> True
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder ApplTerm _ _ _ -> True
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder TupleTerm _ _ -> True
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder TermToken _ -> True
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder BracketTerm _ _ _ -> True
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder-- | used only to produce CASL applications
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian MaederisSimpleArgTerm :: Term -> Bool
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian MaederisSimpleArgTerm trm = case trm of
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder QualVar vd -> not (isPatVarDecl vd)
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder QualOp _ _ _ _ -> True
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder ResolvedMixTerm n l _ -> placeCount n /= 0 || not (null l)
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder TupleTerm _ _ -> True
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder BracketTerm _ _ _ -> True
d50ea352472823a62196db3cf11fae2af6866ab6Christian MaederhasRightQuant :: Term -> Bool
d50ea352472823a62196db3cf11fae2af6866ab6Christian MaederhasRightQuant t = case t of
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder QuantifiedTerm {} -> True
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder LambdaTerm {} -> True
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder CaseTerm {} -> True
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder LetTerm {} -> True
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder ResolvedMixTerm n ts _ | endPlace n && placeCount n == length ts
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder -> hasRightQuant (last ts)
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder ApplTerm (ResolvedMixTerm n [] _) t2 _ | endPlace n ->
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder TupleTerm ts _ | placeCount n == length ts -> hasRightQuant (last ts)
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder _ -> hasRightQuant t2
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder ApplTerm _ t2 _ -> hasRightQuant t2
d50ea352472823a62196db3cf11fae2af6866ab6Christian MaederzipArgs :: Id -> [Term] -> [Doc] -> [Doc]
d50ea352472823a62196db3cf11fae2af6866ab6Christian MaederzipArgs n ts ds = case (ts, ds) of
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder (t : r, d : s) -> let
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder p = parenTermDoc t d
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder e = if hasRightQuant t then parens d else p
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder in if null r && null s && endPlace n then
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder [if hasRightQuant t then d else p]
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder else e : zipArgs n r s
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian MaederisPatVarDecl :: VarDecl -> Bool
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian MaederisPatVarDecl (VarDecl v ty _ _) = case ty of
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder TypeName t _ _ -> isSimpleId v && take 2 (show t) == "_v"
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederparenTermDoc :: Term -> Doc -> Doc
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian MaederparenTermDoc trm = if isSimpleTerm trm then id else parens
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintTermRec :: FoldRec Doc (Doc, Doc)
ce3928e71520030ad0275b72050a8f4377f9313cChristian MaederprintTermRec = FoldRec
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder { foldQualVar = \ _ vd@(VarDecl v _ _ _) ->
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder if isPatVarDecl vd then pretty v
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian Maeder else parens $ keyword varS <+> pretty vd
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder , foldQualOp = \ _ br n t _ ->
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder parens $ fsep [pretty br, pretty n, colon, pretty $
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder if isPred br then unPredTypeScheme t else t]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder , foldResolvedMixTerm = \ (ResolvedMixTerm _ os _) n ts _ ->
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder if placeCount n == length ts || null ts then
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder idApplDoc n $ zipArgs n os ts
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder else idApplDoc applId [idDoc n, parens $ sepByCommas ts]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder , foldApplTerm = \ (ApplTerm o1 o2 _) t1 t2 _ ->
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder case (o1, o2) of
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder (ResolvedMixTerm n [] _, TupleTerm ts _)
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder | placeCount n == length ts ->
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder idApplDoc n $ zipArgs n ts $ map printTerm ts
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder (ResolvedMixTerm n [] _, _) | placeCount n == 1 ->
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder idApplDoc n $ zipArgs n [o2] [t2]
d50ea352472823a62196db3cf11fae2af6866ab6Christian Maeder _ -> idApplDoc applId $ zipArgs applId [o1, o2] [t1, t2]
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder-- use "if isSimpleArgTerm o2 then t2 else parens t2" to output real CASL
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder , foldTupleTerm = \ _ ts _ -> parens $ sepByCommas ts
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder , foldTypedTerm = \ (TypedTerm ot _ _ _) t q typ _ -> fsep [(case ot of
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6deChristian Maeder LambdaTerm {} -> parens
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6deChristian Maeder LetTerm {} -> parens
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6deChristian Maeder CaseTerm {} -> parens
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6deChristian Maeder QuantifiedTerm {} -> parens
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6deChristian Maeder _ -> id) t, pretty q, pretty typ]
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder , foldQuantifiedTerm = \ _ q vs t _ ->
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maeder fsep [pretty q, printGenVarDecls vs, bullet, t]
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder , foldLambdaTerm = \ _ ps q t _ ->
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder fsep [ lambda
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder _ -> fcat $ map parens ps
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Partial -> bullet
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Total -> bullet <> text exMark
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder , foldCaseTerm = \ _ t es _ ->
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder fsep [text caseS, t, text ofS,
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6deChristian Maeder cat $ punctuate (space <> bar <> space) $
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder map (printEq0 funArrow) es]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder , foldLetTerm = \ _ br es t _ ->
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6deChristian Maeder let des = sep $ punctuate semi $ map (printEq0 equals) es
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder in case br of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Let -> fsep [sep [text letS <+> des, text inS], t]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Where -> fsep [sep [t, text whereS], des]
966e627a1c06b302a06d59d08b8ab45905f3509cChristian Maeder Program -> text programS <+> des
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder , foldTermToken = \ _ t -> pretty t
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder , foldMixTypeTerm = \ _ q t _ -> pretty q <+> pretty t
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder , foldMixfixTerm = \ _ ts -> fsep ts
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder , foldBracketTerm = \ _ k l _ -> bracket k $ sepByCommas l
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder , foldAsPattern = \ _ (VarDecl v _ _ _) p _ ->
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder fsep [pretty v, text asP, p]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder , foldProgEq = \ _ p t _ -> (p, t)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintTerm :: Term -> Doc
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintTerm = foldTerm printTermRec
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederrmTypeRec :: MapRec
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederrmTypeRec = mapRec
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder { foldQualOp = \ t _ (InstOpId i _ _) _ ps ->
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder if elem i $ map fst bList then
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder ResolvedMixTerm i [] ps else t
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder , foldTypedTerm = \ _ nt q ty ps ->
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Inferred -> nt
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder _ -> case nt of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder TypedTerm _ oq oty _ | oty == ty || oq == InType -> nt
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder QualVar (VarDecl _ oty _ _) | oty == ty -> nt
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder _ -> TypedTerm nt q ty ps
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederrmSomeTypes :: Term -> Term
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederrmSomeTypes = foldTerm rmTypeRec
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder-- | put parenthesis around applications
028f19cdb09d52bb2fd207399b6fa874540d1670Christian MaederparenTermRec :: MapRec
028f19cdb09d52bb2fd207399b6fa874540d1670Christian MaederparenTermRec = let
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder addParAppl t = case t of
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder ResolvedMixTerm _ [] _ -> t
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder QualVar _ -> t
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder QualOp _ _ _ _ -> t
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder TermToken _ -> t
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder BracketTerm _ _ _ -> t
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder TupleTerm _ _ -> t
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder _ -> TupleTerm [t] nullRange
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder { foldApplTerm = \ _ t1 t2 ps ->
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder ApplTerm (addParAppl t1) (addParAppl t2) ps
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder , foldResolvedMixTerm = \ _ n ts ps ->
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder ResolvedMixTerm n (map addParAppl ts) ps
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder , foldTypedTerm = \ _ t q typ ps ->
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder TypedTerm (addParAppl t) q typ ps
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder , foldMixfixTerm = \ _ ts -> MixfixTerm $ map addParAppl ts
028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maeder , foldAsPattern = \ _ v p ps -> AsPattern v (addParAppl p) ps
028f19cdb09d52bb2fd207399b6fa874540d1670Christian MaederparenTerm :: Term -> Term
028f19cdb09d52bb2fd207399b6fa874540d1670Christian MaederparenTerm = foldTerm parenTermRec
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder-- | print an equation with different symbols between 'Pattern' and 'Term'
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintEq0 :: Doc -> (Doc, Doc) -> Doc
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintEq0 s (p, t) = fsep [p, s, t]
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian MaederprintGenVarDecls :: [GenVarDecl] -> Doc
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian MaederprintGenVarDecls = fsep . punctuate semi . map
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder ( \ l -> case l of
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maeder [x] -> pretty x
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder GenVarDecl (VarDecl _ t _ _) : _ ->
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maeder ppWithCommas (map ( \ (GenVarDecl (VarDecl v _ _ _)) -> v) l)
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder <> printVarDeclType t
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder GenTypeVarDecl (TypeArg _ e c _ _ _ _) : _ ->
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maeder ppWithCommas (map ( \ (GenTypeVarDecl (TypeArg v _ _ _ _ _ _)) -> v) l)
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder <> printVarKind e c
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maeder _ -> error "printGenVarDecls") . groupBy sameType
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian MaedersameType :: GenVarDecl -> GenVarDecl -> Bool
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian MaedersameType g1 g2 = case (g1, g2) of
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maeder (GenVarDecl (VarDecl _ t1 Comma _), GenVarDecl (VarDecl _ t2 _ _))
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maeder | t1 == t2 -> True
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder (GenTypeVarDecl (TypeArg _ e1 c1 _ _ Comma _),
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maeder GenTypeVarDecl (TypeArg _ e2 c2 _ _ _ _)) | e1 == e2 && c1 == c2 -> True
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian MaederprintVarDeclType :: Type -> Doc
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian MaederprintVarDeclType t = case t of
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder MixfixType [] -> empty
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder _ -> space <> colon <+> pretty t
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maederinstance Pretty VarDecl where
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maeder pretty (VarDecl v t _ _) = pretty v <> printVarDeclType t
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty GenVarDecl where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty gvd = case gvd of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder GenVarDecl v -> pretty v
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder GenTypeVarDecl tv -> pretty tv
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty TypeArg where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty (TypeArg v e c _ _ _ _) =
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty v <> printVarKind e c
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder-- | don't print an empty list and put parens around longer lists
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintList0 :: (Pretty a) => [a] -> Doc
d92635f998347112e5d5803301c2abfe7832ab65Christian MaederprintList0 l = case l of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder [x] -> pretty x
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder _ -> parens $ ppWithCommas l
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty InstOpId where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty (InstOpId n l _) = pretty n <> noNullPrint l
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder (brackets $ semiDs l)
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder-- | print a 'TypeScheme' as a pseudo type
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintPseudoType :: TypeScheme -> Doc
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederprintPseudoType (TypeScheme l t _) = noNullPrint l (lambda
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <+> (if null $ tail l then pretty $ head l
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder else fsep(map (parens . pretty) l))
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <+> bullet <> space) <> pretty t
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty BasicSpec where
32a2f5f00ff72c095b39629101043db4407974f9Christian Maeder pretty (BasicSpec l) = if null l then specBraces empty else
32a2f5f00ff72c095b39629101043db4407974f9Christian Maeder changeGlobalAnnos addBuiltins . vcat $ map pretty l
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty ProgEq where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty = printEq0 equals . foldEq printTermRec
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty BasicItem where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty bi = case bi of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder SigItems s -> pretty s
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian Maeder ProgItems l _ -> sep [keyword programS, semiAnnoted l]
32a2f5f00ff72c095b39629101043db4407974f9Christian Maeder ClassItems i l _ -> let b = semiAnnos pretty l in case i of
32a2f5f00ff72c095b39629101043db4407974f9Christian Maeder Plain -> topSigKey classS <+> b
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder Instance -> sep [keyword classS <+> keyword instanceS, b]
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maeder GenVarItems l _ -> topSigKey varS <+> printGenVarDecls l
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder FreeDatatype l _ ->
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder sep [keyword freeS <+> keyword typeS, semiAnnos pretty l]
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian Maeder GenItems l _ -> sep [ keyword generatedS
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder , (if all (isDatatype . item) l then id
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder else specBraces)
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder . vcat $ map (printAnnoted pretty) l]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder AxiomItems vs fs _ ->
359e79584976afb25d37502669a67093a75f3c5bChristian Maeder sep [ if null vs then empty else
359e79584976afb25d37502669a67093a75f3c5bChristian Maeder forallDoc <+> printGenVarDecls vs
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder _ -> let pp = addBullet . pretty in
359e79584976afb25d37502669a67093a75f3c5bChristian Maeder vcat $ map (printAnnoted pp) (init fs)
359e79584976afb25d37502669a67093a75f3c5bChristian Maeder ++ [printSemiAnno pp True $ last fs]]
bf4263f9dab040818efc7a67172aab8f32218061Christian Maeder Internal l _ -> sep [keyword internalS,
32a2f5f00ff72c095b39629101043db4407974f9Christian Maeder specBraces $ vcat $ map (printAnnoted pretty) l]
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian MaederisDatatype :: SigItems -> Bool
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian MaederisDatatype si = case si of
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder TypeItems _ l _ -> all ((\ t -> case t of
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder Datatype _ -> True
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder _ -> False) . item) l
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty OpBrand where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty b = keyword $ show b
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty SigItems where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty si = case si of
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian Maeder TypeItems i l _ -> let b = semiAnnos pretty l in case i of
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder Plain -> topSigKey (if all (isSimpleTypeItem . item) l
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder then sortS else typeS) <+> b
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder Instance -> sep [keyword typeS <+> keyword instanceS, b]
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder OpItems b l _ -> noNullPrint l $ topSigKey (show b)
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder <+> let po = (prettyOpItem $ isPred b) in
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder if case item $ last l of
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder OpDecl _ _ a@(_ : _) _ -> case last a of
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian Maeder UnitOpAttr {} -> True
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian Maeder OpDefn {} -> True
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian Maeder then vcat (map (printSemiAnno po True) l)
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian Maeder else semiAnnos po l
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian MaederisSimpleTypeItem :: TypeItem -> Bool
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian MaederisSimpleTypeItem ti = case ti of
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder TypeDecl l k _ -> k == universe && all isSimpleTypePat l
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder SubtypeDecl l (TypeName i _ _) _ ->
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder not (isMixfix i) && all isSimpleTypePat l
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder SubtypeDefn p (Var _) t _ _ ->
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder isSimpleTypePat p && isSimpleType t
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian MaederisSimpleTypePat :: TypePattern -> Bool
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian MaederisSimpleTypePat tp = case tp of
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder TypePattern i [] _ -> not $ isMixfix i
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian MaederisSimpleType :: Type -> Bool
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian MaederisSimpleType t = case t of
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder TypeName i _ _ -> not $ isMixfix i
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder TypeToken _ -> True
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder MixfixType[TypeToken _, BracketType Squares (_ : _) _] -> True
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty ClassItem where
bf4263f9dab040818efc7a67172aab8f32218061Christian Maeder pretty (ClassItem d l _) = pretty d $+$ noNullPrint l
32a2f5f00ff72c095b39629101043db4407974f9Christian Maeder (specBraces $ vcat $ map (printAnnoted pretty) l)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty ClassDecl where
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder pretty (ClassDecl l k _) = fsep [ppWithCommas l, less, pretty k]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty Vars where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty vd = case vd of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Var v -> pretty v
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder VarTuple vs _ -> parens $ ppWithCommas vs
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty TypeItem where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty ti = case ti of
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian Maeder TypeDecl l k _ -> ppWithCommas l <> printKind k
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder SubtypeDecl l t _ ->
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981cChristian Maeder fsep [ppWithCommas l, less, pretty t]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder IsoDecl l _ -> fsep $ punctuate (space <> equals) $ map pretty l
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder SubtypeDefn p v t f _ ->
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder fsep [pretty p, equals,
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder specBraces $ fsep
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder [pretty v, colon, pretty t, bullet, pretty f]]
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder AliasType p k t _ ->
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder fsep $ pretty p : (case k of
54b698a84a1686b828c99d839fc671942b817534Christian Maeder Just j | j /= universe -> [colon <+> pretty j]
54b698a84a1686b828c99d839fc671942b817534Christian Maeder ++ [text assignS <+> printPseudoType t]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Datatype t -> pretty t
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian MaederprettyTypeScheme :: Bool -> TypeScheme -> Doc
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian MaederprettyTypeScheme b = pretty . (if b then unPredTypeScheme else id)
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian MaederprettyOpItem :: Bool -> OpItem -> Doc
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian MaederprettyOpItem b oi = case oi of
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder OpDecl l t a _ -> fsep $ punctuate comma (map pretty l)
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder ++ [colon <+>
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder (if null a then id else (<> comma))(prettyTypeScheme b t)]
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder ++ punctuate comma (map pretty a)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder OpDefn n ps s p t _ ->
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder fcat $ ((if null ps then (<> space) else id) $ pretty n)
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder : map ((<> space) . parens . semiDs) ps
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder ++ (if b then [] else
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder [colon <> pretty p <+> prettyTypeScheme b s <> space])
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder ++ [(if b then equiv else equals) <> space, pretty t]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty BinOpAttr where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty a = text $ case a of
48c4688439e0aade4faeebf25ca8b16d661e47afChristian Maeder Assoc -> assocS
48c4688439e0aade4faeebf25ca8b16d661e47afChristian Maeder Comm -> commS
48c4688439e0aade4faeebf25ca8b16d661e47afChristian Maeder Idem -> idemS
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty OpAttr where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty oa = case oa of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder BinOpAttr a _ -> pretty a
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder UnitOpAttr t _ -> text unitS <+> pretty t
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty DatatypeDecl where
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder pretty (DatatypeDecl p k alts d _) =
54b698a84a1686b828c99d839fc671942b817534Christian Maeder fsep [ pretty p <> printKind k, defn
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder <+> cat (punctuate (space <> bar <> space)
54b698a84a1686b828c99d839fc671942b817534Christian Maeder $ map pretty alts)
d92635f998347112e5d5803301c2abfe7832ab65Christian Maeder _ -> keyword derivingS <+> ppWithCommas d]
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty Alternative where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty alt = case alt of
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder Constructor n cs p _ -> pretty n <+> fsep
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder (map ( \ l -> case (l, p) of
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder-- comment out the following line to output real CASL
bf4263f9dab040818efc7a67172aab8f32218061Christian Maeder ([NoSelector (TypeToken t)], Total) | isSimpleId n -> pretty t
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder _ -> parens $ semiDs l) cs) <> pretty p
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder Subtype l _ -> text (if all isSimpleType l then sortS else typeS)
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder <+> ppWithCommas l
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty Component where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty sel = case sel of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Selector n p t _ _ -> pretty n
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <+> colon <> pretty p
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder NoSelector t -> pretty t
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty OpId where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty (OpId n ts _) = pretty n
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder <+> noNullPrint ts
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder (brackets $ ppWithCommas ts)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty Symb where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty (Symb i mt _) =
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder pretty i <> (case mt of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Nothing -> empty
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Just (SymbType t) ->
d92635f998347112e5d5803301c2abfe7832ab65Christian Maeder space <> colon <+> pretty t)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty SymbItems where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty (SymbItems k syms _ _) =
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder printSK k <> ppWithCommas syms
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty SymbOrMap where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty (SymbOrMap s mt _) =
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder pretty s <> (case mt of
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder Nothing -> empty
d92635f998347112e5d5803301c2abfe7832ab65Christian Maeder space <> mapsto <+> pretty t)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederinstance Pretty SymbMapItems where
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder pretty (SymbMapItems k syms _ _) =
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder printSK k <> ppWithCommas syms
ee9eddfa6953868fd6fbaff0d9ff68675a13675aChristian Maeder-- | print symbol kind
ee9eddfa6953868fd6fbaff0d9ff68675a13675aChristian MaederprintSK :: SymbKind -> Doc
ee9eddfa6953868fd6fbaff0d9ff68675a13675aChristian Maeder case k of Implicit -> empty
24f79601ad5e42ce74f4152a36aad257d7c4d7b5Christian Maeder _ -> keyword (drop 3 $ show k) <> space