@@ -581,18 +581,14 @@ containsTypeSynonyms = everythingOnTypes (||) go where
581checkProperties :: [(String, Expr)] -> Type -> Bool -> UnifyT Type Check [(String, Expr)]
581checkProperties :: [(String, Expr)] -> Type -> Bool -> UnifyT Type Check [(String, Expr)]
582checkProperties ps row lax = let (ts, r') = rowToList row in go ps ts r' where
582checkProperties ps row lax = let (ts, r') = rowToList row in go ps ts r' where
583 go [] [] REmpty = return []
583 go [] [] REmpty = return []
584− go [] [] u@(TUnknown _) = do u =?= REmpty
584+ go [] [] u@(TUnknown _)
586+ | otherwise = do u =?= REmpty
585− return []
587+ return []
586 go [] [] Skolem{} | lax = return []
588 go [] [] Skolem{} | lax = return []
587 go [] ((p, _): _) _ | lax = return []
589 go [] ((p, _): _) _ | lax = return []
588 | otherwise = throwError $ mkErrorStack ("Object does not have property " ++ p) (Just (ExprError (ObjectLiteral ps)))
590 | otherwise = throwError $ mkErrorStack ("Object does not have property " ++ p) (Just (ExprError (ObjectLiteral ps)))
589 go ((p,_):_) [] REmpty = throwError $ mkErrorStack ("Property " ++ p ++ " is not present in closed object type " ++ prettyPrintRow row) (Just (ExprError (ObjectLiteral ps)))
591 go ((p,_):_) [] REmpty = throwError $ mkErrorStack ("Property " ++ p ++ " is not present in closed object type " ++ prettyPrintRow row) (Just (ExprError (ObjectLiteral ps)))
590− go ((p,v):ps') [] u@(TUnknown _) = do
591− v'@(TypedValue _ _ ty) <- infer v
593− u =?= RCons p ty rest
594− ps'' <- go ps' [] rest
595− return $ (p, v') : ps''
596 go ((p,v):ps') ts r =
592 go ((p,v):ps') ts r =
597 case lookup p ts of
593 case lookup p ts of
598 Nothing -> do
594 Nothing -> do