Removing some tests of which we know that they dont work. removed `helium/test/simple/correct/Underflow.hs' removed `helium/test/correct/Underflow.hs' removed `helium/test/correct/Daan.hs' removed `helium/test/correct/LargeFileOnMac.hs' removed `helium/test/correct/LargeTextOnMac.hs' removed `helium/test/staticwarnings/TestTypeSynonyms.hs' Running the tests. ./testAll: line 3: clear: command not found SIMPLE TEST. NO OVERLOADING parser/AsPatternBinding3 parser/FloatTuple parser/MaximalMunch parser/MaximalMunch2 staticerrors/DupMaybeYouMeant typeerrors/Edinburgh/Ex12 typeerrors/Edinburgh/Ex15 typeerrors/Edinburgh/Ex16 typeerrors/Examples/Body typeerrors/Examples/Bug1 typeerrors/Examples/EQGroupBug typeerrors/Examples/ExprEnumFrom typeerrors/Examples/ExprNegateExpr typeerrors/Examples/HighlyTrustedReported typeerrors/Examples/Irrefutable typeerrors/Examples/NestedInfiniteType typeerrors/Examples/NewNegationExpr typeerrors/Examples/RightSection typeerrors/Examples/SameTypesInTypeError typeerrors/Examples/SlaPlatBug typeerrors/Examples/TooGenBug typeerrors/Examples/TypeBug4 typeerrors/Examples/TypeBug5 typeerrors/Examples/TypeBug6 typeerrors/Heuristics/AppInsert2 typeerrors/Heuristics/AppNotEnough1 typeerrors/Heuristics/AppNotEnough2 typeerrors/Heuristics/AppReorder2 typeerrors/Heuristics/FBHasTooMany1 typeerrors/Heuristics/FBHasTooMany2 typeerrors/Heuristics/FBHasTooMany3 typeerrors/Heuristics/JavaStringConcat typeerrors/Heuristics/NewNegationSimilar typeerrors/Heuristics/SimilarFunction2 typeerrors/Heuristics/SimilarFunction3 typeerrors/Heuristics/SimilarLiteral1 typeerrors/Heuristics/SimilarNegation typeerrors/Heuristics/UnaryMinus1 typeerrors/Heuristics/UnaryMinus2 thompson/Thompson14 thompson/Thompson15 thompson/Thompson20 thompson/Thompson23 thompson/Thompson24 thompson/Thompson25 thompson/Thompson28 thompson/Thompson33 correct/DerivingShow2 correct/DerivingShow3 correct/File1 correct/File3 correct/FloatOperations correct/FloatUnaryMinus correct/Irrefutable correct/Irrefutable2 correct/MoreFloatOperations correct/PatternBindBug1 correct/PatternBindBug2 correct/ShowFloat correct/TupleMatch staticwarnings/SuspiciousTypeVariable runtimeerrors/CatchBug runtimeerrors/NotANumber runtimeerrors/PMCFloat Total number of simple tests that failed: 0 OVERLOADING TEST SET parser/AsPatternBinding parser/AsPatternBinding2 parser/AsPatternBinding3 parser/BackQuoteHint1 parser/BackQuoteHint2 parser/BackQuoteHint3 parser/BackQuoteHint4 parser/BackQuoteMessage parser/CommentOrOperator parser/CommentOrOperator2 parser/CommentOrOperator3 parser/CommentOrOperator4 parser/CommentOrOperator5 parser/CommentOrOperator6 parser/ConfusingFloat parser/ConfusingFloat2 parser/ContainsTab parser/ContextError parser/Contexts parser/Deriving parser/DerivingError parser/DerivingMany parser/DerivingNoParens parser/DerivingNone parser/DerivingOne parser/DerivingShowShow parser/DerivingUnknownClass parser/EOFInChar parser/EOFInString parser/EOFPosition parser/EmptyChar parser/EmptyLet parser/Exponent parser/ExponentBad parser/FloatTuple parser/ForgetClose parser/ForgetClose2 parser/ForgetClose3 parser/ForgetClose4 parser/ForgetClose5 parser/ForgetOpen parser/ForgetOpen2 parser/IllegalEscChar parser/IllegalEscString parser/ImportListError parser/ImportListError2 parser/IncorrectModuleName parser/InfixAmbiguous parser/InvalidFraction parser/LayoutBad1 parser/LayoutBad2 parser/LayoutBad3 parser/LayoutBad4 parser/LayoutBad5 parser/LayoutBad6 parser/LayoutOk1 parser/LayoutOk10 parser/LayoutOk11 parser/LayoutOk12 parser/LayoutOk13 parser/LayoutOk2 parser/LayoutOk3 parser/LayoutOk4 parser/LayoutOk5 parser/LayoutOk6 parser/LayoutOk7 parser/LayoutOk8 parser/LayoutOk9 parser/LetInComprehension parser/LetInComprehension2 parser/LetInDo parser/LetInDo2 parser/ManyResolveErrors parser/MaximalMunch parser/MaximalMunch2 parser/MinusFullSection parser/MissingExp parser/NestedComment parser/NewlineInString parser/NonTerminatedChar parser/NotAFloat parser/PatUnaryMinBad parser/PatUnaryMinBad2 parser/PatUnaryMinOk parser/PositionInsertedBrace parser/PositionInsertedBrace2 parser/StrategiesKeyword parser/StrategiesKeyword2 parser/StrategiesKeyword3 parser/UnclosedComment parser/UnclosedComment2 parser/UnexpectedChar staticerrors/BigIntLiteral staticerrors/BigIntLiteral2 staticerrors/CallPrim staticerrors/CapitalFunctionErrors staticerrors/Context staticerrors/DataAppTyvar staticerrors/DataDupCon staticerrors/DataDupCon2 staticerrors/DataDupCon3 staticerrors/DataDupTycon staticerrors/DataDupTycon2 staticerrors/DataDupTycon3 staticerrors/DataDupTycon4 staticerrors/DataDupTyvar staticerrors/DataUndefTyvar staticerrors/DirectRecTypeSyn staticerrors/DupDerivedShow staticerrors/DupMaybeYouMeant staticerrors/ExprCompUndefVar staticerrors/ExprCompUndefVar2 staticerrors/ExprDoLastNotExpr staticerrors/ExprDoLastNotExpr2 staticerrors/ExprDoLetDupVar staticerrors/ExprLambdaDupVar staticerrors/ExprLetPat staticerrors/ExprUndefCon staticerrors/ExprUndefVar staticerrors/ExprUndefVar2 staticerrors/FixDup staticerrors/FixNoDef staticerrors/FunArity staticerrors/FunArity2 staticerrors/FunArity3 staticerrors/FunConInType staticerrors/FunDup staticerrors/ImportNotAtTop staticerrors/IndirectRecTypeSyn staticerrors/LotsOfDuplicates staticerrors/NoModuleHeader staticerrors/NoPrimHint staticerrors/NonDerivable staticerrors/NonDerivable2 staticerrors/NonDerivable3 staticerrors/NonDerivable4 staticerrors/NonDerivable5 staticerrors/NonDerivableEq staticerrors/PatBindNovar staticerrors/PatConArity1 staticerrors/PatConArity2 staticerrors/RedefineFixity staticerrors/SigNoDef staticerrors/SignatureForRestrPat staticerrors/SynDupTyvar staticerrors/SynRec staticerrors/SynUndefTyvar staticerrors/TestCollectFunBinds staticerrors/TupleTooBig1 staticerrors/TupleTooBig2 staticerrors/TupleTooBig3 staticerrors/TupleTooBig4 staticerrors/TupleTooBig5 staticerrors/TypeAppTyvar staticerrors/TypeArityTycon staticerrors/TypeArityTycon2 staticerrors/TypeArityTycon3 staticerrors/TypeConInExpr staticerrors/TypeSynErr staticerrors/TypeUndefTycon staticerrors/TypeUndefTycon2 staticerrors/UndefinedConstructor staticerrors/UndefinedShow staticerrors/UnknownClass staticerrors/WrongModuleName typeerrors/Edinburgh/Ex1 typeerrors/Edinburgh/Ex10 typeerrors/Edinburgh/Ex11 typeerrors/Edinburgh/Ex12 typeerrors/Edinburgh/Ex13 typeerrors/Edinburgh/Ex14 typeerrors/Edinburgh/Ex15 typeerrors/Edinburgh/Ex16 typeerrors/Edinburgh/Ex2 typeerrors/Edinburgh/Ex3 typeerrors/Edinburgh/Ex4 typeerrors/Edinburgh/Ex5 typeerrors/Edinburgh/Ex6 typeerrors/Edinburgh/Ex7 typeerrors/Edinburgh/Ex8 typeerrors/Edinburgh/Ex9 typeerrors/Examples/AltLeft typeerrors/Examples/AltRight typeerrors/Examples/AltVarBind typeerrors/Examples/BgExplicitTypedBinding typeerrors/Examples/BgExplicitVarBind typeerrors/Examples/BgImplicitVarBind typeerrors/Examples/BgSameVarBind typeerrors/Examples/BigTypes typeerrors/Examples/Body typeerrors/Examples/Bug1 typeerrors/Examples/DeclPatBinding typeerrors/Examples/EnumString typeerrors/Examples/ExprComprehension typeerrors/Examples/ExprConstructor typeerrors/Examples/ExprEnumFrom typeerrors/Examples/ExprEnumResult typeerrors/Examples/ExprEnumThen typeerrors/Examples/ExprEnumTo typeerrors/Examples/ExprIfCond typeerrors/Examples/ExprIfElse typeerrors/Examples/ExprInfixApplication typeerrors/Examples/ExprLambdaResult typeerrors/Examples/ExprLambdaVarBind typeerrors/Examples/ExprListElem typeerrors/Examples/ExprListResult typeerrors/Examples/ExprLiteral typeerrors/Examples/ExprNegateExpr typeerrors/Examples/ExprNegateResult typeerrors/Examples/ExprNormalApplication typeerrors/Examples/ExprTuple typeerrors/Examples/ExprTypedExpr typeerrors/Examples/ExprTypedResult typeerrors/Examples/FbLeft typeerrors/Examples/FbRight typeerrors/Examples/FbVarBind typeerrors/Examples/GuardedGuard typeerrors/Examples/Guardedexpression typeerrors/Examples/InfiniteOrNot typeerrors/Examples/InfiniteType1 typeerrors/Examples/InfiniteType2 typeerrors/Examples/InfiniteType3 typeerrors/Examples/InfixTest typeerrors/Examples/KeepTyVarNames typeerrors/Examples/LeftSection typeerrors/Examples/LineBug typeerrors/Examples/LotsOfTypeErrors typeerrors/Examples/MafShow typeerrors/Examples/NestedInfiniteType typeerrors/Examples/NestedLets typeerrors/Examples/NewNegationExpr typeerrors/Examples/NewNegationPat typeerrors/Examples/NoInstance typeerrors/Examples/NoInstance2 typeerrors/Examples/NoInstanceEq typeerrors/Examples/PatAs typeerrors/Examples/PatConstructor typeerrors/Examples/PatConstructorApply typeerrors/Examples/PatInfixConstructor typeerrors/Examples/PatInfixConstructorApply typeerrors/Examples/PatListElem typeerrors/Examples/PatListResult typeerrors/Examples/PatLiteral typeerrors/Examples/PatNegatePat typeerrors/Examples/PatNegateResult typeerrors/Examples/PatTuple typeerrors/Examples/QualGenerator typeerrors/Examples/QualGuard typeerrors/Examples/QualVarBind typeerrors/Examples/RestrictedAndOverloaded typeerrors/Examples/RightSection typeerrors/Examples/SameTypesInTypeError typeerrors/Examples/Shadow typeerrors/Examples/StatExpr typeerrors/Examples/StatGenerator typeerrors/Examples/StatVarBind typeerrors/Examples/SynonymErr typeerrors/Examples/TooGenFun typeerrors/Examples/TooGenTypeSig typeerrors/Examples/TooGenTyped typeerrors/Examples/TooGeneral typeerrors/Examples/TypeBug1 typeerrors/Examples/TypeBug2 typeerrors/Examples/TypeBug3 typeerrors/Examples/TypeBug4 typeerrors/Examples/TypeBug5 typeerrors/Examples/TypeBug6 typeerrors/Examples/TypeBug7 typeerrors/Examples/TypeBug8 typeerrors/Examples/TypeBug9 typeerrors/Examples/Verzahne typeerrors/Heuristics/AppInsert1 typeerrors/Heuristics/AppInsert2 typeerrors/Heuristics/AppNotABinFunction1 typeerrors/Heuristics/AppNotABinFunction2 typeerrors/Heuristics/AppNotAFunction1 typeerrors/Heuristics/AppNotAFunction2 typeerrors/Heuristics/AppNotEnough1 typeerrors/Heuristics/AppNotEnough2 typeerrors/Heuristics/AppRemove1 typeerrors/Heuristics/AppRemove2 typeerrors/Heuristics/AppReorder1 typeerrors/Heuristics/AppReorder2 typeerrors/Heuristics/AppSubterm1 typeerrors/Heuristics/AppSubterm2 typeerrors/Heuristics/AppSwap1 typeerrors/Heuristics/AppSwap2 typeerrors/Heuristics/AppTooManyArguments1 typeerrors/Heuristics/AppTooManyArguments2 typeerrors/Heuristics/BugReorder typeerrors/Heuristics/BugReorderTuple typeerrors/Heuristics/BugUnifier typeerrors/Heuristics/FBHasTooMany1 typeerrors/Heuristics/FBHasTooMany2 typeerrors/Heuristics/FBHasTooMany3 typeerrors/Heuristics/JavaStringConcat typeerrors/Heuristics/NewNegationSimilar typeerrors/Heuristics/OrdChr typeerrors/Heuristics/SimilarFunction1 typeerrors/Heuristics/SimilarFunction2 typeerrors/Heuristics/SimilarFunction3 typeerrors/Heuristics/SimilarLiteral1 typeerrors/Heuristics/SimilarLiteral2 typeerrors/Heuristics/SimilarLiteral3 typeerrors/Heuristics/SimilarNegation typeerrors/Heuristics/SynonymBug typeerrors/Heuristics/TupleInsert1 typeerrors/Heuristics/TupleInsert2 typeerrors/Heuristics/TupleRemove1 typeerrors/Heuristics/TupleRemove2 typeerrors/Heuristics/TupleReorder1 typeerrors/Heuristics/TupleReorder2 typeerrors/Heuristics/TupleSize1 typeerrors/Heuristics/TupleSize2 typeerrors/Heuristics/TupleSize3 typeerrors/Heuristics/UnaryMinus1 typeerrors/Heuristics/UnaryMinus2 typeerrors/Heuristics/UnifierAlternative typeerrors/Heuristics/UnifierCaseLeft typeerrors/Heuristics/UnifierCaseLeft2 typeerrors/Heuristics/UnifierCaseRight typeerrors/Heuristics/UnifierFunctionBinding typeerrors/Heuristics/UnifierFunctionBinding2 typeerrors/Heuristics/UnifierFunctionBinding3 typeerrors/Heuristics/UnifierGuards typeerrors/Heuristics/UnifierGuards2 typeerrors/Heuristics/UnifierIf typeerrors/Heuristics/UnifierLambda typeerrors/Heuristics/UnifierList typeerrors/Heuristics/UnifierPatList typeerrors/Strategies/A typeerrors/Strategies/B typeerrors/Strategies/Duplicated1 typeerrors/Strategies/Duplicated2 typeerrors/Strategies/Duplicated3 typeerrors/Strategies/Inconsistent typeerrors/Strategies/Soundness typeerrors/Strategies/TypeError typeerrors/Strategies/Undefined typeerrors/Strategies/Unused make/DerivingShow1 make/DerivingShow2 make/Diamond1 make/Diamond2 make/Diamond3 make/Diamond4 make/EqImport1 make/EqImport2 make/ExportShowInstance1 make/ExportShowInstance2 make/Hiding1 make/Hiding2 make/MultipleImportA make/MultipleImportB make/MultipleImportC make/MultipleImportD make/Nameless1 make/Nameless2 make/NoEqImport1 make/NoEqImport2 make/SelfImport make/ShowExport1 make/ShowExport2 make/ShowExport3 make/SynExportA make/SynExportB make/SynExportC make/SynExportD make/SynExportE thompson/Thompson01 thompson/Thompson02 thompson/Thompson03 thompson/Thompson04 thompson/Thompson05 thompson/Thompson06 thompson/Thompson07 thompson/Thompson08 thompson/Thompson09 thompson/Thompson10 thompson/Thompson11 thompson/Thompson12 thompson/Thompson13 thompson/Thompson14 thompson/Thompson15 thompson/Thompson16 thompson/Thompson17 thompson/Thompson18 thompson/Thompson19 thompson/Thompson20 thompson/Thompson21 thompson/Thompson22 thompson/Thompson23 thompson/Thompson24 thompson/Thompson25 thompson/Thompson26 thompson/Thompson27 thompson/Thompson28 thompson/Thompson29 thompson/Thompson30 thompson/Thompson31 thompson/Thompson32 thompson/Thompson33 thompson/Thompson35 thompson/Thompson36 thompson/Thompson37 thompson/Thompson38 thompson/Thompson39 correct/Abs correct/Andres correct/Case1 correct/Case2 correct/Case3 correct/Comprehension1 correct/Comprehension2 correct/Daan1 correct/Derivable correct/DerivableSyn correct/DerivingShow correct/EnumChar correct/EnumFloat correct/EnumFromTo correct/EnumFromTo2 correct/EnumFromTo3 correct/EnumFromTo4 correct/EnumFromTo5 correct/EnumFromTo6 correct/EnumFromTo7 correct/EnumInt correct/EnumMisc correct/Eq correct/EqAndShow correct/EqInstance correct/EqSyn correct/EscapeInString correct/Exponent correct/Export correct/Export2 correct/ExprDoPat1 correct/ExprIfFalse correct/ExprIfTrue correct/File1 correct/File2 correct/File3 correct/Fixity correct/FloatOperations correct/FloatUnaryMinus correct/FloatUnaryMinus2 correct/FloatUnaryMinus3 correct/GCbug correct/GeneralizeBoth correct/Import correct/Import2 correct/ImportDict1 correct/ImportDict2 correct/ImportTwo correct/ImportTwo1 correct/ImportTwo2 correct/InfixCon1 correct/InfixCon2 correct/InfixCon3 correct/InfixDefaultAssoc correct/InputOutput correct/Integer correct/Lambda1 correct/Lambda2 correct/Lambda3 correct/LocalDict correct/ManyConstructs correct/MoreFloatOperations correct/NoModuleHeader correct/OnlyGuards correct/Ord correct/OverloadedMain correct/PMC1 correct/PMC10 correct/PMC11 correct/PMC12 correct/PMC13 correct/PMC14 correct/PMC16 correct/PMC2 correct/PMC3 correct/PMC4 correct/PMC6 correct/PMC7 correct/PMC8 correct/PMC9 correct/ParensInfixScope correct/PatBind1 correct/PatNegateFloat correct/PatNegateInt correct/PatternBindingGuardBug correct/PatternMatchBug1 correct/PatternMatchBug2 correct/PatternMatchBug3 correct/PatternMatchBug4 correct/PhantomSynonym correct/PropagateEq correct/Reexport correct/Reexport2 correct/Reexport3 correct/Sections correct/Show correct/ShowFloat correct/ShowFunctions correct/ShowOfFunction correct/ShowSpecials correct/ShowString correct/ShowString1 correct/Sieve correct/SignumFloat correct/Simple correct/SqrtNull correct/Tuple correct/TwoLetterChar correct/TypeSyn1 correct/TypeSyn2 correct/UnaryMinus correct/UnfoldSynonym staticwarnings/Binding1 staticwarnings/Binding2 staticwarnings/Binding3 staticwarnings/Binding4 staticwarnings/Complete1 staticwarnings/Complete2 staticwarnings/Complete3 staticwarnings/Complete4 staticwarnings/Complete5 staticwarnings/Complete6 staticwarnings/Complete7 staticwarnings/DataUnusedTyvar staticwarnings/ExprCompShadowVar staticwarnings/ExprDoLetShadowVar staticwarnings/ExprLambdaUnusedVar staticwarnings/ExprLetShadowVar staticwarnings/Generator1 staticwarnings/Generator2 staticwarnings/Generator3 staticwarnings/Generator4 staticwarnings/Generator5 staticwarnings/Generator6 staticwarnings/Guards1 staticwarnings/Guards2 staticwarnings/Guards3 staticwarnings/Guards4 staticwarnings/Guards5 staticwarnings/Guards6 staticwarnings/Guards7 staticwarnings/Lambda1 staticwarnings/Lambda2 staticwarnings/Lambda3 staticwarnings/Missing1 staticwarnings/Missing2 staticwarnings/Missing3 staticwarnings/Missing4 staticwarnings/Missing5 staticwarnings/Missing6 staticwarnings/Missing7 staticwarnings/Missing8 staticwarnings/Missing9 staticwarnings/NoTypeDef staticwarnings/Overlap1 staticwarnings/Overlap2 staticwarnings/Overlap3 staticwarnings/Overlap4 staticwarnings/Overlap5 staticwarnings/Overlap6 staticwarnings/Overlap7 staticwarnings/Overlap8 staticwarnings/Overlap9 staticwarnings/PMWBug staticwarnings/Shadow staticwarnings/Shadow2 staticwarnings/SimpleOverloadedPat1 staticwarnings/SimpleOverloadedPat2 staticwarnings/SuperfluousPreds staticwarnings/SuspiciousFBs staticwarnings/SynUnusedTyvar staticwarnings/TypeSynWar staticwarnings/TypeSynonymsBug runtimeerrors/CatchBug runtimeerrors/ErrorFunction runtimeerrors/ErrorStrictness runtimeerrors/ExprDoPat2 runtimeerrors/Index1 runtimeerrors/Index2 runtimeerrors/Lambda4 runtimeerrors/NotANumber runtimeerrors/PMC15 runtimeerrors/PMCFloat runtimeerrors/PMFailure runtimeerrors/PatBind2 runtimeerrors/PatBind3 runtimeerrors/ShadowNegate Test failures: 0