diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-01-25 15:04:05 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-01-25 15:04:05 -0400 |
| commit | 73ad89d9734bace04b68e078fa1d46ccee6a396b (patch) | |
| tree | a378132a30614311e6c26ca8748476d50090880a | |
| parent | f1e942bc2540941dce12d85a535576beb9ce0862 (diff) | |
propellor spin
| -rw-r--r-- | doc/todo/RevertableProperty_with_NoInfo.mdwn | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/todo/RevertableProperty_with_NoInfo.mdwn b/doc/todo/RevertableProperty_with_NoInfo.mdwn index 3b4a61a9..e778ff85 100644 --- a/doc/todo/RevertableProperty_with_NoInfo.mdwn +++ b/doc/todo/RevertableProperty_with_NoInfo.mdwn @@ -16,3 +16,6 @@ a mouthful! Since only 2 places in the propellor source code currently need to deal with this, it doesn't currently seem worth making the change, unless a less intrusive way can be found. + +Hmm, if RevertableProperty were made a constructor in the Property GADT, +this would need to be done, and that would also allow for |