test('ado001', normal, compile_and_run, [''])
test('ado002', normal, compile_fail, [''])
test('ado003', normal, compile_fail, [''])
test('ado004', normalise_version('base','ghc-prim','ghc-bignum'), compile, [''])
test('ado005', normal, compile_fail, [''])
test('ado006', normal, compile, [''])
test('ado007', normal, compile, [''])
test('ado008', normal, compile, [''])
test('ado009', normal, compile, [''])
test('ado010', normal, compile, [''])
test('ado011', normal, compile_and_run, [''])
test('T11607', normal, compile_and_run, [''])
test('ado-optimal', normal, compile_and_run, [''])
test('T12490', normal, compile, [''])
test('T13242', normal, compile, [''])
test('T13242a', normal, compile_fail, [''])
test('T13875', normal, compile_and_run, [''])
test('T14163', normal, compile_and_run, [''])
test('T15344', normal, compile_and_run, [''])
test('T16628', normal, compile_fail, [''])
test('T17835', normal, compile, [''])
test('T20540', normal, compile, [''])
test('T16135', when(compiler_debugged(),expect_broken(16135)), compile, [''])