Skip to content

Commit ec631dd

Browse files
authored
Merge pull request #158 from unisoncomputing/cp/handle-newlines-in-diffs
Handle newlines in diffs
2 parents b73bfbb + ec5fb7f commit ec631dd

File tree

5 files changed

+13780
-1300
lines changed

5 files changed

+13780
-1300
lines changed

src/Share/NamespaceDiffs.hs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ import Unison.Codebase.Path (Path)
6262
import Unison.Codebase.Path qualified as Path
6363
import Unison.Codebase.SqliteCodebase.Conversions qualified as Cv
6464
import Unison.DataDeclaration (Decl)
65-
import Unison.DeclCoherencyCheck (checkDeclCoherency, lenientCheckDeclCoherency)
65+
import Unison.DeclCoherencyCheck (asOneRandomIncoherentDeclReason, checkAllDeclCoherency, lenientCheckDeclCoherency)
6666
import Unison.LabeledDependency (LabeledDependency)
6767
import Unison.Merge qualified as Merge
6868
import Unison.Merge.EitherWay qualified as EitherWay
@@ -262,8 +262,8 @@ computeThreeWayNamespaceDiff codebaseEnvs2 aliceCodeCache bobCodeCache branchHas
262262
PG.transactionSpan "check decl coherency" mempty do
263263
sequence $
264264
( \v c e ->
265-
checkDeclCoherency v.nametree c
266-
& mapLeft (IncoherentDecl . e)
265+
checkAllDeclCoherency v.nametree c
266+
& mapLeft (IncoherentDecl . e . asOneRandomIncoherentDeclReason)
267267
& liftEither
268268
)
269269
<$> ThreeWay.forgetLca defns

0 commit comments

Comments
 (0)