Add test case for #8569
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 29 Nov 2013 19:08:55 +0000 (19:08 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 29 Nov 2013 19:08:55 +0000 (19:08 +0000)
testsuite/tests/stranal/sigs/T8569.hs [new file with mode: 0644]
testsuite/tests/stranal/sigs/all.T

diff --git a/testsuite/tests/stranal/sigs/T8569.hs b/testsuite/tests/stranal/sigs/T8569.hs
new file mode 100644 (file)
index 0000000..ee6c413
--- /dev/null
@@ -0,0 +1,15 @@
+{-# OPTIONS_GHC -fplugin StrAnalAnnotation #-}
+{-# LANGUAGE GADTs #-}
+
+module T8569 where
+
+import StrAnalAnnotation (StrAnal(StrAnal))
+
+data Rep t where
+  Rint :: Rep Int
+  Rdata :: Rep i -> (t -> i) -> Rep t
+
+addUp :: Rep a -> a -> Int
+addUp Rint n  = n
+addUp (Rdata i f) x = addUp i (f x)
+{-# ANN addUp (StrAnal "<S,1*U><L,U>") #-}
index 89df993..74ddd9f 100644 (file)
@@ -16,3 +16,5 @@ setTestOpts(only_ways(['optasm']))
 # Use this as a template
 test('StrAnalExample', normal, compile, ['--make -package ghc -v0 ' + config.ghc_th_way_flags])
 
+test('T8569', expect_broken(8569), compile, ['--make -package ghc -v0 ' + config.ghc_th_way_flags])
+