Post #2278873
2026-05-06 18:15 UTC
@julesh@mathstodon.xyz isn't that expected? This displays the IO value rather than the result of running the IO computation
Replies (1)
-
@julesh@mathstodon.xyz 2026-05-07 11:05
@Andrev@types.pl It's at least not expected coming from haskell, where unsafePerformIO performs IO, even in interactive. Perhaps the idris version should be renamed to unsafeBuildFreeSyntaxButDoNotPerformIO