Add data constructors all at once

bitonic / tog

26 stars 3 forks source link

Closed bitonic closed 9 years ago

bitonic commented 10 years ago

Right now they're added one by one -- so that the previous constructors are in scope when type-checking the current one.

bitonic commented 9 years ago

Done