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

[David Roundy]

Hi Jason,

Here's a little example of how you should be able to fix up one of the
Darcs.Commands.  I haven't been able  to test it because Internal won't
compile, but you should be able to see the idea.  Any use of unsafeCoerceP
in Darcs.Commands is indicative of a serious bug.

David

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

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

Tue Sep  2 20:23:28 EDT 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.

Tue Sep  2 21:21:52 EDT 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 22:05:06 EDT 2008  Jason Dagit <dagit at codersbase.com>
  * make TrackDown.lhs compile with type witnesses

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

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

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

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

Wed Sep  3 01:31:05 EDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Check.lhs compile with type witnesses

Wed Sep  3 02:21:25 EDT 2008  Jason Dagit <dagit at codersbase.com>
  * make Repair.lhs compile with type witnesses

Thu Sep  4 22:43:52 EDT 2008  Jason Dagit <dagit at codersbase.com>
  * fix conflicts in ShowRepo and Repair

Fri Sep  5 07:14:11 EDT 2008  David Roundy <droundy at darcs.net>
  * fix Replace to not use unsafeCoerceP.

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