From ef75844d0c2bd13bedfb4debc8a917edc0560be1 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Fri, 26 Jun 2009 12:24:04 +0200 Subject: [PATCH] Add is_simple predicate for applications and vars. --- CoreTools.hs | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/CoreTools.hs b/CoreTools.hs index dfb4f5c..ed0c52d 100644 --- a/CoreTools.hs +++ b/CoreTools.hs @@ -145,6 +145,13 @@ is_var _ = False is_applicable :: CoreSyn.CoreExpr -> Bool is_applicable expr = is_fun expr || is_poly expr +-- Is the given core expression a variable or an application? +is_simple :: CoreSyn.CoreExpr -> Bool +is_simple (CoreSyn.App _ _) = True +is_simple (CoreSyn.Var _) = True +is_simple (CoreSyn.Cast expr _) = is_simple expr +is_simple _ = False + -- Does the given CoreExpr have any free type vars? has_free_tyvars :: CoreSyn.CoreExpr -> Bool has_free_tyvars = not . VarSet.isEmptyVarSet . (CoreFVs.exprSomeFreeVars Var.isTyVar) -- 2.30.2