ucsd-progsys/liquidhaskell — pull request #76 by nikivazou (2013-05-17 23:09:35+00:00)
Title: Chop token

chopAlts used to chop

" dup([]) = {v| v = (? (Set_emp v))}
dup(x:xs) = {...}"

as

" dup([]) = ", "{v| v = (? (Set_emp v))}
dup(x:", "xs) = {...}"