projects
/
matthijs
/
master-project
/
cλash.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add LetBody and LetBinding to the CoreContext.
[matthijs/master-project/cλash.git]
/
cλash
/
CLasH
/
Normalize
/
NormalizeTypes.hs
diff --git
a/cλash/CLasH/Normalize/NormalizeTypes.hs
b/cλash/CLasH/Normalize/NormalizeTypes.hs
index 90592526f507b63353e0d4bad2cf6c3ee20fa8fa..e412e96a791635ed33d747e8e7333adffe175b50 100644
(file)
--- a/
cλash/CLasH/Normalize/NormalizeTypes.hs
+++ b/
cλash/CLasH/Normalize/NormalizeTypes.hs
@@
-21,6
+21,11
@@
data CoreContext = AppFirst -- ^ The expression is the first
| AppSecond -- ^ The expression is the second
-- argument of an application
-- (i.e., something is applied to it)
| AppSecond -- ^ The expression is the second
-- argument of an application
-- (i.e., something is applied to it)
+ | LetBinding -- ^ The expression is bound in a
+ -- (recursive or non-recursive) let
+ -- expression.
+ | LetBody -- ^ The expression is the body of a
+ -- let expression
| Other -- ^ Another context
-- | Transforms a CoreExpr and keeps track if it has changed.
| Other -- ^ Another context
-- | Transforms a CoreExpr and keeps track if it has changed.