@@ -472,6 +472,9 @@ unifyRows r1 r2 =
472472 unifyRows' [] (RUnknown u) sd r = do
473473 rowOccursCheck u r
474474 return [RowConstraint u (fromList (sd, r))]
475+ unifyRows' sd r [] (RUnknown u) = do
476+ rowOccursCheck u r
477+ return [RowConstraint u (fromList (sd, r))]
475478 unifyRows' ((name, ty):row) r others (RUnknown u) = do
476479 u' <- fresh
477480 cs <- unifyRows' row r others (RUnknown u')