News for hackers. Stuff that matters.

A comment on Things that Idris improves things over Haskell. Parent comment

Re:Things that Idris improves things over Haskell by eutectic on Friday June 16, 2017 @03:33PM (#14571983)
Any string is a valid format string.
[ Parent | on HN ]
Re:Things that Idris improves things over Haskell by lobster_johnson on Friday June 16, 2017 @03:48PM (#14572105)
I mean the combination of format string + values.

Anyway, is that really true? "%-1s" should probably give you an error, for example.

[ Parent | on HN ]