Stew O'Connor

incorrect output with ambibuous names

2

I'm getting this compiler error: ``` 2642 | handleServiceHttpRequest state serviceHash userReq Some common causes of this error include: * Your current namespace is too deep to contain the definition...

view List.foldMap should use the foldMap name

1

when a user asks ucm to `view List.foldMap` they get the equivalent definition using the name `List.foldBalanced` instead of `List.foldMap`. We have an algorithm to determine which name to show...

pretty-print multi-line strings with """

9

when we are pretty printing a string, if it is a multi-line string we should pretty-print it with the """ syntax so that it easier to read

TLS runtime errors are faiing transcripts

4

There are multiple cascading errors in the tls.md transcript which are causing builds to fail. The certificate that it is using to test self-signed certificates in the transcript is expired....

stale namespace dependencies output

2

I have a namespace that has some external metadata dependencies. when fix the dependencies with `replace`, the output of namespace.dependencies still shows the (now fixed) dependency until you restart ucm....

I can't find this M2.Exception that my type signature is talking about

2

``` .share.stew.public.projects.httpserver.main> ls example 1. handler (http.HttpRequest ->{IO, M2.Exception, Abort} http.HttpResponse) ``` but when I try to find M2.Exception, I don't have a good way of finding it. There IS...

if you have a backtick in a doc, the parser fails and blows past the fold to place the error somewhere seemingly randomly after the fold looking for the matching...

Input: ```` ```unison:hide x = {{ ``let "me"`` live ``do "me"`` in }} ``` ```` Output: ```` I got confused here: 2 | ``let "me"`` live I was surprised to...

Input: ```` ```unison:hide structural type Holder g = Holder ('{g} () ->{g} ()) Holder.wrap : ('{g} () ->{g} ()) -> Holder g Holder.wrap = Holder ``` ``` The expression in...

round-trip failure on ability pattern matches with multiple paramters and long constructor prefixes

1

The following fails to round-trip: ``` unique ability really.long.path.prefix.that.causes.a.line.wrap.Thing where thing: () -> () -> () unique ability super.long.path.prefix.that.causes.a.line.wrap.Thing where thing: () -> () -> () t1 : Request really.long.path.prefix.that.causes.a.line.wrap.Thing...