@@ -348,7 +348,7 @@ execForeign env ctxt arity ty fn xs onfail
348348 ch <- execIO $ fmap (ioWrap . EConstant . I . fromEnum) getChar
349349 execApp env ctxt ch xs
350350 | Just (FFun "idris_time" _ _) <- foreignFromTT arity ty fn xs
351− = do execIO $ fmap (ioWrap . EConstant . I . round) getPOSIXTime
351+ = do execIO $ fmap (ioWrap . mkRaw . EConstant . I . round) getPOSIXTime
352352 | Just (FFun "idris_showerror" _ _) <- foreignFromTT arity ty fn xs
353353 = do execIO $ return $ ioWrap $ EConstant $ Str "Operation not permitted"
354354 | Just (FFun "idris_mkFileError" _ _) <- foreignFromTT arity ty fn xs