ivory-opts 0.1.0.5 → 0.1.0.6

raw patch · 3 files changed

+10/−8 lines, 3 filesdep ~ivorynew-uploader

Dependency ranges changed: ivory

Files

• ivory-opts.cabal +1/−1
• src/Ivory/Opts/SanityCheck.hs +4/−3
• src/Ivory/Opts/Utils.hs +5/−4

@@ -2,7 +2,7 @@ --  see http://haskell.org/cabal/users-guide/  name:                ivory-opts-version:             0.1.0.5+version:             0.1.0.6 author:              Galois, Inc. maintainer:          leepike@galois.com category:            Language

@@ -36,8 +36,10 @@                                                           WriterT, runId,                                                           runStateT, runWriterT,                                                           sets_)-import           Text.PrettyPrint +import           Data.Monoid.Compat                      ((<>))+import           Text.PrettyPrint                        hiding ((<>))+ import qualified Ivory.Language.Array                    as I import qualified Ivory.Language.Syntax.AST               as I import           Ivory.Language.Syntax.Concrete.Location@@ -178,8 +180,7 @@   if null dups then return ()     else hPutStrLn stderr $ render (vcat (map docDups dups) $$ empty)   where-  docDups x = text "*** WARNING"-           <> colon+  docDups x = (text "*** WARNING" <> colon)           <+> quotes (text x)           <+> text "has multiple definitions." 

@@ -6,7 +6,8 @@  where -import           Text.PrettyPrint+import           Data.Monoid.Compat                      ((<>))+import           Text.PrettyPrint                        hiding ((<>))  import qualified Ivory.Language.Syntax.AST               as I import           Ivory.Language.Syntax.Concrete.Location@@ -47,7 +48,7 @@     _  ->          hPutStrLn stderr        $ render-       $ text "***" <+> text "Module" <+> text m <> colon+       $ text "***" <+> text "Module" <+> (text m <> colon)       $$ nest 2 (vcat (map (showSymErrs doc) errs))       $$ empty @@ -57,7 +58,7 @@   case errs of     [] -> empty     _  ->-         text "***" <+> text "Symbol" <+> text sym <> colon+         text "***" <+> text "Symbol" <+> (text sym <> colon)       $$ nest 2 (vcat (map doc errs))       $$ empty @@ -65,4 +66,4 @@ showWithLoc sh (Located loc a) =   case loc of     NoLoc -> sh a-    _     -> text (prettyPrint (pretty loc)) <> colon <+> sh a+    _     -> text (prettyPrint (pretty loc)) <> (colon <+> sh a)