pretty-printed types that take one line per identifier are no good
Opened this issue · 1 comments
aryairani commented
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 commented
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} ())))