Fixed bug with parameters in data constructors
Fixed bug with parameters in data constructors

Ignore-this: f7b397671ed7eba0add2446eea028246

darcs-hash:20091220004654-228f4-32ecbe7dd28a61aa38fbc6f4929b2fdf3a284b6d.gz

avsm/Idris