remove panicking guard_msgs test
diff --git a/src/runtime/object.cpp b/src/runtime/object.cpp index f90e2fd..06128fa 100644 --- a/src/runtime/object.cpp +++ b/src/runtime/object.cpp
@@ -118,7 +118,6 @@ } extern "C" LEAN_EXPORT object * lean_panic_fn(object * default_val, object * msg) { - // TODO(Leo, Kha): add thread local buffer for interpreter. if (g_panic_messages) { panic_eprintln(lean_string_cstr(msg)); #ifdef __GLIBC__
diff --git a/tests/lean/run/structure.lean b/tests/lean/run/structure.lean index 8ee536e..5ed24f9 100644 --- a/tests/lean/run/structure.lean +++ b/tests/lean/run/structure.lean
@@ -40,7 +40,6 @@ check $ !isStructure env `Nat check $ !isStructure env `D IO.println (getStructureFieldsFlattened env `S4) - IO.println (getStructureFields env `D) IO.println (getPathToBaseStructure? env `S1 `S4) IO.println (getParentStructures env `S4) IO.println (getAllParentStructures env `S4) @@ -50,7 +49,6 @@ /-- info: #[const2ModIdx, constants, extensions, extraConstNames, header] #[toS2, toS1, x, y, z, toS3, w, s] -#[] (some [S4.toS2, S2.toS1]) #[S2, S3] #[S2, S1, S3]