@@ -581,18 +581,14 @@ containsTypeSynonyms = everythingOnTypes (||) go where
581581checkProperties :: [(String, Expr)] -> Type -> Bool -> UnifyT Type Check [(String, Expr)]
582582checkProperties ps row lax = let (ts, r') = rowToList row in go ps ts r' where
583583 go [] [] REmpty = return []
584− go [] [] u@(TUnknown _) = do u =?= REmpty
585− return []
584+ go [] [] u@(TUnknown _)
585+ | lax = return []
586+ | otherwise = do u =?= REmpty
587+ return []
586588 go [] [] Skolem{} | lax = return []
587589 go [] ((p, _): _) _ | lax = return []
588590 | otherwise = throwError $ mkErrorStack ("Object does not have property " ++ p) (Just (ExprError (ObjectLiteral ps)))
589591 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
592− rest <- fresh
593− u =?= RCons p ty rest
594− ps'' <- go ps' [] rest
595− return $ (p, v') : ps''
596592 go ((p,v):ps') ts r =
597593 case lookup p ts of
598594 Nothing -> do