From fd4d3226a1b882dc0710a4c9e1e76ad80bd0dba9 Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Sun, 1 Oct 2023 21:58:58 -0700 Subject: [PATCH] Add ready message to indicate the main loop is up --- Main.lean | 1 + Pantograph/Version.lean | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Main.lean b/Main.lean index a490112..dc4b14f 100644 --- a/Main.lean +++ b/Main.lean @@ -108,6 +108,7 @@ unsafe def main (args: List String): IO Unit := do errToSorry := false }) let coreM := metaM.run' + IO.println "ready." discard <| coreM.toIO coreContext { env := env } catch ex => IO.println "Uncaught IO exception" diff --git a/Pantograph/Version.lean b/Pantograph/Version.lean index f179705..f450292 100644 --- a/Pantograph/Version.lean +++ b/Pantograph/Version.lean @@ -1,5 +1,5 @@ namespace Pantograph -def version := "0.2.4" +def version := "0.2.5" end Pantograph -- 2.44.1