Fix #2760: deprecate mkNorepType, add mkNoRepType
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 21 Nov 2008 14:19:05 +0000 (14:19 +0000)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 21 Nov 2008 14:19:05 +0000 (14:19 +0000)
commita19d2f066c4c39bcff7bc6e64ad008085f4329f7
treee406d30ff1608e0ecce42e3f45b5050ec6e81add
parent985a94902e4c26fe740faefc8a66349f05b5c22c
Fix #2760: deprecate mkNorepType, add mkNoRepType
Data/Data.hs