projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
External Core: re-add code I removed mistakenly in last commit
[ghc-hetmet.git]
/
utils
/
ext-core
/
Language
/
Core
/
Prep.hs
diff --git
a/utils/ext-core/Language/Core/Prep.hs
b/utils/ext-core/Language/Core/Prep.hs
index
a557b80
..
1ce8fda
100644
(file)
--- 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