From 15eda3f5faf5aa62ea6cbe018e4dd917df2412e1 Mon Sep 17 00:00:00 2001 From: "andy@galois.com" Date: Wed, 25 Oct 2006 20:38:29 +0000 Subject: [PATCH] an expression with a TickBox round it is not in HNF. --- compiler/coreSyn/CoreUtils.lhs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/compiler/coreSyn/CoreUtils.lhs b/compiler/coreSyn/CoreUtils.lhs index d82acb9..146f8cf 100644 --- a/compiler/coreSyn/CoreUtils.lhs +++ b/compiler/coreSyn/CoreUtils.lhs @@ -620,6 +620,10 @@ exprIsHNF (Lit l) = True exprIsHNF (Type ty) = True -- Types are honorary Values; -- we don't mind copying them exprIsHNF (Lam b e) = isRuntimeVar b || exprIsHNF e +exprIsHNF (Note (TickBox {}) _) + = False +exprIsHNF (Note (BinaryTickBox {}) _) + = False exprIsHNF (Note _ e) = exprIsHNF e exprIsHNF (Cast e co) = exprIsHNF e exprIsHNF (App e (Type _)) = exprIsHNF e -- 1.7.10.4