Add logging to NaBL2 runtime

metaborg · Jul 20, 2023 · 6cd49d3 · 6cd49d3
1 parent c30654f
commit 6cd49d3
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/nabl2.runtime/trans/nabl2/runtime/analysis/constraint-compat.str b/nabl2.runtime/trans/nabl2/runtime/analysis/constraint-compat.str
@@ -129,7 +129,8 @@ rules
                              ?(resource, ast)
                            ; ( UnitResult(ast', a', error*, warning*, note*) :=
                                    <analyze> AnalyzeUnit(resource, ast, cancel, progress)
-                             < !(resource, Full(ast', CompatUnitAnalysis(a', a'), error*, warning*, note*))
+                             < ( where(!error*; debug(!"[INFO] - constraint-analysis-compat @ Sin | "))
+                               ; !(resource, Full(ast', CompatUnitAnalysis(a', a'), error*, warning*, note*)))
                              + !(resource, Failed())
                              )
                            })> ast*
@@ -169,6 +170,7 @@ rules
       end
     ; FinalResult(final-analysis, error*, warning*, note*) :=
           <analyze> AnalyzeFinal(project-resource, project-initial-analysis, unit-initial-analysis*, cancel, progress)
+    ; <debug(!"[INFO] - constraint-analysis-compat @ Mul | ")> error*
     ; project-analysis := CompatProjectAnalysis(project-initial-analysis, final-analysis)
     ; unit-result-changed* := <map((id, Full(id, CompatUnitAnalysis(id, !final-analysis), id, id, id) + ?Failed()))> unit-initial-result-changed*
     ; unit-result-cached* := <map((id, Update(CompatUnitAnalysis(id, !final-analysis), id, id, id)))> unit-initial-result-cached*

diff --git a/nabl2.runtime/trans/nabl2/runtime/analysis/main.str b/nabl2.runtime/trans/nabl2/runtime/analysis/main.str
@@ -6,7 +6,7 @@ imports
 imports
 
   nabl2/api
- 
+
   signatures/nabl2/shared/common/-
   signatures/nabl2/shared/constraints/-
   nabl2/shared/-
@@ -63,7 +63,7 @@ rules // single file analysis
            (custom-error*, custom-warning*, custom-note*, a') := ([], [], [], a)
          end;
          nabl2--collection-info-msg(|$[Finished analyzing [resource]]);
-         error*   := [constraint-error*, custom-error*];
+         error*   := <debug(!"[INFO] - nabl2--analyze-compat_1_0 @ Unit | ")> [constraint-error*, custom-error*];
          warning* := [constraint-warning*, custom-warning*];
          note*    := [constraint-note*, custom-note*]
 
@@ -114,7 +114,7 @@ rules // multi file analysis
                ([], [], [], final-analysis)
          end;
          nabl2--collection-info-msg(|$[Finished analyzing [resource]]);
-         error*   := [constraint-error*, custom-error*];
+         error*   := <debug(!"[INFO] - nabl2--analyze-compat_1_0 @ Fin  | ")> [constraint-error*, custom-error*];
          warning* := [constraint-warning*, custom-warning*];
          note*    := [constraint-note*, custom-note*]