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('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('T16135', when(compiler_debugged(),expect_broken(16135)), compile, [''])