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