|
definition:
|
showCurryExpr :: (QName -> String) -> Bool -> Int -> Expr -> String
showCurryExpr _ _ _ (Var n) = showCurryVar n
showCurryExpr _ _ _ (Lit l) = showCurryLit l
showCurryExpr tf _ _ (Comb _ cf []) = showCurryId (tf cf)
showCurryExpr tf nested b (Comb _ cf [e]) =
showBracketsIf nested (showCurryId (tf cf) ++ " "
++ showCurryExpr tf True b e)
showCurryExpr tf nested b (Comb ct cf [e1,e2])
| cf==("Prelude","apply")
= showBracketsIf nested
(showCurryExpr tf True b e1 ++ " " ++ showCurryExpr tf True b e2)
| isAlpha (head (snd cf))
= showBracketsIf nested
(tf cf ++" "++ showCurryElems (showCurryExpr tf True b) [e1,e2])
| isFiniteList (Comb ct cf [e1,e2])
= if isStringConstant (Comb ct cf [e1,e2])
then "\"" ++ showCurryStringConstant (Comb ct cf [e1,e2]) ++ "\""
else "[" ++
intercalate "," (showCurryFiniteList tf b (Comb ct cf [e1,e2]))
++ "]"
| snd cf == "(,)" -- pair constructor?
= "(" ++ showCurryExpr tf False b e1 ++ "," ++
showCurryExpr tf False b e2 ++ ")"
| otherwise
= showBracketsIf nested
(showCurryExpr tf True b e1 ++ " " ++ tf cf ++ " " ++
showCurryExpr tf True b e2 )
showCurryExpr tf nested b (Comb _ cf (e1:e2:e3:es))
| cf==("Prelude","if_then_else") && null es
= showBracketsIf nested
("\n" ++
sceBlanks b ++ " if " ++ showCurryExpr tf False (b+2) e1 ++ "\n" ++
sceBlanks b ++ " then " ++ showCurryExpr tf False (b+2) e2 ++ "\n" ++
sceBlanks b ++ " else " ++ showCurryExpr tf False (b+2) e3)
| take 2 (snd cf) == "(," -- tuple constructor?
= "(" ++
intercalate "," (map (showCurryExpr tf False b) (e1:e2:e3:es))
++ ")"
| otherwise
= showBracketsIf nested
(showCurryId (tf cf) ++ " "
++ showCurryElems (showCurryExpr tf True b) (e1:e2:e3:es))
showCurryExpr tf nested b (Let bindings exp) =
showBracketsIf nested
("\n" ++ sceBlanks b ++ "let " ++
intercalate ("\n " ++ sceBlanks b)
(map (\ (x,e) -> showCurryVar x ++ " = " ++
showCurryExpr tf False (b+4) e) bindings) ++
("\n" ++ sceBlanks b ++ " in ") ++ showCurryExpr tf False (b+4) exp)
showCurryExpr tf nested b (Free [] e) = showCurryExpr tf nested b e
showCurryExpr tf nested b (Free (x:xs) e) =
showBracketsIf nested
("let " ++ intercalate "," (map showCurryVar (x:xs)) ++
" free in " ++ showCurryExpr tf False b e)
showCurryExpr tf nested b (Or e1 e2) =
showBracketsIf nested
(showCurryExpr tf True b e1 ++ " ? " ++ showCurryExpr tf True b e2)
showCurryExpr tf nested b (Case ctype e cs) =
showBracketsIf nested
((case ctype of Rigid -> "case "
Flex -> "fcase ") ++
showCurryExpr tf True b e ++ " of\n " ++
showCurryElems (showCurryCase tf (b+2)) cs ++ sceBlanks b)
showCurryExpr tf nested b (Typed e ty) =
showBracketsIf nested
(showCurryExpr tf True b e ++ " :: " ++ showCurryType tf False ty)
|
|
iotype:
|
{(_,_,_,{Var}) |-> _ || (_,_,_,{Lit}) |-> _ || (_,_,_,{Comb}) |-> _ || (_,_,_,{Let}) |-> _ || (_,_,_,{Free}) |-> _ || (_,_,_,{Or}) |-> _ || (_,_,_,{Case}) |-> _ || (_,_,_,{Typed}) |-> _}
|