search

ssadler / hawk

Awk for Hoodlums
BSD 3-Clause "New" or "Revised" License
35 stars 2 forks source link

auto-printf #26

Open gelisam opened 11 years ago

gelisam commented 11 years ago

Help the type-inferencer by parsing printf arguments and inserting the appropriate type signature, e.g.

> seq 3 | hawk 'printf "%0.02f\n"'
error: type "PrintfArg a1 => a1" is ambiguous

becomes

> seq 3 | hawk '(printf "%0.02f\n" :: Float -> String)'
1.00
2.00
3.00