From 5f044d4807abe23d22ec62920aabfe91f61ef78e Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 24 Apr 2009 14:02:27 +0000 Subject: [PATCH] Tiny refactor --- compiler/typecheck/TcPat.lhs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs index 82ac5e3..23e6bbf 100644 --- a/compiler/typecheck/TcPat.lhs +++ b/compiler/typecheck/TcPat.lhs @@ -365,8 +365,7 @@ tc_pat pstate lpat@(LazyPat pat) pat_ty thing_inside -- getLIE/extendLIEs: see Note [Hopping the LIE in lazy patterns] -- Check no existentials - ; if (null pat_tvs) then return () - else lazyPatErr lpat pat_tvs + ; unless (null pat_tvs) $ lazyPatErr lpat pat_tvs -- Check that the pattern has a lifted type ; pat_tv <- newBoxyTyVar liftedTypeKind -- 1.7.10.4