Main.lean

@@ -22,7 +22,7 @@ def parseCommand (s: String): Except String Protocol.Command := do
       return { cmd := s.take offset, payload := payload }
   | .none => throw "Command is empty"
 
-partial def loop : MainM Unit := do
+unsafe def loop : MainM Unit := do
   let state ← get
   let command ← (← IO.getStdin).getLine
   if command.trim.length = 0 then return ()

Test/Main.lean

@@ -6,7 +6,8 @@ import Test.Serial
 
 open Pantograph.Test
 
-def main := do
+unsafe def main := do
+  Lean.enableInitializersExecution
   Lean.initSearchPath (← Lean.findSysroot)
 
   let suites := [