darcs patch: change workspaces to [WorkspaceId]

This simplifies several lines of code (although it doesn't
eliminate any lines of code). It eliminates the assumption
that the workspace IDs are contiguous, starting at zero, although
it doesn't change this property.
I hope this change goes in, as it improves the code, and
may also lead the way towards friendlier interaction with
a changing number of workspaces.
David
Mon Aug 13 17:37:22 PDT 2007 David Roundy

On Monday 13 August 2007 19:41:41 David Roundy wrote:
This simplifies several lines of code (although it doesn't eliminate any lines of code). It eliminates the assumption that the workspace IDs are contiguous, starting at zero, although it doesn't change this property.
I hope this change goes in, as it improves the code, and may also lead the way towards friendlier interaction with a changing number of workspaces.
David
Mon Aug 13 17:37:22 PDT 2007 David Roundy
* change workspaces to [WorkspaceId]
Applied.
participants (2)
-
David Roundy
-
Spencer Janssen