building on lts-20.22 (ghc 9.2.7)

[aryairani]

Pins network-3.1.2.7 (the default network-3.1.3.0 doesn't build in Windows) and a custom older build of haskeline (we can maybe carefully replay other haskeline PRs or leave it alone for now).

LTS 20.22 is the latest LTS.

Overview

• PR to update enlil https://github.com/unisoncomputing/enlil/pull/226

Builds on #3304 and #3642. Windows haskeline bugs killed the previous attempt.

closes #3945 (new commit is unisonweb/haskeline@9275eea)
closes #3034 (or at least can't repro)

Implementation notes

To fix Windows haskeline, I took our existing now-off-branch haskeline commit, updated it for the new LTS, and pushed it to https://github.com/unisonweb/haskeline/tree/unison-23-05-20, which is not a very good name, but it's better than no name.
Thing that didn't work last time: Take the latest version of haskeline and apply the patch we thought was needed to make ANSI work. Something new has changed in haskeline to make this insufficient or totally wrong.

Test coverage

Manually checked the ANSI prompt in Windows (pic is of vscode embedded terminal):

Loose ends

1. I had to turn use {-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-} here and there to build successfully with GHC 9.2.7. Tagging people who last modified the code in question:

• parser-typechecker/src/Unison/PatternMatchCoverage/Solve.hs cc @tstat
• unison-share-api/src/Unison/Server/Doc.hs cc @ChrisPenner ✅

2. If we want to update to a newer haskeline than this 8.0.0, we'll have to carefully replay the commits to get there. :-\

[mergify]

⚠️ The sha of the head commit of this PR conflicts with #4008. Mergify cannot evaluate rules on this PR. ⚠️

[mitchellwrosen]

🎉

[ChrisPenner]

I suppose this will need to be updated at some point now: https://github.com/unisonweb/unison/blob/trunk/docs/m1-mac-setup-tips.markdown