Skip to content

Commit

Permalink
Change a sequence into a parU
Browse files Browse the repository at this point in the history
Changes to tests after typecheck changes
  • Loading branch information
FredTheDino committed Dec 19, 2022
1 parent 47cd880 commit 2849fe4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Language/PureScript/TypeChecker/Unify.hs
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,7 @@ unifyTypes t1 t2 = do
-- Common labels are identified and unified. Remaining labels and types are unified with a
-- trailing row unification variable, if appropriate.
unifyRows :: forall m. (MonadError MultipleErrors m, MonadState CheckState m) => SourceType -> SourceType -> m ()
unifyRows r1 r2 = sequence_ matches *> uncurry unifyTails rest where
unifyRows r1 r2 = parU matches id *> uncurry unifyTails rest where
(matches, rest) = alignRowsWith unifyTypes r1 r2

unifyTails :: ([RowListItem SourceAnn], SourceType) -> ([RowListItem SourceAnn], SourceType) -> m ()
Expand Down

0 comments on commit 2849fe4

Please sign in to comment.