当运行在我的程序hlint它报告了一个错误的
\x -> [x]
Run Code Online (Sandbox Code Playgroud)
并提出了替代形式
(: [])
Run Code Online (Sandbox Code Playgroud)
根据hlint关于第一种形式有什么错误,因此为什么我应该使用(不太可读)第二种选择?
(明确地向问题添加了hlint)
在词汇的观点上,我的问题不在于差异是什么(我确实理解它们两者).我的问题是我不明白为什么hlint将其标记为错误.有没有例如懒惰的差异?此外,为什么先前认为hlint的错误只会\x -> Just x引发警告.
是否可以将冲突标记更改为用户定义的内容?
动机:
我已经多次发生过这样的事情,由于仓促而且没有非常仔细地合并几个分支,我的LaTeX文档中还有一些剩余的合并标签.对于大多数编程项目,这些标签会导致语法错误,因此我会发现它们.但是,在Latex中,<<<<,====和>>>>标签只是编译成其他一些字符序列而没有任何警告.
为了解决这个问题,我想将这些冲突标记更改为无法编译的内容,或者至少使它们非常明显(例如分页符,大字体警告或编译警告).
我当然可以制作一个(bash)脚本,用我选择的东西替换所有这些标记,但我更希望它能更优雅地解决这个问题.
PS我发现了merge.conflictstyle选项,但是diff3选项只添加了|||| 标记,它也编译而没有警告.