Hi,

this is my first commit to darcs. It fixes http://bugs.darcs.net/issue1406
remove_from_tentative_inventory was changing the real inventory and pristine,
and then syncing tentative with it. I changed it operate on tentative only.

Three things I don't fully understand there:
1) what is progressFl for?
2) what is inventories dir for, or why does it have to be created by
   write_inventory
3) "remove_from_checkpoint_inventory to_remove" line in the
   remove_from_tentative_inventory function.

Mon Aug 31 13:16:37 BST 2009  Kamil Dworakowski <[email protected]>
  * resolve issue1406: amend-record unrecords on a test failure
  
  A failing test on amend no longer unrecords the original patch. The
  failure manifested itself only on old-fashioned repositories. Change
  DarcsRepo.remove_from_tentative_inventory not to modify the pristine
  nor the inventory.
  

New patches:

[resolve issue1406: amend-record unrecords on a test failure
Kamil Dworakowski <[email protected]>**20090831121637
 Ignore-this: bb4b27934eb2a6e46e07ac5bdf831ac2
 
 A failing test on amend no longer unrecords the original patch. The
 failure manifested itself only on old-fashioned repositories. Change
 DarcsRepo.remove_from_tentative_inventory not to modify the pristine
 nor the inventory.
 
] move ./tests/failing-issue1406.sh ./tests/issue1406.sh
hunk ./src/Darcs/Repository/DarcsRepo.lhs 101
 import Darcs.Repository.Pristine ( identifyPristine, applyPristine )
 import Darcs.Global ( darcsdir )
 import Darcs.Utils ( catchall )
-import Darcs.ProgressPatches ( progressFL )
 import Printer ( text, (<>), Doc, ($$), empty )
 import Darcs.Sealed ( Sealed(Sealed), seal, unseal )
 \end{code}
hunk ./src/Darcs/Repository/DarcsRepo.lhs 139
 format_inventory (pinfo:ps) = showPatchInfo pinfo $$ format_inventory ps
 
 write_inventory :: RepoPatch p => FilePath -> PatchSet p C(x) -> IO ()
--- Note that write_inventory optimizes the inventory it writes out by
+write_inventory = write_inventory_ "inventory"
+
+write_tentative_inventory :: RepoPatch p => FilePath -> PatchSet p C(x) -> IO ()
+write_tentative_inventory = write_inventory_ "tentative_inventory"
+
+write_inventory_ :: RepoPatch p => FilePath -> FilePath -> PatchSet p C(x) -> IO ()
+-- Note that write_inventory_ optimizes the inventory it writes out by
 -- checking on tag dependencies.
 -- FIXME: There is also a problem that write_inventory always writes
 -- out the entire inventory, including the parts that you haven't
hunk ./src/Darcs/Repository/DarcsRepo.lhs 150
 -- changed...
-write_inventory dir ps = withSignalsBlocked $ do
+write_inventory_ inventory dir ps = withSignalsBlocked $ do
     createDirectoryIfMissing False (dir++"/"++darcsdir++"/inventories")
hunk ./src/Darcs/Repository/DarcsRepo.lhs 152
-    simply_write_inventory "inventory" dir $ slightly_optimize_patchset ps
+    simply_write_inventory inventory dir $ slightly_optimize_patchset ps
 
hunk ./src/Darcs/Repository/DarcsRepo.lhs 154
+
 simply_write_inventory :: RepoPatch p => String -> FilePath -> PatchSet p C(x) -> IO ()
 simply_write_inventory name dir NilRL =
     writeBinFile (dir++"/"++darcsdir++"/"++name) ""
hunk ./src/Darcs/Repository/DarcsRepo.lhs 201
 
 remove_from_tentative_inventory :: RepoPatch p => Bool -> [DarcsFlag] -> FL (Named p) C(x y) -> IO ()
 remove_from_tentative_inventory update_pristine opts to_remove =
-    do finalize_tentative_changes
+    do
+       revert_tentative_changes
        Sealed allpatches <- read_repo opts "."
        skipped :< unmodified <- return $ commute_to_end (unsafeCoerceP to_remove) allpatches
        sequence_ $ mapFL (write_patch opts) skipped
