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
Ignore all applications that have an empty result type.
[matthijs/master-project/cλash.git]
/
Flatten.hs
diff --git
a/Flatten.hs
b/Flatten.hs
index 8c4c7ab51ba2e3f536f97e5b3001dde863ebb396..d25ef73aceabb2feec43007b1a469b267a72ce09 100644
(file)
--- a/
Flatten.hs
+++ b/
Flatten.hs
@@
-54,11
+54,10
@@
markSignal use id = markSignals use [id]
-- | Flatten a haskell function
flattenFunction ::
HsFunction -- ^ The function to flatten
-- | Flatten a haskell function
flattenFunction ::
HsFunction -- ^ The function to flatten
- ->
CoreBind
-- ^ The function value
+ ->
(CoreBndr, CoreExpr)
-- ^ The function value
-> FlatFunction -- ^ The resulting flat function
-> FlatFunction -- ^ The resulting flat function
-flattenFunction _ (Rec _) = error "Recursive binders not supported"
-flattenFunction hsfunc bind@(NonRec var expr) =
+flattenFunction hsfunc (var, expr) =
FlatFunction args res defs sigs
where
init_state = ([], [], 0)
FlatFunction args res defs sigs
where
init_state = ([], [], 0)