X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FUnflattening.hs;h=6dfbf7883452efcdfc90c54e5371c64671beba35;hp=f9ca4ba7b1444962a5424786cc1474a34bf3219f;hb=ec996e8cb550676d89d187061db7d018af9ec88d;hpb=caa7ad74b99b34abc5181553e66423da6bdfee26 diff --git a/examples/Unflattening.hs b/examples/Unflattening.hs index f9ca4ba..6dfbf78 100644 --- a/examples/Unflattening.hs +++ b/examples/Unflattening.hs @@ -2,7 +2,7 @@ module Unflattening where import GHC.HetMet.CodeTypes hiding ((-)) -import GHC.HetMet.GArrow +import Control.GArrow import Control.Category import Control.Arrow import Prelude hiding ( id, (.) )