-
Notifications
You must be signed in to change notification settings - Fork 0
Closed
Labels
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomers
Description
The logs without a line number are harder to read and map back to code, so let's add line numbers.
Current LOG structure:
2025-04-15 18:37:00 INFO typechecking.LatteAbstractChecker - |- Visiting method <main>
2025-04-15 18:37:00 INFO typechecking.LatteAbstractChecker - |- Visiting parameter <args>
2025-04-15 18:37:00 INFO typechecking.LatteAbstractChecker - |- args: 𝜈2
2025-04-15 18:37:00 INFO typechecking.LatteAbstractChecker - |- 𝜈2: SHARED
2025-04-15 18:37:00 INFO typechecking.LatteAbstractChecker - |- Visiting local variable <qev1>
2025-04-15 18:37:00 INFO typechecking.LatteAbstractChecker - |- Add file + line number.
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomers