Skip to content

Add line numbers to logs #4

@CatarinaGamboa

Description

@CatarinaGamboa

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

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions