diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-07-20 10:15:52 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-07-20 10:15:52 +0100 |
| commit | 9f095a456eefbf9752ca773ecba148b471586cf0 (patch) | |
| tree | 43eadca4ce1bed288192330efa36f21d67ce5551 /compiler/hsSyn | |
| parent | 8202a5738d6dba1083ae4f07965e92877cd2be2d (diff) | |
| download | haskell-9f095a456eefbf9752ca773ecba148b471586cf0.tar.gz | |
Fix #5332 (more): unboxed singleton tuples are fine
This patch fixes the unboxed singleton tuples in types and patterns
Diffstat (limited to 'compiler/hsSyn')
| -rw-r--r-- | compiler/hsSyn/Convert.lhs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/compiler/hsSyn/Convert.lhs b/compiler/hsSyn/Convert.lhs index 7c5cd363bf..f867b96b9a 100644 --- a/compiler/hsSyn/Convert.lhs +++ b/compiler/hsSyn/Convert.lhs @@ -630,7 +630,6 @@ cvtp (TH.LitP l) cvtp (TH.VarP s) = do { s' <- vName s; return $ Hs.VarPat s' } cvtp (TupP [p]) = cvtp p cvtp (TupP ps) = do { ps' <- cvtPats ps; return $ TuplePat ps' Boxed void } -cvtp (UnboxedTupP [p]) = cvtp p cvtp (UnboxedTupP ps) = do { ps' <- cvtPats ps; return $ TuplePat ps' Unboxed void } cvtp (ConP s ps) = do { s' <- cNameL s; ps' <- cvtPats ps; return $ ConPatIn s' (PrefixCon ps') } cvtp (InfixP p1 s p2) = do { s' <- cNameL s; p1' <- cvtPat p1; p2' <- cvtPat p2 @@ -708,8 +707,6 @@ cvtType ty -> if n==1 then return (head tys') -- Singleton tuples treated -- like nothing (ie just parens) else returnL (HsTupleTy Unboxed tys') - | n == 1 - -> failWith (ptext (sLit "Illegal 1-unboxed-tuple type constructor")) | otherwise -> mk_apps (HsTyVar (getRdrName (tupleTyCon Unboxed n))) tys' ArrowT |