@@ -208,7 +208,7 @@ execApp env ctxt (f, args) = do newF <- doExec env ctxt f
208 laziness <- (++ repeat False) <$> (getLaziness newF)
208 laziness <- (++ repeat False) <$> (getLaziness newF)
209 newArgs <- mapM argExec (zip args laziness)
209 newArgs <- mapM argExec (zip args laziness)
210 execApp' env ctxt newF newArgs
210 execApp' env ctxt newF newArgs
211− where getLaziness (EP _ (UN "lazy") _) = return [True]
211+ where getLaziness (EP _ (UN "lazy") _) = return [False, True]
212 getLaziness (EP _ n _) = do est <- getExecState
212 getLaziness (EP _ n _) = do est <- getExecState
213 let argInfo = exec_implicits est
213 let argInfo = exec_implicits est
214 case lookupCtxtName n argInfo of
214 case lookupCtxtName n argInfo of