summaryrefslogtreecommitdiff
path: root/testsuite/tests/deSugar/should_compile/ds018.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/deSugar/should_compile/ds018.hs')
-rw-r--r--testsuite/tests/deSugar/should_compile/ds018.hs57
1 files changed, 57 insertions, 0 deletions
diff --git a/testsuite/tests/deSugar/should_compile/ds018.hs b/testsuite/tests/deSugar/should_compile/ds018.hs
new file mode 100644
index 0000000000..68a9e4ce47
--- /dev/null
+++ b/testsuite/tests/deSugar/should_compile/ds018.hs
@@ -0,0 +1,57 @@
+-- !!! ds018 -- explicit lists and tuples (with disabled LARGE tuples!)
+--
+module ShouldCompile where
+
+-- exprs
+
+f x y z = [x,y,z,x,y,z]
+f2 x y = []
+
+g1 x y = ()
+
+{- Although GHC *should* provide arbitrary tuples, it currently doesn't
+ and probably won't in the near future, so this test is only a reminder.
+
+g x y z = (x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z,
+ x,y,z,x,y,z) -- hey, we love big tuples
+-}
+
+-- pats
+
+fa [a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z] = x
+
+fb [] = []
+
+{- See above
+ga (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,
+ aa,ab,ac,ad,ae,af,ag,ah,ai,aj,ak,al,am,
+ an,ao,ap,aq,ar,as,at,au,av,aw,ax,ay,az) = x
+-}
+
+gb () x = x
+gb2 () = ()
+
+-- need to think of some better ones...