Redo and cleanup the change replacing `unsafe*` with `toSing`
authorIavor S. Diatchki <diatchki@galois.com>
Fri, 31 May 2013 02:58:21 +0000 (19:58 -0700)
committerIavor S. Diatchki <diatchki@galois.com>
Fri, 31 May 2013 02:58:21 +0000 (19:58 -0700)
commitdac845cb7bdf23feea3477940ebed8b61c8e956a
tree4ffee9d056de6a8a07743f566b85b1608df80bc8
parentcb2f2d42b9d8b2109bc141ad8d63fb2fcbd8a926
Redo and cleanup the change replacing `unsafe*` with `toSing`
libraries/base/GHC/TypeLits.hs