From 607d788001c276c0a4e7c8ff237eaa24b3663c1a Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 12 Jan 2021 11:05:30 +0100
Subject: [PATCH] chore: leanpkg: secondary output to stderr

---
 src/Leanpkg.lean         | 2 +-
 src/Leanpkg/Proc.lean    | 2 +-
 src/Leanpkg/Resolve.lean | 8 ++++----
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/Leanpkg.lean b/src/Leanpkg.lean
index a37b3a337f..766431c4eb 100644
--- a/src/Leanpkg.lean
+++ b/src/Leanpkg.lean
@@ -67,7 +67,7 @@ version = \"0.1\"
       execCmd {cmd := "git", args := #["init", "-q"]}
       unless upstreamGitBranch = "master" do
         execCmd {cmd := "git", args := #["checkout", "-B", upstreamGitBranch]}
-    ) <|> IO.println "WARNING: failed to initialize git repository"
+    ) <|> IO.eprintln "WARNING: failed to initialize git repository"
 
 def init (n : String) := initPkg n false
 
diff --git a/src/Leanpkg/Proc.lean b/src/Leanpkg/Proc.lean
index f62c07c2c8..aeb5c05b44 100644
--- a/src/Leanpkg/Proc.lean
+++ b/src/Leanpkg/Proc.lean
@@ -8,7 +8,7 @@ namespace Leanpkg
 def execCmd (args : IO.Process.SpawnArgs) : IO Unit := do
   let envstr := String.join <| args.env.toList.map fun (k, v) => s!"{k}={v.getD ""} "
   let cmdstr := " ".intercalate (args.cmd :: args.args.toList)
-  IO.println <| "> " ++ envstr ++
+  IO.eprintln <| "> " ++ envstr ++
     match args.cwd with
     | some cwd => cmdstr ++ "    # in directory " ++ cwd
     | none     => cmdstr
diff --git a/src/Leanpkg/Resolve.lean b/src/Leanpkg/Resolve.lean
index fc379eeefe..6afc734be1 100644
--- a/src/Leanpkg/Resolve.lean
+++ b/src/Leanpkg/Resolve.lean
@@ -45,20 +45,20 @@ def materialize (relpath : String) (dep : Dependency) : Solver Unit :=
   match dep.src with
   | Source.path dir => do
     let depdir := resolveDir dir relpath
-    IO.println s!"{dep.name}: using local path {depdir}"
+    IO.eprintln s!"{dep.name}: using local path {depdir}"
     modify (·.insert dep.name depdir)
   | Source.git url rev branch => do
     let depdir := "build/deps/" ++ dep.name
     let alreadyThere ← IO.isDir depdir
     if alreadyThere then
-      IO.print s!"{dep.name}: trying to update {depdir} to revision {rev}"
-      IO.println (match branch with | none => "" | some branch => "@" ++ branch)
+      IO.eprint s!"{dep.name}: trying to update {depdir} to revision {rev}"
+      IO.eprintln (match branch with | none => "" | some branch => "@" ++ branch)
       let hash ← gitParseOriginRevision depdir rev
       let revEx ← gitRevisionExists depdir hash
       unless revEx do
         execCmd {cmd := "git", args := #["fetch"], cwd := depdir}
     else
-      IO.println s!"{dep.name}: cloning {url} to {depdir}"
+      IO.eprintln s!"{dep.name}: cloning {url} to {depdir}"
       execCmd {cmd := "git", args := #["clone", url, depdir]}
     let hash ← gitParseOriginRevision depdir rev
     execCmd {cmd := "git", args := #["checkout", "--detach", hash], cwd := depdir}