Open janmasrovira opened 3 days ago
Currently formatting a project is equivalent to running juvix format on each individual file. Hence, the performance is quadratic wrt the number of modules in the project. This pr fixes that and we now we only process each module once.
juvix format
Currently formatting a project is equivalent to running
juvix format
on each individual file. Hence, the performance is quadratic wrt the number of modules in the project. This pr fixes that and we now we only process each module once.