darcs

Patch 1990 remove state parameter from WithStartState2

Title remove state parameter from WithStartState2
Superseder Nosy List bf
Related Issues
Status accepted Assigned To
Milestone

Created on 2020-02-16.21:29:10 by bf, last changed 2020-06-20.08:39:13 by bf.

Files
File name Status Uploaded Type Edit Remove
patch-preview.txt bf, 2020-02-16.21:29:10 text/x-darcs-patch
remove-state-parameter-from-withstartstate2.dpatch bf, 2020-02-16.21:29:10 application/x-darcs-patch
unnamed bf, 2020-02-16.21:29:10 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg21840 (view) Author: bf Date: 2020-02-16.21:29:10
Ganesh, you may or may not like this one. Please yell if not.

1 patch for repository http://darcs.net/screened:

patch f2a716c01d4ca6197a45ac9aaf0c1957006c17af
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Feb 16 19:21:20 CET 2020
  * remove state parameter from WithStartState2
  
  This is similar to what I did to WithState and has the same advantages.
Attachments
msg21843 (view) Author: ganesh Date: 2020-02-16.21:47:03
It certainly makes sense to be consistent, and in practice having
'ModelOf' as well as the independent type parameter seems confused, so
I think this is a good direction to go in. I can't think of any reason
we'd want to have multiple models for a single patch type.
History
Date User Action Args
2020-02-16 21:29:10bfcreate
2020-02-16 21:47:03ganeshsetmessages: + msg21843
2020-02-16 23:09:52bfsetstatus: needs-screening -> needs-review
2020-02-27 07:11:23ganeshsetstatus: needs-review -> accepted-pending-tests
2020-06-20 08:39:13bfsetstatus: accepted-pending-tests -> accepted