Commit 477893ac authored by Michael Hanus 's avatar Michael Hanus

Pretty printer fixed

parent f459c196
......@@ -2,7 +2,7 @@
--- This module contains a simple compiler from FlatCurry to ICurry programs.
---
--- @author Michael Hanus
--- @version May 2020
--- @version June 2020
------------------------------------------------------------------------------
module ICurry.Main where
......@@ -30,7 +30,7 @@ testI p =
banner :: String
banner = unlines [bannerLine,bannerText,bannerLine]
where
bannerText = "ICurry Compiler (Version of 15/05/20)"
bannerText = "ICurry Compiler (Version of 04/06/20)"
bannerLine = take (length bannerText) (repeat '=')
main :: IO ()
......
......@@ -2,7 +2,7 @@
--- This module contains a pretty printer for ICurry programs.
---
--- @author Marc Andre Wittorf and Michael Hanus
--- @version January 2020
--- @version June 2020
------------------------------------------------------------------------------
module ICurry.Pretty where
......@@ -194,7 +194,7 @@ ppConsBranch (IConsBranch c ar block) =
--- @param bs the branches
--- @return the pretty printed branches
ppLitBranches :: [ILitBranch] -> Doc
ppLitBranches = hsep . map ppLitBranch
ppLitBranches = vcat . map ppLitBranch
--- Pretty print a branch over literals
--- @param b the branch
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment