Log File

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/PrintLargeFile.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