Define mkInteger
authorIan Lynagh <igloo@earth.li>
Sat, 17 Sep 2011 17:20:41 +0000 (18:20 +0100)
committerIan Lynagh <igloo@earth.li>
Sat, 17 Sep 2011 17:22:15 +0000 (18:22 +0100)
commit680c1a9ef3aa47ad45455ddabe5e238ec1cf6559
treee03b72a547cee872516d7c500941bfd52a15ecd3
parent9935359fad9203b34ea90a3bd92095e702526562
Define mkInteger

Now used by GHC to generate Integer literals.
libraries/integer-gmp/GHC/Integer.lhs
libraries/integer-gmp/GHC/Integer/Type.lhs