-
Petr Pudlak authored
After cherry-picking the changes needed for GHC7.8, the former isn't used any more. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
b4891644
After cherry-picking the changes needed for GHC7.8, the former isn't used any more. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>