From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Fri, 26 Jun 2009 10:24:04 +0000 (+0200)
Subject: Add is_simple predicate for applications and vars.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=ef75844d0c2bd13bedfb4debc8a917edc0560be1;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Add is_simple predicate for applications and vars.
---

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)