## Wednesday, December 09, 2009

### intra-line diff

Introducing linediff, a quick ruby wrapper around diff to highlight changed words instead of changed lines.
#!/usr/bin/ruby
pre, post = $stdin.read.split("\n=======\n") post[-1..-1] = "" class String def bash bash -c #{inspect.gsub("$", "\\$")} end def binspect split("\n").map {|s| "echo #{s.inspect.gsub("$", "\\$")}" }.join(";") end def to_lines gsub("\n", "\\n").gsub(" ", "\n") end def to_lines! gsub!("\n", "\\n") gsub!(" ", "\n") end def to_words gsub("\n", " ").gsub("\\n", "\n") end def to_words! gsub!("\n", " ") gsub!("\\n", "\n") end end pre.to_lines! post.to_lines! len = pre.length+post.length both = "diff -U#{len} <(#{pre.binspect}) <(#{post.binspect})".bash both = both.split("\n")[3..-1] pre = both.select {|s| s[0..0] != "+"}.join("\n") post = both.select {|s| s[0..0] != "-"}.join("\n") pre.gsub!(/^-/, "+") pre.gsub!(/^ /, "") post.gsub!(/^ /, "") pre.to_words! post.to_words! puts "#{pre}\n=======\n#{post}"  I use it mostly to handle git conflicts which, in my current setup, show up more often than they should (I repeatedly sync with both a git and an svn repository, which I should not be doing according to git-svn). Here's an example conflict. Can you spot the difference? <<<<<<< HEAD:thesis.tex Once we are done with binary functions, we turn to unary functions, shifting our focus from the aspect weavers to the aspects themselves. Our goal is to help programmers to build aquariums containing the aspects they need, while minimizing the number of proofs needed to achieve this goal. To this end, we provide several generic proofs that create, extend, and translate aquariums with aspects of specific forms. Note, however, that not every pair of functions that commute can be shown to do so using our proofs only, so the programmers are expected to complete our collection with proofs of their own whenever the aspects they need are not of the specific forms covered by our theorems. \begin{enumerate} \item For every associative and commutative binary function, such as those created using our unordered pair strategy, we can create an aquarium of unary functions corresponding to the elements of the algebraic datatype. \item Given an aquarium containing a function$f$, the aquarium can be extended with function$f^n$, for any natural number$n$. The function$f^n$is the function which repeatedly applies,$n$times, the function$f$. If$f$is invertible, the theorem extends to negative integers. ======= Once we are done with binary functions, we turn to unary functions, shifting our focus from the aspect weavers to the aspects themselves. Our goal is to help programmers to build aquariums containing the aspects they need, while minimizing the number of proofs needed to achieve this goal. To this end, we provide several generic proofs that create, extend, and translate aquariums with aspects of specific forms. Note, however, that not every pair of functions that commute can be shown to do so using our proofs only, so the programmers are expected to complete our collection with proofs of their own whenever the aspects they need are of the specific forms covered by our theorems. \begin{enumerate} \item For every associative and commutative binary function, such as those created using our unordered pair strategy, we can create an aquarium of unary functions corresponding to the elements of the algebraic datatype. \item Given an aquarium containing a function$f$, the aquarium can be extended with function$f^n$, for any natural number$n$. The function$f^n$is the function which repeatedly applies,$n$times in total, the function$f$. If$f$is invertible, the theorem extends to negative integers. >>>>>>> df2a5b6eb97ded25a34412d6ff946e0c513da6f3:thesis.tex \item If$M$is a functor, then applying$M$to all the members of an aquarium transforms the aquarium into a new one, while preserving the pairwise commutativity of its elements. %\item We show how parametricity \cite{free_theorems} ensures that structure-manipulating aspects cannot interfere with element-manipulating aspects, thereby reducing the programmer's remaining burden of proof. \end{enumerate}  When I encounter such a conflict, I select the code between the "<<<<<<< ... >>>>>>>" and type "!linediff" to tell vim to filter the lines through my ruby script. <<<<<<< HEAD:thesis.tex Once we are done with binary functions, we turn to unary functions, shifting our focus from the aspect weavers to the aspects themselves. Our goal is to help programmers to build aquariums containing the aspects they need, while minimizing the number of proofs needed to achieve this goal. To this end, we provide several generic proofs that create, extend, and translate aquariums with aspects of specific forms. Note, however, that not every pair of functions that commute can be shown to do so using our proofs only, so the programmers are expected to complete our collection with proofs of their own whenever the aspects they need are not of the specific forms covered by our theorems. \begin{enumerate} \item For every associative and commutative binary function, such as those created using our unordered pair strategy, we can create an aquarium of unary functions corresponding to the elements of the algebraic datatype. \item Given an aquarium containing a function$f$, the aquarium can be extended with function$f^n$, for any natural number$n$. The function$f^n$is the function which repeatedly applies,$n$times, the function$f$. If$f$is invertible, the theorem extends to negative integers. ======= Once we are done with binary functions, we turn to unary functions, shifting our focus from the aspect weavers to the aspects themselves. Our goal is to help programmers to build aquariums containing the aspects they need, while minimizing the number of proofs needed to achieve this goal. To this end, we provide several generic proofs that create, extend, and translate aquariums with aspects of specific forms. Note, however, that not every pair of functions that commute can be shown to do so using our proofs only, so the programmers are expected to complete our collection with proofs of their own whenever the aspects they need are of the specific forms covered by our theorems. \begin{enumerate} \item For every associative and commutative binary function, such as those created using our unordered pair strategy, we can create an aquarium of unary functions corresponding to the elements of the algebraic datatype. \item Given an aquarium containing a function$f$, the aquarium can be extended with function$f^n$, for any natural number$n$. The function$f^n$is the function which repeatedly applies,$n$times in total, the function$f$. If$f$is invertible, the theorem extends to negative integers. >>>>>>> df2a5b6eb97ded25a34412d6ff946e0c513da6f3:thesis.tex \item If$M$is a functor, then applying$M$to all the members of an aquarium transforms the aquarium into a new one, while preserving the pairwise commutativity of its elements. %\item We show how parametricity \cite{free_theorems} ensures that structure-manipulating aspects cannot interfere with element-manipulating aspects, thereby reducing the programmer's remaining burden of proof. \end{enumerate}  Note that my script detects the "=======" separator and diffs between the lines appearing before and after it. It should be trivial to adapt it to examine different files, like the original diff does. Anyway, the result is that the changed words get prefixed with a "+", which I highlight using vim's ":hlsearch" option. <<<<<<< HEAD:thesis.tex Once we are done with binary functions, we turn to unary functions, shifting our focus from the aspect weavers to the aspects themselves. Our goal is to help programmers to build aquariums containing the aspects they need, while minimizing the number of proofs needed to achieve this goal. To this end, we provide several generic proofs that create, extend, and translate aquariums with aspects of specific forms. Note, however, that not every pair of functions that commute can be shown to do so using our proofs only, so the programmers are expected to complete our collection with proofs of their own whenever the aspects they need are +not of the specific forms covered by our theorems. \begin{enumerate} \item For every associative and commutative binary function, such as those created using our unordered pair strategy, we can create an aquarium of unary functions corresponding to the elements of the algebraic datatype. \item Given an aquarium containing a function$f$, the aquarium can be extended with function$f^n$, for any natural number$n$. The function$f^n$is the function which repeatedly applies,$n$+times, the function$f$. If$f$is invertible, the theorem extends to negative integers. ======= Once we are done with binary functions, we turn to unary functions, shifting our focus from the aspect weavers to the aspects themselves. Our goal is to help programmers to build aquariums containing the aspects they need, while minimizing the number of proofs needed to achieve this goal. To this end, we provide several generic proofs that create, extend, and translate aquariums with aspects of specific forms. Note, however, that not every pair of functions that commute can be shown to do so using our proofs only, so the programmers are expected to complete our collection with proofs of their own whenever the aspects they need are of the specific forms covered by our theorems. \begin{enumerate} \item For every associative and commutative binary function, such as those created using our unordered pair strategy, we can create an aquarium of unary functions corresponding to the elements of the algebraic datatype. \item Given an aquarium containing a function$f$, the aquarium can be extended with function$f^n$, for any natural number$n$. The function$f^n$is the function which repeatedly applies,$n$+times +in +total, the function$f$. If$f$is invertible, the theorem extends to negative integers. >>>>>>> df2a5b6eb97ded25a34412d6ff946e0c513da6f3:thesis.tex \item If$M$is a functor, then applying$M\$ to all the members of an aquarium transforms the aquarium into a new one, while preserving the pairwise commutativity of its elements.
%\item We show how parametricity \cite{free_theorems} ensures that structure-manipulating aspects cannot interfere with element-manipulating aspects, thereby reducing the programmer's remaining burden of proof.
\end{enumerate}

Tada! Now I know which words have changed since my last unfortunate sync-and-fix-conflicts cycle.

#### 1 comment:

Anonymous said...

meld highlights words, not just lines