From 0600645a1f0a4ebb7861038ccf6d0ffcfbbadcad Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 30 Oct 2009 09:19:28 +0000 Subject: [PATCH] Fix Trac #3626: TH should reject unboxed tuples This was just a missing test in DsMeta --- compiler/deSugar/DsMeta.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/compiler/deSugar/DsMeta.hs b/compiler/deSugar/DsMeta.hs index d0d3f4c..c2d83d6 100644 --- a/compiler/deSugar/DsMeta.hs +++ b/compiler/deSugar/DsMeta.hs @@ -1013,7 +1013,9 @@ repP (BangPat p) = do { p1 <- repLP p; repPbang p1 } repP (AsPat x p) = do { x' <- lookupLBinder x; p1 <- repLP p; repPaspat x' p1 } repP (ParPat p) = repLP p repP (ListPat ps _) = do { qs <- repLPs ps; repPlist qs } -repP (TuplePat ps _ _) = do { qs <- repLPs ps; repPtup qs } +repP p@(TuplePat ps boxed _) + | not (isBoxed boxed) = notHandled "Unboxed tuples" (ppr p) + | otherwise = do { qs <- repLPs ps; repPtup qs } repP (ConPatIn dc details) = do { con_str <- lookupLOcc dc ; case details of -- 1.7.10.4