[darcs-users] darcs patch: Add Repository IO monad, RIO. (and 31 more)

Thu Sep 4 01:33:41 UTC 2008

David,

Here is my next try at making all the commands compile with type witnesses.

I constructed this set of patches by pulling over my previous patches,
unrecording them, fixing up conflicts, checking that they compile with/without
type witnesses and every several files checking that the tests still pass.

I see the above as a compromise to running the tests for each command, and
I hope you do too :)  It was Ian's idea that I do it this way to save
time but also be fairly confident that I didn't introduce bugs along the
way.

The bad news is that my patches will definitely collide with the ones that
mornfall recently sent.  The other bad news is that while I was recording
them in compilation order, I screwed that order up when I got to the end
due to forgetting to unrecord one or two patches.  I think I've unrecorded
all the duplicates now though.

I've tried to improve my refactor of Add based on your previous feedback.
And I still have comments where I've used unsafeCoercePs that are non-
obvious (where 'unsafeCoerceP NilFL' is just about the only thing I consider
obvious).  If some of these are wrong, please let me know so we can work
towards a better refactor.

I'm really hoping I don't have to amend these again, but I guess we'll see.

Thanks,
Jason

Tue Sep  2 16:23:31 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * Add Repository IO monad, RIO.

Tue Sep  2 16:24:58 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * Begin using RIO

Wed Aug 27 09:49:09 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * updates to Darcs.Match to support type witness refactor of various commands

Tue Sep  2 17:23:28 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * rename get_patches_beyond_tag and add more typeful version
  This is a refactor that will make it easier to update some commands
  to use type witnesses.

Wed Aug 27 09:51:13 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * updates in Patch.lhs to support type witness refactor in commands

Tue Sep  2 18:21:52 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Unrecord.lhs compile with type witnesses
  This required a few small changes in Rollback as well.  Updated
  the makefile to add Unrecord to witnesses target.

Tue Sep  2 19:05:06 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make TrackDown.lhs compile with type witnesses

Tue Sep  2 19:41:22 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Record.lhs compile with type witnesses

Tue Sep  2 19:50:00 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Send.lhs compile with type witnesses

Tue Sep  2 19:55:49 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Revert.lhs compile with type witnesses

Tue Sep  2 20:39:24 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Replace.lhs compile with type witnesses

Tue Sep  2 22:31:05 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Check.lhs compile with type witnesses

Tue Sep  2 23:21:25 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Repair.lhs compile with type witnesses

Wed Aug 27 09:47:19 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Remove.lhs compile with type witnesses

Tue Sep  2 23:45:14 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Put.lhs compile with type witnesses

Wed Sep  3 00:25:00 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Push.lhs compile with type witnesses

Wed Sep  3 00:48:01 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Pull.lhs compile with type witnesses

Wed Sep  3 10:40:43 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Optimize.lhs compile with type witnesses

Wed Aug 27 09:48:21 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make ShowFiles.lhs compile with type witnesses

Wed Sep  3 17:27:10 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make make_changelog.hs compile with type witnesses

Wed Sep  3 17:40:52 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Add.lhs compile with type witnesses

Wed Sep  3 17:52:09 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make ShowRepo.lhs compile with type witnesses

Wed Sep  3 17:52:49 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Mv.lhs compile with type witnesses

Wed Sep  3 17:55:56 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Init.lhs compile with type witnesses

Wed Sep  3 17:57:44 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make MarkConflicts.lhs compile with type witnesses

Wed Sep  3 17:58:30 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make AmendRecord.lhs compile with type witnesses

Wed Sep  3 17:58:55 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Apply.lhs compile with type witnesses

Wed Sep  3 17:59:55 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Diff.lhs compile with type witnesses

Wed Sep  3 18:00:06 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Get.lhs compile with type witnesses

Wed Sep  3 18:02:01 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Changes.lhs compile with type witnesses

Wed Sep  3 18:03:09 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Convert.lhs compile with type witnesses

Wed Sep  3 18:11:55 PDT 2008  Jason Dagit <dagit at codersbase.com>
  * add more modules to witnesses target

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 298343 bytes
Desc: A darcs patch for your repository!
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20080903/7f9d7823/attachment-0001.bin 