| commit | 804498ec24662928bf06efcee6584d55fca3d898 | [log] [tgz] |
|---|---|---|
| author | Cedric Beust <cedric@beust.com> | Mon Jan 24 14:44:15 2011 -0800 |
| committer | Cedric Beust <cedric@beust.com> | Mon Jan 24 14:44:15 2011 -0800 |
| tree | 81e27653fd95b8603fb60e9934842135d39dd2b1 | |
| parent | 5f94fa3f279131d63e55a68bf16b4dd632c643f6 [diff] |
Double check that the type of a main parameter is a List.