diff options
| author | Ian Lynagh <igloo@earth.li> | 2009-04-24 14:02:27 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2009-04-24 14:02:27 +0000 |
| commit | 5f044d4807abe23d22ec62920aabfe91f61ef78e (patch) | |
| tree | 68bda7ac4130d3c66c370d4316b9d4a35e5e8b64 | |
| parent | 831a35dd00faff195cf938659c2dd736192b865f (diff) | |
| download | haskell-5f044d4807abe23d22ec62920aabfe91f61ef78e.tar.gz | |
Tiny refactor
| -rw-r--r-- | compiler/typecheck/TcPat.lhs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs index 82ac5e3596..23e6bbf819 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 |