diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-01-25 15:20:11 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-01-25 15:20:11 -0400 |
| commit | c72fa2bcd8ffdc750b1f6407cca39f954a555241 (patch) | |
| tree | 6d7818d93e95d6acdfae432767a395382d6f4def | |
| parent | cdd88b080af534231aae8a64ef327f0597a5b5b3 (diff) | |
remove idea about moving into GADT
| -rw-r--r-- | doc/todo/RevertableProperty_with_NoInfo.mdwn | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/todo/RevertableProperty_with_NoInfo.mdwn b/doc/todo/RevertableProperty_with_NoInfo.mdwn index e9c1eb5d..3b4a61a9 100644 --- a/doc/todo/RevertableProperty_with_NoInfo.mdwn +++ b/doc/todo/RevertableProperty_with_NoInfo.mdwn @@ -16,14 +16,3 @@ 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. - -Probably related would be to make RevertableProperty a constructor in the -Property GADT, which would allow more property combinators to work on -RevertableProperties. That would look like: - - data Propety i where - ... - RProp :: Property i1 -> Property i2 -> Property (CInfo i1 i2) - -In this case, there's only one Info/NoInfo encompassing both sides, and -so ensureProperty could only be used on it if both sides were NoInfo. |