mark io2 EH-free (#72)

This commit is contained in:
Jacek Sieka 2021-01-26 14:10:47 +01:00 committed by GitHub
parent 932fa6cef1
commit 74d21ec8f4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -8,6 +8,10 @@
## This module implements number cross-platform IO and OS procedures which do
## not use exceptions and using Result[T] for error handling.
##
{.push raises: [Defect].}
import algorithm
import results
export results