1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# This directory contains tests where we annotate functions with expected
# type signatures, and verify that these actually those found by the compiler
setTestOpts(extra_hc_opts('-ddump-str-signatures'))
# We are testing the result of an optimization, so no use
# running them in various runtimes
setTestOpts(only_ways(['optasm']))
test('StrAnalExample', normal, compile, [''])
test('T8569', normal, compile, [''])
test('HyperStrUse', normal, compile, [''])
test('T8598', normal, compile, [''])
test('FacState', expect_broken(1600), compile, [''])
test('UnsatFun', normal, compile, [''])
test('BottomFromInnerLambda', normal, compile, [''])
test('DmdAnalGADTs', normal, compile, [''])
test('T12370', normal, compile, [''])
test('CaseBinderCPR', normal, compile, [''])
|
