diff options
| -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 |