hunk ./src/Darcs/Repository/DarcsRepo.lhs 206
-       write_inventory "." $ deep_optimize_patchset
-                           $ mapRL_RL n2pia (reverseFL skipped) :<: unmodified
+       write_tentative_inventory "." $ deep_optimize_patchset
+                                     $ mapRL_RL n2pia (reverseFL skipped) :<: unmodified
        remove_from_checkpoint_inventory to_remove
hunk ./src/Darcs/Repository/DarcsRepo.lhs 209
-       when update_pristine $
-            do pris <- identifyPristine
-               repairable $ applyPristine pris
-                              $ progressFL "Applying inverse to pristine" $ invert to_remove
-       revert_tentative_changes
+       when update_pristine $ add_to_tentative_pristine $ invert to_remove
 
 finalize_tentative_changes :: IO ()
 finalize_tentative_changes = renameFile (darcsdir++"/tentative_inventory") (darcsdir++"/inventory")
hunk ./src/Darcs/Repository/DarcsRepo.lhs 219
     do Sealed ps <- read_patches $ darcsdir++"/tentative_pristine"
        pris <- identifyPristine
        repairable $ applyPristine pris ps
-    where 
+    where
       read_patches :: String -> IO (Sealed (FL Prim C(x)))
       read_patches f = do ps <- B.readFile f
                           return $ case readPatch ps of

Context:

