Amélia Liao 
Checking Test44 (/home/amelia/default/Projects/agda/Test44.agda).
agda: <stdout>: hPutStr: illegal operation (handle is closed)

... how?

1
Amélia Liao
Follow

right, because handleToFd closes the handle. of course

· · 0 · 0 · 0
Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.

Resources

Developers

What is Mastodon?

types.pl

More…

v3.5.5+types · Privacy policy