@@ -12,6 +12,7 @@ import qualified Data.Traversable as T
1212import SourceSyntax.Annotation as A
1313import SourceSyntax.Expression
1414import SourceSyntax.Module
15+import SourceSyntax.PrettyPrint (pretty)
1516import qualified SourceSyntax.Pattern as P
1617import qualified SourceSyntax.Type as Type
1718import qualified SourceSyntax.Variable as Var
@@ -114,7 +115,10 @@ replace variable env v =
114115rename :: Env -> Expr -> Either [Doc] Expr
115116rename env (A ann expr) =
116117 let rnm = rename env
117− throw err = Left [ P.text $ "Error " ++ show ann ++ "\n" ++ err ]
118+ throw err = Left [ P.vcat [ P.text "Error" <+> pretty ann <> P.colon
119+ , P.text err
120+ ]
121+ ]
118122 format = Either.either throw return
119123 renameType' environ = renameType (format . replace "variable" environ)
120124 in