Remove deprecated reinitializeGlobals
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>
Mon, 18 Mar 2019 18:36:26 +0000 (19:36 +0100)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Wed, 20 Mar 2019 03:28:42 +0000 (23:28 -0400)
commitc045bd7cfaef2f4b6753e5a19637a658dce9e58d
tree07206b0a3853b1ae176bdd850ed4b85608b2d8b1
parent1e26e60dd21c235678447ee903afbf15228e40de
Remove deprecated reinitializeGlobals
compiler/simplCore/CoreMonad.hs