idris-lang/Idris-dev — pull request #1470 by edwinb (2014-08-12 08:51:08+00:00)
Title: Fix parameter identification

Names may vary between constructors, but what's important is that the
parameters are in the same position for each constructor. This fix no
longer makes the assumption that the names are the same throughout.

Fixes #1467