Modify 'SingRep' to support arbitrary singleton types.
authorIavor S. Diatchki <diatchki@galois.com>
Fri, 11 May 2012 22:34:04 +0000 (15:34 -0700)
committerIavor S. Diatchki <diatchki@galois.com>
Fri, 11 May 2012 22:34:04 +0000 (15:34 -0700)
commitaa17dc9e07deeea36993476d0182d020909414da
treecfbdaca36fd91fe9ed0f4670a6e806842fee8d26
parent89e58b99fa48c80724c7d7d5559b171125d59d71
Modify 'SingRep' to support arbitrary singleton types.
GHC/TypeLits.hs