Commit 102fe6ac authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Test case about HyperStr and UseDemand

which was used by SPJ to reduce my ignorance, so I want to ensure I do
not break it.
parent ca80875a
{-# OPTIONS_GHC -fplugin StrAnalAnnotation #-}
module HyperStrUse where
import StrAnalAnnotation (StrAnal(StrAnal))
f :: (Int, Int) -> Bool -> Int
f (x,y) True = error (show x)
f (x,y) False = x +1
{-# ANN f (StrAnal "<S(SL),1*U(1*U(U),A)><S,1*U>m") #-}
......@@ -17,4 +17,5 @@ setTestOpts(only_ways(['optasm']))
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])
test('HyperStrUse', normal, compile, ['--make -package ghc -v0 ' + config.ghc_th_way_flags])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment