Use NoSelector when a constructor does not have fields.
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Tue, 3 May 2011 09:44:24 +0000 (11:44 +0200)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Tue, 3 May 2011 09:44:24 +0000 (11:44 +0200)
commit38fe0c94e7831260e1ebfcd8a1b087ee3615b891
tree4b4db3cc979b4ca6c1af74ccc252f4399a1d9c33
parent646d997dc6eca8d8395071429a526462fa14287a
Use NoSelector when a constructor does not have fields.
compiler/types/Generics.lhs