(CoreSyn.Var f, args) = CoreSyn.collectArgs app
literals = filter (is_lit) args
--- reduceCoreListToHsList :: CoreExpr -> [a]
+reduceCoreListToHsList :: CoreSyn.CoreExpr -> [CoreSyn.CoreExpr]
reduceCoreListToHsList app@(CoreSyn.App _ _) = out
where
(fun, args) = CoreSyn.collectArgs app