@CoverallsApp I'm getting a 'down for maintenance' on https://coveralls.io/sponsors#ourSponsors (after ~9 secs), is this expected. Is the service up?
Related Posts
I'm working on arity errors in Garden, my toy programming language.
Rather than just saying "expected 3, got 4 arguments", I'm trying to report where the extra argument is, or what extra argument was expected.
I've been using "Expected Int, but got String" for my type error messages, but I've been wondering if I could do better.
"Expected Int here, but this value has type String" or "This expression requires Int, but the value is String".
Do you have a favourite?
One day I am going to reach the height of technological sophistication, and every clock in my house will handle daylight savings automatically.
I'm not there yet. I think modern appliances are getting better though.
(Does a microwave really need to know the current time?)