21 Jan
2016
21 Jan
'16
4:12 a.m.
On Thu, Jan 21, 2016 at 12:08:42AM -0800, Jeffrey Brown wrote:
I had a data structure with a redundant field [1]. I refactored to make that field go away. Here is the code [2]. The following is a simplification of it.
I was using this type: data X = X1 | X2 Int
To make the Int go away, I made a duplicate type: data X' = X1' | X2'
You might be interested in this, specifically the section "The limitations of refactoring via modifying text files in place, and what to do instead" https://pchiusano.github.io/2015-04-23/unison-update7.html Tom