X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=utils%2Fext-core%2FLanguage%2FCore%2FPrep.hs;fp=utils%2Fext-core%2FLanguage%2FCore%2FPrep.hs;h=1ce8fda30e1ff6fd200686bafd7096ce3d5fd1ed;hp=a557b805e5db174557e51b13e60f14b6a723c7e8;hb=ee69a45c027e2a9fefd9a97bfd64e78b49d0ecbe;hpb=5a4c6ef6e909fbd978ff81bb3453489e884d1885 diff --git a/utils/ext-core/Language/Core/Prep.hs b/utils/ext-core/Language/Core/Prep.hs index a557b80..1ce8fda 100644 --- a/utils/ext-core/Language/Core/Prep.hs +++ b/utils/ext-core/Language/Core/Prep.hs @@ -224,8 +224,6 @@ newtypeCoercion_maybe ntEnv t | Just ((_,tc),_) <- splitTyConApp_maybe t = M.lookup tc ntEnv newtypeCoercion_maybe _ _ = Nothing -type NtEnv = M.Map Tcon CoercionKind - mkTapp :: Ty -> [Ty] -> Ty mkTapp = foldl Tapp