darcs

Patch 2199 rename withRepoLocation -> withRepoDir (and 2 more)

Title rename withRepoLocation -> withRepoDir (and 2 more)
Superseder Nosy List bfrk
Related Issues
Status obsoleted Assigned To
Milestone

Created on 2021-06-08.13:33:36 by bfrk, last changed 2021-06-08.13:41:53 by bfrk.

Files
File name Status Uploaded Type Edit Remove
patch-preview.txt bfrk, 2021-06-08.13:33:35 text/x-darcs-patch
rename-withrepolocation-__-withrepodir.dpatch bfrk, 2021-06-08.13:33:35 application/x-darcs-patch
unnamed bfrk, 2021-06-08.13:33:35 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg22877 (view) Author: bfrk Date: 2021-06-08.13:33:35
Yet another small batch of random minor changes.

3 patches for repository http://darcs.net/screened:

patch 5426a4db382ba479b9fc7266a3eecada814daa8c
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Feb 28 13:26:04 CET 2021
  * rename withRepoLocation -> withRepoDir

belated/missing long comment: the function is effectively partial. I
experimented with using more precise typing to capture the difference
between a repo on the same machine (for which withRepoDir makes sense) and a
remote repo (for which it doesn't) but this didn't work out well.

patch 34bb677972c04cd7a08b290d81af9f6c21994c03
Author: Ben Franksen <ben.franksen@online.de>
Date:   Wed Mar  3 15:06:03 CET 2021
  * D.R.Traverse: cut down the list of exported symbols

patch 65d4e6e15c2a7c7fa9510955de3ac306cde636fd
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Mar 14 23:19:02 CET 2021
  * add debug message in applyToWorking
Attachments
History
Date User Action Args
2021-06-08 13:33:36bfrkcreate
2021-06-08 13:41:53bfrksetstatus: needs-screening -> obsoleted