edwinb/Idris-dev — pull request #315 by joe9 (2013-05-15 16:00:22+00:00)
Title: Changed defaultOpts to use field names for assignment

It helps readability, imho.