Check arguments to IO_gmtime and IO_localtime

gap-packages / io

GAP package IO to do input and output

https://gap-packages.github.io/io/

Other

14 stars 14 forks source link

Check arguments to IO_gmtime and IO_localtime #123

Closed ChrisJefferson closed 7 months ago

ChrisJefferson commented 7 months ago

Fix #122 , we were not checking the type of arguments. I use the same checking style as the rest of IO, rather than the newer Require functions, for consistency.

ChrisJefferson commented 7 months ago

I have no idea why this is causing cygwin issues. I'll try running the tests again and see if it was just a one-off.