submitting (and screening) on behalf of sm

3 patches for repository darcs-unstable@darcs.net:/opt/darcs/screened:

patch 63b37f6bfa64682382ec76231378042f429a91c0
Author: Simon Michael <simon@joyful.com>
Date:   Sun Aug  6 11:53:11 BST 2023
  * boring: fix dist-newstyle ignoring on mac; drop old cabal-dev rule

patch aa7709e643fe79dac2c2206ca759d1411d6385d1
Author: Simon Michael <simon@joyful.com>
Date:   Sun Aug  6 11:55:07 BST 2023
  * boring: .vscode

patch 2007918cc15bc8e4b0eb25f098b106aa096ff601
Author: Simon Michael <simon@joyful.com>
Date:   Sun Aug  6 11:33:32 BST 2023
  * stack.yaml: bump to lts 21, ghc 9.4

Attachments

• boring_-fix-dist_newstyle-ignoring-on-mac_-drop-old-cabal_dev-rule.dpatch
• patch-preview.txt

These all look fine. We might want to actually add real
content in .vscode at some point, but for now ignoring it is ok.

It also seems like a minor bug that the boringfile isn't being
interpreted the same on all platforms; the dist-newstyle directory
itself was being ignored on Linux but was showing up with
--look-for-adds on Mac and Windows. But I don't feel like digging into
that right now so I'm just leaving this note.

> * boring: fix dist-newstyle ignoring on mac; drop old cabal-dev rule
>
> -^(cabal-dev|dist)[^/]*/

I see no reason why this should not work on Mac. We use Darcs.Util.Regex 
which is based on Text.Regex.TDFA which (IIRC) is a pure Haskell 
implementation. I added a small test script to test this and it works in the 
CI (macOS-13, ghc-8.4.4 and ghc-9.4.5).

I definitely observed a difference on the darcs repo between Linux 
(nothing new) and Windows (dist-newstyle directory was new). I'll look at 
turning it into a test script, though right now the build isn't working 
for me on Windows.

> -^(cabal-dev|dist)[^/]*/

After some investigation I realised that there was a problem in 2.16
but that it's already fixed in HEAD. I haven't tracked down what
exactly fixed it.

Even though the problem is already fixed I think this making the
change to .boring for now is a small quality of life fix for
people developing right now so we might as well leave it.

Yes, perfectly fine.