[minor clean up in TouchesFiles
Jason Dagit <[email protected]>**20090830080712
 Ignore-this: dd23aa84c47234c72f14948981214960
] 
[silence a warning that happens when compiling witnesses
Jason Dagit <[email protected]>**20090830022548
 Ignore-this: 58f61bce80505de12ede5095d209b577
] 
[remove unused argument to readPrim
Jason Dagit <[email protected]>**20090830022354
 Ignore-this: df9164c70fa9be8f274bdb8e634956d1
] 
[use gzipFormat instead of GZip to work around deprecation warning.
Jason Dagit <[email protected]>**20090830022209
 Ignore-this: a556704bf2c974c10619a8051ebb90b4
] 
[Resolve issue1578: Don't put newlines in the Haskeline prompts.
Judah Jacobson <[email protected]>**20090829072733
 Ignore-this: 48a17fb0f45f3aee76aa56361bfd97df
 
 Haskeline doesn't expect to get control characters in its prompt.
 The fix is to manually print all but the last line of a prompt message
 separately, and then pass the last line as the Haskeline prompt.
 
 So far we've only seen this cause a problem when mark-conflicts is run in
 the emacs shell (see the issue for more information).
] 
[Whoops, one more obviated line from Darcs.Repository.Checkpoint.
Trent W. Buck <[email protected]>**20090829070738
 Ignore-this: b9aef33a8b34db9d41f8d0b83025c85b
] 
[Resolve issue1548: show contents requires at least one argument.
Trent W. Buck <[email protected]>**20090829073643
 Ignore-this: c15286919e827a5e7fdad01c75acccfe
] 
[Add a hidden alias "darcs log" for "darcs changes".
Trent W. Buck <[email protected]>**20090829032545
 Ignore-this: 96d8bec96c5bf39387a534fa62a79e28
 Reduces disparity with CVS, svn, hg, git &c, who all use "log".
] 
[Mark issue68 test as failing (and fix issue number).
Eric Kow <[email protected]>**20090828101717
 Ignore-this: 63c0ba22d171cefe5a0244b4ee57a991
] 
[Resolve issue1373: don't use a broken example.
Trent W. Buck <[email protected]>**20090828062131
 Ignore-this: 35d59b69c8018f55191486c6a0175c9a
] 
[Reorder paragraphs and minor rewrite of darcs replace --help.
Trent W. Buck <[email protected]>**20090828041241
 Ignore-this: 72137bca5de55b77173db6758445b4a7
] 
[Remove unused code from Darcs.Repository.Checkpoint.
Trent W. Buck <[email protected]>**20090828030127
 Ignore-this: 25ab977e5ac0b735ca6ee90aea0349c9
] 
[The record-scaling test still fails.
Trent W. Buck <[email protected]>**20090828025648
 Ignore-this: 5ca16bd011676b083cdfcd4359f4744a
] 
[Print helpful message in gzcrcs command when visiting other repos
Ganesh Sittampalam <[email protected]>**20090827054315
 Ignore-this: a7f997c441f0e246c4d31d827ebc9d2b
] 
[Clean up leftover conflicts from merge with David's test suite work.
Eric Kow <[email protected]>**20090824104840
 Ignore-this: ec4ef00d4c5b4da6e24f008f854da2e8
] 
[Resolve conflicts between David and mainline test suite work.
Eric Kow <[email protected]>**20090815232335
 Ignore-this: 72f386bd5345c344f32ca2db9f5594e3
 
 Patches involved from David's end:
   * add failing test demonstrating nasty conflict markings.
   * mark check.sh test as passing.
   * mark issue27 test as passing.
   * mark issue 1043 test as passing.
   * mark nfs-failure.sh as passing (even though it might not be fixed).
   * mark dist-v as passing.
   * mark check.sh as failing.
   * clean up and mark as passing the broken-pipe.sh test.
   * mark issue 525 is no longer failing.
   * move bugs into tests/ directory.
 
 The main patch involved is the 'move bugs into tests/ directory'
 which conflicts with some new bugs we added.  I re-added these
 manually from the mainline branch of darcs along with some bugs
 we added that we later marked as passing.
 
 I also had to clean up a few tests along the way:
 - check.sh because of conflicts,
 - broken-pipe.sh because of temp dir garbage and
 - record-scaling.sh because of MacOS X incompatiblity
] 
[add failing test demonstrating nasty conflict markings.
David Roundy <[email protected]>**20090329022150
 Ignore-this: 17b0df1e2a33e5efccd92f1930850c15fbf12b1e
] 
[mark check.sh test as passing.
David Roundy <[email protected]>**20081207192451
 Ignore-this: bb0d26124eb69bb88e981d06caa88206
] 
[mark issue27 test as passing.
David Roundy <[email protected]>**20081201170526
 Ignore-this: 49c7b75f79d9bf25610162d079f7dde9
] 
[mark issue 1043 test as passing.
David Roundy <[email protected]>**20081119150515
 Ignore-this: 8b46c9feb0680f0ee9b4f95ee93eb580
] 
[mark nfs-failure.sh as passing (even though it might not be fixed).
David Roundy <[email protected]>**20081117160036
 Ignore-this: d13ebd26c2a799668068132f9c4d05bc
] 
[mark dist-v as passing.
David Roundy <[email protected]>**20081115221319
 Ignore-this: 6fbea237af32801e7207f25af032f408
] 
[mark check.sh as failing.
David Roundy <[email protected]>**20081115220504
 Ignore-this: 812ad08924c9d713646c7adc26d34b75
] 
[clean up and mark as passing the broken-pipe.sh test.
David Roundy <[email protected]>**20081115213750
 Ignore-this: db9fb0de61a4099c73e42365047dc9d2
] 
[mark issue 525 is no longer failing.
David Roundy <[email protected]>**20081115212158
 Ignore-this: 8398c09d03c2e900251f46c41106d94
] 
[move bugs into tests/ directory.
David Roundy <[email protected]>**20081115205509
 Ignore-this: 6b249e3ba90b455331ba31fee36ef5ad
] 
[Eliminate references to the autotools-based build system.
Taylor R Campbell <[email protected]>**20090826170519
 
 Now that the autotools-based build system is gone, various vestiges
 of it can be eliminated.  This patch also eliminates some text in
 src/darcs.tex about the Darcs cgi script in contrib/cgi/, which was
 built using `make install-server' and appears to have no way to be
 built now.  This does not eliminate the script, however.
 
 The following tests still refer to the old autotools- and make-based
 build system:
 
   release/darcs.spec.in
   src/Darcs/Commands/Send.lhs
   tests/README.test_maintainers.txt
   tests/run-all-tests
 
 I didn't change them because I don't know what to substitute for them.
 The sendmail options could use some clearer documentation anyway, which
 is outside the scope of this patch.
] 
[update docs for darcs mv to reflect reality
Ganesh Sittampalam <[email protected]>**20090827230453
 Ignore-this: 7f5c30b5711b8bbcbec47f6217662b0d
] 
[Mark issue1317 test as failing (and note issue number).
Eric Kow <[email protected]>**20090824110437
 Ignore-this: bbecb8d3a4e60c3bc96b28b729375b6c
] 
[Regression test for issue1317.
Marco Túlio Gontijo e Silva <[email protected]>**20090811220616
 Ignore-this: 846d37873b06a70bed87afeb0fbf2d38
] 
[Explain a slightly obtuse one-liner.
Trent W. Buck <[email protected]>**20090824033200
 Ignore-this: 8d6ed336b0a2d932eed879fc85183943
] 
[Support tests/failing-foo.sh convention for bugs.
Eric Kow <[email protected]>**20090814103659
 Ignore-this: 4729f6553910660be921af7d1199abb1
] 
[Minor style tweaks in cabal test.
Eric Kow <[email protected]>**20090814102234
 Ignore-this: 9ce3479022f3c177af3c4fa17426b177
] 
[Support command line arguments in PAGER or DARCS_PAGER
[email protected]**20090823011449
 Ignore-this: d979af618b5f193b58867e43dd2e0171
 For example:
   PAGER="less -is" darcs help
] 
[Rename xml_summary to xmlSummary and summarize to plainSummary.
Eric Kow <[email protected]>**20090818220119
 Ignore-this: b1e29f45f0599a406ffb6496acac2488
] 
[Cut unused imports in Darcs.Patch.Viewing.
Eric Kow <[email protected]>**20090818214432
 Ignore-this: f83f5ce55279a5b96a14770dbcb7dd0b
] 
[Simpler types for changes --summary.
Eric Kow <[email protected]>**20090818213946
 Ignore-this: 22fdc7984753eedf3d35ff88762a2eb2
] 
[Camel-case some Darcs.Patch.Viewing functions.
Eric Kow <[email protected]>**20090817153751
 Ignore-this: b3b03f3408f1097e5b476a35215ecec6
] 
[A tiny bit more separation of concerns in changes --summary core.
Eric Kow <[email protected]>**20090817230414
 Ignore-this: b9f5e9625862d19c356667dc2ce6710d
] 
[Resolve issue183: Do not sort changes --summary output.
Eric Kow <[email protected]>**20090817225814
 Ignore-this: 2749e08a69592f49bb7e2400ae89e8a6
 This adds move patches to our high-level representation of summary output.
] 
[Refactor changes --summary core code.
Eric Kow <[email protected]>**20090817225735
 Ignore-this: 1078c3bf42fa5e2acef6e6a31c81c42b
 
 This uses some custom types representing summarised changes on a higher level
 and also moves the XML and 'line' based rendering of summaries into separate
 blocks of code.
] 
[Accept issue1472: "darcs record ./foo" shouldn't open ./bar.
Trent W. Buck <[email protected]>**20090815084306
 Ignore-this: 23d5392008872369ba9b509b75aeb5bc
 This bug was present in Darcs 2.0, but gone by 2.3.
 Thus, this patch simply adds a regression test.
] 
[Remove tabs from src/Exec.hs
Reinier Lamers <[email protected]>**20090809163015
 Ignore-this: 30952fddf0ae0f60b3af442e90411ca7
] 
[Remove optimize --checkpoint cruft.
Eric Kow <[email protected]>**20090811143734
 Ignore-this: c36c818704171289ff388cdd539626d5
] 
[darcs.cabal turn on -fwarn-tabs per dupree
[email protected]**20090807013047
 Ignore-this: c7961b5512d2f8392f3484c81ca197e0
] 
[Add script that tricks cabal into installing our build-depends only.
Petr Rockai <[email protected]>**20090805152653
 Ignore-this: 6a70f5ff464d26a944b81967606e7af0
] 
[Avoid unescaped hyphens and backslashes in manpage.
Trent W. Buck <[email protected]>**20090803063335
 Ignore-this: 4db2b484b68590f754d36f4751e93962
 Fixes these bugs:
 
   W: darcs: manpage-has-errors-from-man darcs.1.gz:
        297: a tab character is not allowed in an escape name
   I: darcs: hyphen-used-as-minus-sign darcs.1.gz (87 times)
 
 http://lintian.debian.org/tags/manpage-has-errors-from-man.html
 http://lintian.debian.org/tags/hyphen-used-as-minus-sign.html
] 
[Typo: s/comand/command/.
Trent W. Buck <[email protected]>**20090803042007
 Ignore-this: fcbe6f2cbcb3743872b0431b11dea10c
 Thanks to http://lintian.debian.org/tags/spelling-error-in-binary.html.
] 
[Update hpc.README to use Cabal.
Petr Rockai <[email protected]>**20090730190304
 Ignore-this: 7f63751a7daa418ffdca2ca6d20af1b1
] 
[Add a flag for enabling HPC for the darcs library.
Petr Rockai <[email protected]>**20090730185959
 Ignore-this: e0246133e84e8547e223f61b67a28066
] 
[Combine the HPC tix files after each test in ShellHarness.
Petr Rockai <[email protected]>**20090730185951
 Ignore-this: 577a6e1614aa8c5ff6f25d9df6f81554
 
 This is done when HPCTIXDIR is set, so presumably we are generating coverage
 report. We need to do this, because otherwise, a full testsuite run produces
 over a gigabyte of tixfiles, even though the combined tix is less than 200K.
] 
[Require haskell zlib, dropping the legacy internal zlib binding.
Petr Rockai <[email protected]>**20090722091325
 Ignore-this: 348c1fd005fe19900e4a9706567b4ee0
] 
[Fix link to autoconf tarball.
Eric Kow <[email protected]>**20090723135420
 Ignore-this: cfe87256fbd5af286a00fbb84ca443d0
] 
[Update web page for 2.3.0 release.
Eric Kow <[email protected]>**20090723134705
 Ignore-this: dfa04b99e5c0170448d635bf0e496a66
] 
[Resolve conflict between autoconf removal and version number updates.
Eric Kow <[email protected]>**20090723133543
 Ignore-this: efcf724bf0230243cee1e88502428ccd
] 
[Makefile: fix dependency on no longer existing distclean target.
Eric Kow <[email protected]>**20090722093438
 Ignore-this: d0f8da797e26b0c42a2da76eddd4ed31
] 
[Make utf8-string mandatory.
Eric Kow <[email protected]>**20090721194433
 Ignore-this: cd8a94b3e4e41bb938e82dffbcb27e2d
] 
[Remove UTF8 module completely.
Eric Kow <[email protected]>**20090721194220
 Ignore-this: f4ec3fe853ecbc928a8d3e3c3b9aa07c
 The utf8-string package has been the default for a while.
 Now we're wholly dependent on it.
] 
[Add support for skipping tests (exit 200).
Petr Rockai <[email protected]>**20090720095346
 Ignore-this: 133cb02e8cca03a4678068450cb150a9
] 
[Remove the --checkpoint option from the UI.
Petr Rockai <[email protected]>**20090720093634
 Ignore-this: 2fb627cd1e64bbe264fda6e19f0b085b
] 
[Remove the support for writing out new checkpoints.
Petr Rockai <[email protected]>**20090720091809
 Ignore-this: 87eb23fe7604ed0abe5c38daafb87a7e
] 
[Remove unused determine_release_state.pl.
Eric Kow <[email protected]>**20090721205227
 Ignore-this: 15331bbb258fbdeb6bd4887c8dabb8ed
] 
[Remove ununsed test/shell_harness.hs.
Eric Kow <[email protected]>**20090721192027
 Ignore-this: 7efbe97744c698beecd4f17a09868467
] 
[Remove autoconf support and cut GNUmakefile to only build manual and tags.
Petr Rockai <[email protected]>**20090717160355
 Ignore-this: 8a45c095c566172076adbe6e44b37827
] 
[Slightly refactor the run function in ShellHarness.
Petr Rockai <[email protected]>**20090714134205
 Ignore-this: 92c7f05b9c4d6973e95706f23ea27dfc
] 
[Slightly refactor test machinery in Setup.lhs.
Petr Rockai <[email protected]>**20090714134119
 Ignore-this: 32206a331658d407d9c0fb3b48405db6
] 
[Use tee in pending_has_conflicts.sh for easier debugging.
Petr Rockai <[email protected]>**20090713180404
 Ignore-this: 7b96b7f7df6358ddb0466cfe58803f71
] 
[Roll back the getSymbolicLinkStatus workaround, since it constitutes a fd leak.
Petr Rockai <[email protected]>**20090710143149
 Ignore-this: cd2aa7e13cc902852a7c5d0855d55538
 
 rolling back:
 
 Sun Jun 21 17:39:42 CEST 2009  Petr Rockai <[email protected]>
   * Avoid getSymbolicLinkStatus in mmap implementation, works around GHC 6.8.2 bug.
] 
[Note darcs 2.3 pre-release and darcs 2.2 stable versions in website.
Eric Kow <[email protected]>**20090716133323
 Ignore-this: bbe9c36213a07890816b8599f2f29aee
] 
[Remove website automation from Makefile.
Eric Kow <[email protected]>**20090716133230
 Ignore-this: f0cdb9afaa9d314321b345a08e2784bf
] 
[Rename index.html.in to index.html, forgoing website automation.
Eric Kow <[email protected]>**20090716133023
 Ignore-this: a4c62db2d3ca341e95262cd05328473f
 
 The website automation allowed us to avoid duplication of information (ie.
 version numbers), but we're in the process of changing our build and
 release system, which breaks the site.  For now, we go for simplicity and
 robustness, perhaps restoring the automation in the future when things
 have settled down somewhat.
] 
[Remove bytestring flag from darcs.cabal.
Eric Kow <[email protected]>**20090714165021
 Ignore-this: 4325773231f9679054c7d045657bdae0
 Now that we're requiring GHC 6.8 or above, we always use the external bytestring
 package.
] 
[Move email unit tests to Darcs.Test module space
Reinier Lamers <[email protected]>**20090629203409
 Ignore-this: 3187d24822e7a125a46e0a273956d792
] 
[Teach cabal about new Darcs.Test modules
Reinier Lamers <[email protected]>**20090629193208
 Ignore-this: c27c8398fd637e100259fdf1f4d42e0a
] 
[Move unit tests to Darcs.Test module space
Reinier Lamers <[email protected]>**20090629192934
 Ignore-this: e88d9ecb7ca8f0b5679fba2cd2813ff0
] 
[Bound size of trees generated in Darcs.Patch.QuickCheck
Reinier Lamers <[email protected]>**20090628134952
 Ignore-this: c499b850ad5ca15d4bada56b69ee98f3
 
 This keeps the 'Checking that tree flattenings are consistent' test from
 occasionally taking hours and hours to complete. The maximum depth of 5 was
 found by experiment.
] 
[Add some comments in Darcs.Patch.QuickCheck
Reinier Lamers <[email protected]>**20090628134908
 Ignore-this: c66a386865832e75427f99febfb91a91
] 
[Avoid getSymbolicLinkStatus in mmap implementation, works around GHC 6.8.2 bug.
Petr Rockai <[email protected]>**20090621153942
 Ignore-this: 91092453d97c87edfc4e46b11e4ae208
] 
[TAG 2.3.0
Petr Rockai <[email protected]>**20090723115125
 Ignore-this: e326d4ddff92c578e8fe8a3c23d00193
] 
Patch bundle hash:
f37822976043ed6f7b76278c29c3f5da8718b716
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to