setTestOpts(normalise_version('base','ghc-prim')) test('ADT', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('AddAndOr1', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('AddAndOr2', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('AddAndOr3', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('AddAndOr4', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('AddAndOr5', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('AddAndOr6', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('BoolToBool', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('DataFamilyInstanceLHS', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('Defaulting1MROn', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('Defaulting2MROff', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('Defaulting2MROn', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('Either', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('Every', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('EveryNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) # Bug test('EqualityConstraint', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ExpressionSig', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ExpressionSigNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ExtraConstraints1', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ExtraConstraints2', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ExtraConstraints3', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ExtraNumAMROn', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ExtraNumAMROff', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('Forall1', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('GenNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('HigherRank1', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('HigherRank2', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('LocalDefinitionBug', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('Meltdown', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('MonoLocalBinds', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('NamedTyVar', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('NamedWildcardInDataFamilyInstanceLHS', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('NamedWildcardInTypeFamilyInstanceLHS', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('NamedWildcardsAsTyVars', normal, compile, ['']) test('ParensAroundContext', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('PatBind', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) # Bug test('PatBind2', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('PatternSig', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) # we omit profasm because it doesn't bring much to the table but # introduces its share of complexity, as the test as it is fails with # profasm: # PatternSplice.hs:6:5: fatal: # Cannot load -prof objects when GHC is built with -dynamic # To fix this, either: # (1) Use -fexternal-interpreter, or # (2) Build the program twice: once with -dynamic, and then # with -prof using -osuf to set a different object file suffix. test('PatternSplice', [req_interp, omit_ways(['profasm'])], compile, ['-fno-warn-partial-type-signatures']) test('Recursive', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ScopedNamedWildcards', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ScopedNamedWildcardsGood', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('ShowNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('SimpleGen', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('SkipMany', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('SomethingShowable', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('TypeFamilyInstanceLHS', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('Uncurry', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('UncurryNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures']) test('WarningWildcardInstantiations', normal, compile, ['-ddump-types']) test('SplicesUsed', [extra_files(['Splices.hs']), req_interp, omit_ways(prof_ways)], multimod_compile, ['SplicesUsed', config.ghc_th_way_flags]) test('TypedSplice', normal, compile, ['']) test('T10403', normal, compile, ['']) test('T10438', normal, compile, ['']) test('T10519', normal, compile, ['']) test('T10463', normal, compile, ['']) test('ExprSigLocal', normal, compile, ['']) test('T11016', normal, compile, ['']) test('T11192', normal, compile, ['']) test('SuperCls', normal, compile, ['']) test('T12033', normal, compile, ['']) test('T11339a', normal, compile, ['']) test('T11670', normal, compile, ['']) test('T12156', normal, compile_fail, ['-fdefer-typed-holes']) test('T12531', normal, compile, ['-fdefer-typed-holes']) test('T12845', normal, compile, ['']) test('T12844', normal, compile, ['']) test('T13324_compile', normal, compile, ['-Wno-partial-type-signatures']) test('T13482', normal, compile, ['']) test('T14217', normal, compile_fail, ['']) test('T14643', normal, compile, ['']) test('T14643a', normal, compile, ['']) test('T14715', normal, compile, ['']) test('T15039a', normal, compile, ['']) test('T15039b', normal, compile, ['-fprint-explicit-kinds']) test('T15039c', normal, compile, ['-fprint-equality-relations']) test('T15039d', normal, compile, ['-fprint-explicit-kinds -fprint-equality-relations']) test('T16334', normal, compile, ['']) test('T16728', normal, compile, ['']) test('T16728a', normal, compile, ['']) test('T16728b', normal, compile, ['']) test('T18008', normal, compile, ['']) test('T16762d', normal, compile, [''])