git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Row unification was not symmetric
1c2bd79Phil Freeman
src/PureScript/TypeChecker/Types.hs+3
compare with golang
unifiedsplit
@@ -472,6 +472,9 @@ unifyRows r1 r2 =
472 unifyRows' [] (RUnknown u) sd r = do
472 unifyRows' [] (RUnknown u) sd r = do
473 rowOccursCheck u r
473 rowOccursCheck u r
474 return [RowConstraint u (fromList (sd, r))]
474 return [RowConstraint u (fromList (sd, r))]
475+ unifyRows' sd r [] (RUnknown u) = do
476+ rowOccursCheck u r
477+ return [RowConstraint u (fromList (sd, r))]
475 unifyRows' ((name, ty):row) r others (RUnknown u) = do
478 unifyRows' ((name, ty):row) r others (RUnknown u) = do
476 u' <- fresh
479 u' <- fresh
477 cs <- unifyRows' row r others (RUnknown u')
480 cs <- unifyRows' row r others (RUnknown u')