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 a list of used signals to FlatFunction.
[matthijs/master-project/cλash.git]
/
Flatten.hs
diff --git
a/Flatten.hs
b/Flatten.hs
index 15f99808600bb37cf2880405d48a3639dc78e478..1297793356dfa8e17223fd034086202ace7584be 100644
(file)
--- a/
Flatten.hs
+++ b/
Flatten.hs
@@
-53,7
+53,7
@@
flattenFunction ::
flattenFunction _ (Rec _) = error "Recursive binders not supported"
flattenFunction hsfunc bind@(NonRec var expr) =
flattenFunction _ (Rec _) = error "Recursive binders not supported"
flattenFunction hsfunc bind@(NonRec var expr) =
- FlatFunction args res apps conds
+ FlatFunction args res apps conds
[]
where
init_state = ([], [], 0)
(fres, end_state) = State.runState (flattenExpr [] expr) init_state
where
init_state = ([], [], 0)
(fres, end_state) = State.runState (flattenExpr [] expr) init_state