Skip to content
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

pretty-printed types that take one line per identifier are no good #5413

Open
aryairani opened this issue Oct 16, 2024 · 1 comment
Open

Comments

@aryairani
Copy link
Contributor

aryairani commented Oct 16, 2024

Is your feature request related to a problem? Please describe.

foo                                         : Foo -> SemispaceCache
                                                     (ServiceHash
                                                       HttpRequest
                                                       (Either
                                                         HttpResponse
                                                         (WebSocket
                                                         ->{Remote,
                                                         WebSockets} ())))
                                                     (services.Service
                                                       HttpRequest
                                                       (Either
                                                         HttpResponse
                                                         (WebSocket
                                                         ->{Remote,
                                                         WebSockets} ())))

creates pages of output for a big update

Describe the solution you'd like
better wrapping somehow, like

foo : Foo -> 
        SemispaceCache 
          (ServiceHash HttpRequest (Either HttpResponse (WebSocket ->{Remote, WebSockets} ())))
          (services.Service HttpRequest (Either HttpResponse (WebSocket ->{Remote, WebSockets} ())))

A clear and concise description of what you want to happen.

Describe alternatives you've considered

Additional context

@aryairani
Copy link
Contributor Author

aryairani commented Oct 16, 2024

Maybe if it's multiple lines, drop it to a new line:

abcdefg : Nat
foo     : 
  Foo -> SemispaceCache 
           (ServiceHash HttpRequest (Either HttpResponse (WebSocket ->{Remote, WebSockets} ())))
           (services.Service HttpRequest (Either HttpResponse (WebSocket ->{Remote, WebSockets} ())))

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant