• Preprocessing AG files
• building cleanag
  • rm -f syntax/UHA_Pretty.hs syntax/UHA_OneLine.hs staticanalysis/staticchecks/StaticChecks.hs staticanalysis/inferencers/TypeInferencing.hs staticanalysis/inferencers/KindInferencing.hs codegeneration/CodeGeneration.hs syntax/UHA_Syntax.hs modulesystem/ExtractImportDecls.hs staticanalysis/directives/TS_Syntax.hs staticanalysis/directives/TS_Apply.hs staticanalysis/directives/TS_Analyse.hs staticanalysis/directives/TS_CoreSyntax.hs staticanalysis/directives/TS_ToCore.hs parser/ResolveOperators.hs
• building syntax/UHA_Pretty.hs
  • # AG UHA_Pretty
  • cd syntax;uuagc -mscfr UHA_Pretty.ag;cd ..
• building syntax/UHA_OneLine.hs
  • # AG UHA_OneLine
  • cd syntax;uuagc -mscfr --self UHA_OneLine.ag;cd ..
• building staticanalysis/staticchecks/StaticChecks.hs
  • # AG StaticAnalysis
  • cd staticanalysis/staticchecks;uuagc -mscfr --self StaticChecks.ag;cd ../..
• building staticanalysis/inferencers/TypeInferencing.hs
  • # AG TypeInferencing
  • cd staticanalysis/inferencers;uuagc -mscfr --self TypeInferencing.ag;cd ../..
• building staticanalysis/inferencers/KindInferencing.hs
  • # AG TypeInferencing
  • cd staticanalysis/inferencers;uuagc -mscfr --self KindInferencing.ag;cd ../..
• building codegeneration/CodeGeneration.hs
  • # AG CodeGeneration
  • cd codegeneration;uuagc -mscfr --self CodeGeneration.ag;cd ..
• building syntax/UHA_Syntax.hs
  • # AG UHA_Syntax
  • cd syntax;uuagc -dmr UHA_Syntax.ag;cd ..
• building modulesystem/ExtractImportDecls.hs
  • # AG ExtractImportDecls
  • cd modulesystem;uuagc -mscfr --self ExtractImportDecls.ag;cd ..
• building staticanalysis/directives/TS_Syntax.hs
  • # AG TS_Syntax
  • cd staticanalysis/directives;uuagc -dmr TS_Syntax.ag;cd ../..
• building staticanalysis/directives/TS_Apply.hs
  • cd staticanalysis/directives;uuagc -mscf TS_Apply.ag;cd ../..
• building staticanalysis/directives/TS_Analyse.hs
  • # AG TS_Analyse
  • cd staticanalysis/directives;uuagc -mscfr --self TS_Analyse.ag;cd ../..
• building staticanalysis/directives/TS_CoreSyntax.hs
  • cd staticanalysis/directives;uuagc -md TS_CoreSyntax.ag;cd ../..
• building staticanalysis/directives/TS_ToCore.hs
  • # AG TS_Syntax
  • cd staticanalysis/directives;uuagc -mscrf --self TS_ToCore.ag;cd ../..
• building parser/ResolveOperators.hs
  • # AG ResolveOperators
  • cd parser;uuagc -mscfr --self ResolveOperators.ag;cd ..
• Preparing makefile dependencies
• building depend
  • # Checking dependencies
  • /tmp/nix-8816-1/ghc-6.8-nix-support/ghc -M -static -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -package mtl -package containers -package parsec -package network -i../../lvm/src/lib/common:../../lvm/src/lib/common/ghc:../../lvm/src/lib/lvm:../../lvm/src/lib/asm:../../lvm/src/lib/core:./utils:./parser:./staticanalysis/miscellaneous:./staticanalysis/inferencers:./staticanalysis/directives:./staticanalysis/staticchecks:./staticanalysis/heuristics:./staticanalysis/messages:./syntax:./codegeneration:./main:./modulesystem:../../Top/src/Top/..:./texthint parser/CollectFunctionBindings.hs parser/OperatorTable.hs parser/Parser.hs parser/ResolveOperators.hs parser/Lexer.hs parser/ParseLibrary.hs parser/ParseMessage.hs parser/LexerMonad.hs parser/LexerMessage.hs parser/LayoutRule.hs parser/LexerToken.hs staticanalysis/messages/Messages.hs staticanalysis/messages/HeliumMessages.hs staticanalysis/messages/StaticErrors.hs staticanalysis/messages/TypeErrors.hs staticanalysis/messages/KindErrors.hs staticanalysis/messages/Warnings.hs staticanalysis/messages/Information.hs staticanalysis/heuristics/HeuristicsInfo.hs staticanalysis/heuristics/ListOfHeuristics.hs staticanalysis/heuristics/OnlyResultHeuristics.hs staticanalysis/heuristics/RepairHeuristics.hs staticanalysis/heuristics/TieBreakerHeuristics.hs staticanalysis/heuristics/UnifierHeuristics.hs staticanalysis/staticchecks/StaticChecks.hs staticanalysis/inferencers/TypeInferencing.hs staticanalysis/inferencers/KindInferencing.hs staticanalysis/inferencers/ExpressionTypeInferencer.hs staticanalysis/inferencers/SelectConstraintSolver.hs staticanalysis/inferencers/BindingGroupAnalysis.hs staticanalysis/directives/TS_Parser.hs staticanalysis/directives/TS_Syntax.hs staticanalysis/directives/Matchers.hs staticanalysis/directives/TS_Apply.hs staticanalysis/directives/TS_Messages.hs staticanalysis/directives/TS_Analyse.hs staticanalysis/directives/TS_CoreSyntax.hs staticanalysis/directives/TS_ToCore.hs staticanalysis/directives/TS_Compile.hs staticanalysis/directives/TS_Attributes.hs staticanalysis/miscellaneous/ConstraintInfo.hs staticanalysis/miscellaneous/DoublyLinkedTree.hs staticanalysis/miscellaneous/TypeConstraints.hs staticanalysis/miscellaneous/TypesToAlignedDocs.hs staticanalysis/miscellaneous/TypeConversion.hs staticanalysis/miscellaneous/UHA_Source.hs syntax/UHA_Syntax.hs syntax/UHA_Utils.hs syntax/UHA_Range.hs syntax/UHA_Pretty.hs syntax/UHA_OneLine.hs codegeneration/CoreToLvm.hs codegeneration/PatternMatch.hs codegeneration/DerivingShow.hs codegeneration/DerivingEq.hs codegeneration/CoreUtils.hs codegeneration/CodeGeneration.hs utils/Utils.hs utils/Logger.hs utils/OSSpecific.hs utils/OneLiner.hs utils/Similarity.hs utils/Texts.hs ../../Top/src/Top/Constraint/Equality.hs ../../Top/src/Top/Constraint/Information.hs ../../Top/src/Top/Constraint/Polymorphism.hs ../../Top/src/Top/Constraint/Qualifier.hs ../../Top/src/Top/Constraint.hs ../../Top/src/Top/Implementation/Basic.hs ../../Top/src/Top/Implementation/FastSubstitution.hs ../../Top/src/Top/Implementation/General.hs ../../Top/src/Top/Implementation/Overloading.hs ../../Top/src/Top/Implementation/SimpleSubstitution.hs ../../Top/src/Top/Implementation/TypeGraph/ApplyHeuristics.hs ../../Top/src/Top/Implementation/TypeGraph/Basics.hs ../../Top/src/Top/Implementation/TypeGraph/Class.hs ../../Top/src/Top/Implementation/TypeGraph/ClassMonadic.hs ../../Top/src/Top/Implementation/TypeGraph/DefaultHeuristics.hs ../../Top/src/Top/Implementation/TypeGraph/EquivalenceGroup.hs ../../Top/src/Top/Implementation/TypeGraph/Heuristic.hs ../../Top/src/Top/Implementation/TypeGraph/Path.hs ../../Top/src/Top/Implementation/TypeGraph/Standard.hs ../../Top/src/Top/Implementation/TypeGraphSubstitution.hs ../../Top/src/Top/Implementation/TypeInference.hs ../../Top/src/Top/Interface/Basic.hs ../../Top/src/Top/Interface/Qualification.hs ../../Top/src/Top/Interface/Substitution.hs ../../Top/src/Top/Interface/TypeInference.hs ../../Top/src/Top/Monad/Select.hs ../../Top/src/Top/Monad/StateFix.hs ../../Top/src/Top/Ordering/Tree.hs ../../Top/src/Top/Ordering/TreeWalk.hs ../../Top/src/Top/Solver/Greedy.hs ../../Top/src/Top/Solver/PartitionCombinator.hs ../../Top/src/Top/Solver/SwitchCombinator.hs ../../Top/src/Top/Solver/TypeGraph.hs ../../Top/src/Top/Solver.hs ../../Top/src/Top/Types/Classes.hs ../../Top/src/Top/Types/Kinds.hs ../../Top/src/Top/Types/Primitive.hs ../../Top/src/Top/Types/Qualification.hs ../../Top/src/Top/Types/Quantification.hs ../../Top/src/Top/Types/Schemes.hs ../../Top/src/Top/Types/Substitution.hs ../../Top/src/Top/Types/Synonym.hs ../../Top/src/Top/Types/Unification.hs ../../Top/src/Top/Types.hs ../../Top/src/Top/Util/Embedding.hs ../../Top/src/Top/Util/Empty.hs ../../Top/src/Top/Util/Option.hs ../../lvm/src/lib/common/Id.hs ../../lvm/src/lib/common/IdMap.hs ../../lvm/src/lib/common/IdSet.hs ../../lvm/src/lib/common/IntMap.hs ../../lvm/src/lib/common/Byte.hs ../../lvm/src/lib/common/Standard.hs ../../lvm/src/lib/common/TopSort.hs ../../lvm/src/lib/common/Set.hs ../../lvm/src/lib/common/ghc/Special.hs ../../lvm/src/lib/common/PPrint.hs ../../lvm/src/lib/lvm/Lvm.hs ../../lvm/src/lib/lvm/LvmPretty.hs ../../lvm/src/lib/lvm/LvmWrite.hs ../../lvm/src/lib/lvm/LvmRead.hs ../../lvm/src/lib/lvm/LvmImport.hs ../../lvm/src/lib/lvm/Module.hs ../../lvm/src/lib/lvm/ModulePretty.hs ../../lvm/src/lib/lvm/Instr.hs ../../lvm/src/lib/lvm/InstrPretty.hs ../../lvm/src/lib/lvm/InstrResolve.hs ../../lvm/src/lib/lvm/InstrRewrite.hs ../../lvm/src/lib/asm/AsmOptimize.hs ../../lvm/src/lib/asm/AsmInline.hs ../../lvm/src/lib/asm/AsmOccur.hs ../../lvm/src/lib/asm/Asm.hs ../../lvm/src/lib/asm/AsmPretty.hs ../../lvm/src/lib/asm/AsmToLvm.hs ../../lvm/src/lib/core/Core.hs ../../lvm/src/lib/core/CorePretty.hs ../../lvm/src/lib/core/CoreToAsm.hs ../../lvm/src/lib/core/CoreParse.hs ../../lvm/src/lib/core/CoreLexer.hs ../../lvm/src/lib/core/CoreNormalize.hs ../../lvm/src/lib/core/CoreRemoveDead.hs ../../lvm/src/lib/core/CoreNoShadow.hs ../../lvm/src/lib/core/CoreFreeVar.hs ../../lvm/src/lib/core/CoreLetSort.hs ../../lvm/src/lib/core/CoreLift.hs ../../lvm/src/lib/core/CoreSaturate.hs main/Main.hs main/Version.hs main/Args.hs main/Compile.hs main/PhaseLexer.hs main/PhaseParser.hs main/PhaseImport.hs main/PhaseResolveOperators.hs main/PhaseStaticChecks.hs main/PhaseTypingStrategies.hs main/PhaseTypeInferencer.hs main/PhaseDesugarer.hs main/PhaseCodeGenerator.hs main/CompileUtils.hs main/PhaseKindInferencer.hs modulesystem/ImportEnvironment.hs modulesystem/DictionaryEnvironment.hs modulesystem/CoreToImportEnv.hs modulesystem/ExtractImportDecls.hs
• building depend
  • gcc -MM -O2 -fno-defer-pop -Wall -I../config -I. -Icommon core/*.c > .depend.temp
  • sed -e 's/\(.*\.o\)/core\/\1/' .depend.temp > .depend
  • gcc -MM -O2 -fno-defer-pop -Wall -I../config -I. -Icommon heap/*.c > .depend.temp
  • sed -e 's/\(.*\.o\)/heap\/\1/' .depend.temp >> .depend
  • gcc -MM -O2 -fno-defer-pop -Wall -I../config -I. -Icommon prim/*.c > .depend.temp
  • sed -e 's/\(.*\.o\)/prim\/\1/' .depend.temp >> .depend
  • rm -f .depend.temp
• Prebuilding Hint
• Buildfile: build.xml
• beforedist:
• [mkdir] Created dir: /tmp/nix-8816-1/i84gxbwzdqabm49mwc23ili9jhajmzhs-svn-export/helium-1.7-pre3-473-119-236-59/hint/dist
• beforecompile:
• [mkdir] Created dir: /tmp/nix-8816-1/i84gxbwzdqabm49mwc23ili9jhajmzhs-svn-export/helium-1.7-pre3-473-119-236-59/hint/build
• compile:
• [javac] Compiling 30 source files to /tmp/nix-8816-1/i84gxbwzdqabm49mwc23ili9jhajmzhs-svn-export/helium-1.7-pre3-473-119-236-59/hint/build
• [javac] Note: /tmp/nix-8816-1/i84gxbwzdqabm49mwc23ili9jhajmzhs-svn-export/helium-1.7-pre3-473-119-236-59/hint/hint/Hint.java uses or overrides a deprecated API.
• [javac] Note: Recompile with -Xlint:deprecation for details.
• [javac] Note: Some input files use unchecked or unsafe operations.
• [javac] Note: Recompile with -Xlint:unchecked for details.
• [copy] Copying 17 files to /tmp/nix-8816-1/i84gxbwzdqabm49mwc23ili9jhajmzhs-svn-export/helium-1.7-pre3-473-119-236-59/hint/build/hint
• dist:
• [jar] Building jar: /tmp/nix-8816-1/i84gxbwzdqabm49mwc23ili9jhajmzhs-svn-export/helium-1.7-pre3-473-119-236-59/hint/dist/Hint-1.7.jar
• BUILD SUCCESSFUL
• Total time: 2 seconds
• Generating makefile to produce tarball