-
Notifications
You must be signed in to change notification settings - Fork 76
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
New lines when printing systems #101
Comments
A quick and dirty way would be to add a "\n" in the string that we intercalate with in https://github.com/mortberg/cubicaltt/blob/master/Connections.hs#L384 Is this what you want? It won't be very pretty, but it might be better than what we have now... |
Thanks, that’s a bit better although when one of the faces contains an hcomp (and a system), then both the inner and the outer systems appear at the same level of indentation which is a bit confusing. |
Yeah, I guess it would be nice to get the pretty printer to properly indent stuff... It would also be nice to post-process the output to use more readable names instead of |
When there is an error message showing a system (e.g. incompatible system, and maybe others), it would be nice if the system is printed with one component per line:
That would make it much easier to grasp what is going on.
The text was updated successfully, but these errors were encountered: