Hi Again!
I found another issue in the docs that I wanted to try and fix while going through them, specifically at:
https://www.unison-lang.org/learn/fundamentals/control-flow/pattern-matching2/
Somewhere in the middle of the page, the snippet {Left} renders as Right (Term.Term (Any (_ a -> Left a))) which I thought was a little confusing and probably not the intended rendering. Looking at the code I wasn't able to find the issue until I started deleting prior paragraphs. It turns out that by removing Left a (in double-ticks) from the previous paragraph it magically fixes itself.
Hmmm... I'm completely stumped by that one - but hopefully this is useful to someone in tracking down the root cause.
All the best,
Tom
Hi Again!
I found another issue in the docs that I wanted to try and fix while going through them, specifically at:
https://www.unison-lang.org/learn/fundamentals/control-flow/pattern-matching2/
Somewhere in the middle of the page, the snippet
{Left}renders asRight (Term.Term (Any (_ a -> Left a)))which I thought was a little confusing and probably not the intended rendering. Looking at the code I wasn't able to find the issue until I started deleting prior paragraphs. It turns out that by removingLeft a(in double-ticks) from the previous paragraph it magically fixes itself.Hmmm... I'm completely stumped by that one - but hopefully this is useful to someone in tracking down the root cause.
All the best,
Tom