more debugging

.github/workflows/ci.yml

@@ -163,7 +163,7 @@ jobs:
         run: |
           SDKROOT=$(xcrun -sdk macosx11.1 --show-sdk-path) \
           MACOSX_DEPLOYMENT_TARGET=$(xcrun -sdk macosx11.1 --show-sdk-platform-version) \
-          cd package && cargo test --all --features ci_skip -- --nocapture
+          cd package && cargo test --all -- --nocapture
 
       - name: Print sccache stats
         run: sccache --show-stats

compiler/src/test.rs

@@ -228,9 +228,11 @@ impl Namespace for CompileNamespace {
 
         if test.name == "import_weird_names_nested" {
             println!(
-                "{:?}",
+                "{}",
                 Ast::from_json_file("/tmp/output/initial_ast.json".into())
                     .unwrap_or_else(|_| Ast::new(Program::new("Error reading initial theorem.".to_string())))
+                    .to_json_string()
+                    .unwrap_or_else(|_| "Error converting ast to string.".to_string()),
             );
         }