*** setup configure Configuring Agda-2.2.2... Dependency QuickCheck ==2.1.0.1: using QuickCheck-2.1.0.1 Dependency array >=0.1 && <1: using array-0.3.0.0 Dependency base ==3.*: using base-3.0.3.2 Dependency binary >=0.4.4 && <0.6: using binary-0.5.0.2 Dependency bytestring >=0.9.0.1 && <1: using bytestring-0.9.1.6 Dependency containers >=0.1.0 && <1: using containers-0.3.0.0 Dependency directory ==1.*: using directory-1.0.1.0 Dependency filepath >=1.1 && <2: using filepath-1.1.0.3 Dependency ghc-prim >=0.1 && <1: using ghc-prim-0.2.0.0 Dependency haskeline >=0.3 && <0.7: using haskeline-0.6.2.2 Dependency haskell-src >=1.0.1.1 && <2: using haskell-src-1.0.1.3 Dependency haskell98 >=1.0.1 && <2: using haskell98-1.0.1.1 Dependency mtl >=1.1 && <2: using mtl-1.1.0.2 Dependency old-time ==1.*: using old-time-1.0.0.3 Dependency pretty ==1.*: using pretty-1.0.1.1 Dependency process >=1.0.1.0 && <2: using process-1.0.1.2 Dependency utf8-string ==0.3.*: using utf8-string-0.3.6 Dependency xhtml ==3000.2.*: using xhtml-3000.2.0.1 Dependency zlib >=0.4.0.1 && <1: using zlib-0.5.2.0 Using Cabal-1.8.0.2 compiled by ghc-6.12 Using compiler: ghc-6.12.1 Using install prefix: /usr/local/tmp/archive/install Binaries installed in: /usr/local/tmp/archive/install/bin Libraries installed in: /usr/local/tmp/archive/install/lib/Agda-2.2.2/ghc-6.12.1 Private binaries installed in: /usr/local/tmp/archive/install/libexec Data files installed in: /usr/local/tmp/archive/install/share/Agda-2.2.2 Documentation installed in: /usr/local/tmp/archive/install/share/doc/Agda-2.2.2 Using alex version 2.3.1 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar Using c2hs version 0.16.0 found on system at: /usr/local/bin/c2hs Using cpphs version 1.11 found on system at: /usr/local/bin/cpphs Using ffihugs found on system at: /usr/local/bin/ffihugs Using gcc version 4.4.3 found on system at: /usr/bin/gcc Using ghc version 6.12.1 found on system at: /usr/local/bin/ghc Using ghc-pkg version 6.12.1 found on system at: /usr/local/bin/ghc-pkg Using greencard found on system at: /usr/local/tmp/archive/install/bin/greencard Using haddock version 2.7.2 found on system at: /usr/local/bin/haddock Using happy version 1.17 found on system at: /usr/local/bin/happy No hmake found Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.16 found on system at: /usr/local/bin/HsColour Using hugs found on system at: /usr/local/bin/hugs No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found Using pkg-config version 0.22 found on system at: /usr/bin/pkg-config Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar *** setup haddock Running Haddock for Agda-2.2.2... /usr/local/bin/haddock --use-contents=/package/Agda-2.2.2 --ghc-version Creating dist/build (and its parents) Creating dist/build/autogen (and its parents) Preprocessing library Agda-2.2.2... Preprocessing executables for Agda-2.2.2... Running hscolour for Agda-2.2.2... Creating dist/doc/html/Agda (and its parents) Creating dist/doc/html/Agda/src (and its parents) /usr/local/bin/HsColour -print-css -odist/doc/html/Agda/src/hscolour.css /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Main.html src/full/Agda/Main.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-BasicOps.html src/full/Agda/Interaction/BasicOps.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-GhciTop.html src/full/Agda/Interaction/GhciTop.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-Agate-Classify.html src/full/Agda/Compiler/Agate/Classify.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-Agate-Common.html src/full/Agda/Compiler/Agate/Common.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-Agate-Main.html src/full/Agda/Compiler/Agate/Main.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-Agate-OptimizedPrinter.html src/full/Agda/Compiler/Agate/OptimizedPrinter.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-Agate-TranslateName.html src/full/Agda/Compiler/Agate/TranslateName.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-Agate-UntypedPrinter.html src/full/Agda/Compiler/Agate/UntypedPrinter.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-Alonzo-Main.html src/full/Agda/Compiler/Alonzo/Main.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-Alonzo-Names.html src/full/Agda/Compiler/Alonzo/Names.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-Alonzo-Haskell.html src/full/Agda/Compiler/Alonzo/Haskell.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-Alonzo-PatternMonad.html src/full/Agda/Compiler/Alonzo/PatternMonad.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-HaskellTypes.html src/full/Agda/Compiler/HaskellTypes.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-MAlonzo-Compiler.html src/full/Agda/Compiler/MAlonzo/Compiler.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-MAlonzo-Encode.html src/full/Agda/Compiler/MAlonzo/Encode.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-MAlonzo-Misc.html src/full/Agda/Compiler/MAlonzo/Misc.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-MAlonzo-Pretty.html src/full/Agda/Compiler/MAlonzo/Pretty.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Compiler-MAlonzo-Primitives.html src/full/Agda/Compiler/MAlonzo/Primitives.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-CommandLine-CommandLine.html src/full/Agda/Interaction/CommandLine/CommandLine.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-Exceptions.html src/full/Agda/Interaction/Exceptions.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-Highlighting-Emacs.html src/full/Agda/Interaction/Highlighting/Emacs.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-Highlighting-Generate.html src/full/Agda/Interaction/Highlighting/Generate.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-Highlighting-HTML.html src/full/Agda/Interaction/Highlighting/HTML.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-Highlighting-Precise.html src/full/Agda/Interaction/Highlighting/Precise.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-Highlighting-Range.html src/full/Agda/Interaction/Highlighting/Range.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-Highlighting-Vim.html src/full/Agda/Interaction/Highlighting/Vim.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-Imports.html src/full/Agda/Interaction/Imports.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-MakeCase.html src/full/Agda/Interaction/MakeCase.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-Monad.html src/full/Agda/Interaction/Monad.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Interaction-Options.html src/full/Agda/Interaction/Options.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Abstract-Name.html src/full/Agda/Syntax/Abstract/Name.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Abstract-Pretty.html src/full/Agda/Syntax/Abstract/Pretty.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Abstract-Views.html src/full/Agda/Syntax/Abstract/Views.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Abstract.html src/full/Agda/Syntax/Abstract.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Common.html src/full/Agda/Syntax/Common.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Concrete-Definitions.html src/full/Agda/Syntax/Concrete/Definitions.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Concrete-Name.html src/full/Agda/Syntax/Concrete/Name.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Concrete-Operators-Parser.html src/full/Agda/Syntax/Concrete/Operators/Parser.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Concrete-Operators.html src/full/Agda/Syntax/Concrete/Operators.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Concrete-Pretty.html src/full/Agda/Syntax/Concrete/Pretty.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Concrete.html src/full/Agda/Syntax/Concrete.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Fixity.html src/full/Agda/Syntax/Fixity.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Info.html src/full/Agda/Syntax/Info.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Internal.html src/full/Agda/Syntax/Internal.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Internal-Generic.html src/full/Agda/Syntax/Internal/Generic.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Internal-Pattern.html src/full/Agda/Syntax/Internal/Pattern.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Literal.html src/full/Agda/Syntax/Literal.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser-Alex.html src/full/Agda/Syntax/Parser/Alex.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser-Comments.html src/full/Agda/Syntax/Parser/Comments.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser-Layout.html src/full/Agda/Syntax/Parser/Layout.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser-LexActions.html src/full/Agda/Syntax/Parser/LexActions.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser-Lexer.html dist/build/Agda/Syntax/Parser/Lexer.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser-LookAhead.html src/full/Agda/Syntax/Parser/LookAhead.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser-Monad.html src/full/Agda/Syntax/Parser/Monad.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser-Parser.html dist/build/Agda/Syntax/Parser/Parser.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser-StringLiterals.html src/full/Agda/Syntax/Parser/StringLiterals.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser-Tokens.html src/full/Agda/Syntax/Parser/Tokens.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Parser.html src/full/Agda/Syntax/Parser.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Position.html src/full/Agda/Syntax/Position.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Scope-Base.html src/full/Agda/Syntax/Scope/Base.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Scope-Monad.html src/full/Agda/Syntax/Scope/Monad.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Strict.html src/full/Agda/Syntax/Strict.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Translation-AbstractToConcrete.html src/full/Agda/Syntax/Translation/AbstractToConcrete.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Translation-ConcreteToAbstract.html src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Syntax-Translation-InternalToAbstract.html src/full/Agda/Syntax/Translation/InternalToAbstract.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Termination-CallGraph.html src/full/Agda/Termination/CallGraph.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Termination-Lexicographic.html src/full/Agda/Termination/Lexicographic.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Termination-Matrix.html src/full/Agda/Termination/Matrix.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Termination-Semiring.html src/full/Agda/Termination/Semiring.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Termination-TermCheck.html src/full/Agda/Termination/TermCheck.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Termination-Termination.html src/full/Agda/Termination/Termination.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Tests.html src/full/Agda/Tests.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecker.html src/full/Agda/TypeChecker.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Abstract.html src/full/Agda/TypeChecking/Abstract.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Constraints.html src/full/Agda/TypeChecking/Constraints.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Conversion.html src/full/Agda/TypeChecking/Conversion.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Coverage.html src/full/Agda/TypeChecking/Coverage.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Coverage-Match.html src/full/Agda/TypeChecking/Coverage/Match.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-DisplayForm.html src/full/Agda/TypeChecking/DisplayForm.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Empty.html src/full/Agda/TypeChecking/Empty.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-EtaContract.html src/full/Agda/TypeChecking/EtaContract.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Errors.html src/full/Agda/TypeChecking/Errors.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Free.html src/full/Agda/TypeChecking/Free.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Implicit.html src/full/Agda/TypeChecking/Implicit.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Injectivity.html src/full/Agda/TypeChecking/Injectivity.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-MetaVars.html src/full/Agda/TypeChecking/MetaVars.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Base.html src/full/Agda/TypeChecking/Monad/Base.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Builtin.html src/full/Agda/TypeChecking/Monad/Builtin.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Closure.html src/full/Agda/TypeChecking/Monad/Closure.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Constraints.html src/full/Agda/TypeChecking/Monad/Constraints.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Context.html src/full/Agda/TypeChecking/Monad/Context.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Debug.html src/full/Agda/TypeChecking/Monad/Debug.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Env.html src/full/Agda/TypeChecking/Monad/Env.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Exception.html src/full/Agda/TypeChecking/Monad/Exception.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Imports.html src/full/Agda/TypeChecking/Monad/Imports.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-MetaVars.html src/full/Agda/TypeChecking/Monad/MetaVars.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Mutual.html src/full/Agda/TypeChecking/Monad/Mutual.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Open.html src/full/Agda/TypeChecking/Monad/Open.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Options.html src/full/Agda/TypeChecking/Monad/Options.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Signature.html src/full/Agda/TypeChecking/Monad/Signature.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-SizedTypes.html src/full/Agda/TypeChecking/Monad/SizedTypes.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-State.html src/full/Agda/TypeChecking/Monad/State.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Statistics.html src/full/Agda/TypeChecking/Monad/Statistics.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad-Trace.html src/full/Agda/TypeChecking/Monad/Trace.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Monad.html src/full/Agda/TypeChecking/Monad.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Patterns-Match.html src/full/Agda/TypeChecking/Patterns/Match.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Polarity.html src/full/Agda/TypeChecking/Polarity.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Positivity.html src/full/Agda/TypeChecking/Positivity.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Pretty.html src/full/Agda/TypeChecking/Pretty.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Primitive.html src/full/Agda/TypeChecking/Primitive.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rebind.html src/full/Agda/TypeChecking/Rebind.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Records.html src/full/Agda/TypeChecking/Records.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Reduce.html src/full/Agda/TypeChecking/Reduce.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-Builtin.html src/full/Agda/TypeChecking/Rules/Builtin.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-Data.html src/full/Agda/TypeChecking/Rules/Data.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-Decl.html src/full/Agda/TypeChecking/Rules/Decl.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-Def.html src/full/Agda/TypeChecking/Rules/Def.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-LHS.html src/full/Agda/TypeChecking/Rules/LHS.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-LHS-Implicit.html src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-LHS-Instantiate.html src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-LHS-Problem.html src/full/Agda/TypeChecking/Rules/LHS/Problem.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-LHS-Split.html src/full/Agda/TypeChecking/Rules/LHS/Split.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-LHS-Unify.html src/full/Agda/TypeChecking/Rules/LHS/Unify.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-Record.html src/full/Agda/TypeChecking/Rules/Record.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Rules-Term.html src/full/Agda/TypeChecking/Rules/Term.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Serialise.html src/full/Agda/TypeChecking/Serialise.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-SizedTypes.html src/full/Agda/TypeChecking/SizedTypes.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Substitute.html src/full/Agda/TypeChecking/Substitute.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Telescope.html src/full/Agda/TypeChecking/Telescope.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Test-Generators.html src/full/Agda/TypeChecking/Test/Generators.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-Tests.html src/full/Agda/TypeChecking/Tests.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-TypeChecking-With.html src/full/Agda/TypeChecking/With.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Char.html src/full/Agda/Utils/Char.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Either.html src/full/Agda/Utils/Either.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-FileName.html src/full/Agda/Utils/FileName.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Fresh.html src/full/Agda/Utils/Fresh.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Function.html src/full/Agda/Utils/Function.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Generics.html src/full/Agda/Utils/Generics.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Graph.html src/full/Agda/Utils/Graph.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Hash.html src/full/Agda/Utils/Hash.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Impossible.html src/full/Agda/Utils/Impossible.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-IO.html src/full/Agda/Utils/IO.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-List.html src/full/Agda/Utils/List.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Map.html src/full/Agda/Utils/Map.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Maybe.html src/full/Agda/Utils/Maybe.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Monad-Undo.html src/full/Agda/Utils/Monad/Undo.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Monad.html src/full/Agda/Utils/Monad.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Permutation.html src/full/Agda/Utils/Permutation.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Pointer.html src/full/Agda/Utils/Pointer.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Pretty.html src/full/Agda/Utils/Pretty.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-QuickCheck.html src/full/Agda/Utils/QuickCheck.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-ReadP.html src/full/Agda/Utils/ReadP.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-SemiRing.html src/full/Agda/Utils/SemiRing.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Serialise.html src/full/Agda/Utils/Serialise.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Size.html src/full/Agda/Utils/Size.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-String.html src/full/Agda/Utils/String.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Suffix.html src/full/Agda/Utils/Suffix.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-TestHelpers.html src/full/Agda/Utils/TestHelpers.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Trace.html src/full/Agda/Utils/Trace.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Trie.html src/full/Agda/Utils/Trie.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Tuple.html src/full/Agda/Utils/Tuple.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Unicode.html src/full/Agda/Utils/Unicode.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Utils-Warshall.html src/full/Agda/Utils/Warshall.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Agda-Version.html src/full/Agda/Version.hs /usr/local/bin/HsColour -css -anchor -odist/doc/html/Agda/src/Paths_Agda.html dist/build/autogen/Paths_Agda.hs Warning: The documentation for the following packages are not installed. No links will be generated to these packages: base-3.0.3.2, ffi-1.0, rts-1.0 /usr/local/bin/ghc --print-libdir copy src/full/Agda/Main.hs to dist/build/tmp5842/src/full/Agda/Main.hs copy src/full/Agda/Interaction/BasicOps.hs to dist/build/tmp5842/src/full/Agda/Interaction/BasicOps.hs copy src/full/Agda/Interaction/GhciTop.hs to dist/build/tmp5842/src/full/Agda/Interaction/GhciTop.hs copy src/full/Agda/Compiler/Agate/Classify.hs to dist/build/tmp5842/src/full/Agda/Compiler/Agate/Classify.hs copy src/full/Agda/Compiler/Agate/Common.hs to dist/build/tmp5842/src/full/Agda/Compiler/Agate/Common.hs copy src/full/Agda/Compiler/Agate/Main.hs to dist/build/tmp5842/src/full/Agda/Compiler/Agate/Main.hs copy src/full/Agda/Compiler/Agate/OptimizedPrinter.hs to dist/build/tmp5842/src/full/Agda/Compiler/Agate/OptimizedPrinter.hs copy src/full/Agda/Compiler/Agate/TranslateName.hs to dist/build/tmp5842/src/full/Agda/Compiler/Agate/TranslateName.hs copy src/full/Agda/Compiler/Agate/UntypedPrinter.hs to dist/build/tmp5842/src/full/Agda/Compiler/Agate/UntypedPrinter.hs copy src/full/Agda/Compiler/Alonzo/Main.hs to dist/build/tmp5842/src/full/Agda/Compiler/Alonzo/Main.hs copy src/full/Agda/Compiler/Alonzo/Names.hs to dist/build/tmp5842/src/full/Agda/Compiler/Alonzo/Names.hs copy src/full/Agda/Compiler/Alonzo/Haskell.hs to dist/build/tmp5842/src/full/Agda/Compiler/Alonzo/Haskell.hs copy src/full/Agda/Compiler/Alonzo/PatternMonad.hs to dist/build/tmp5842/src/full/Agda/Compiler/Alonzo/PatternMonad.hs copy src/full/Agda/Compiler/HaskellTypes.hs to dist/build/tmp5842/src/full/Agda/Compiler/HaskellTypes.hs copy src/full/Agda/Compiler/MAlonzo/Compiler.hs to dist/build/tmp5842/src/full/Agda/Compiler/MAlonzo/Compiler.hs copy src/full/Agda/Compiler/MAlonzo/Encode.hs to dist/build/tmp5842/src/full/Agda/Compiler/MAlonzo/Encode.hs copy src/full/Agda/Compiler/MAlonzo/Misc.hs to dist/build/tmp5842/src/full/Agda/Compiler/MAlonzo/Misc.hs copy src/full/Agda/Compiler/MAlonzo/Pretty.hs to dist/build/tmp5842/src/full/Agda/Compiler/MAlonzo/Pretty.hs copy src/full/Agda/Compiler/MAlonzo/Primitives.hs to dist/build/tmp5842/src/full/Agda/Compiler/MAlonzo/Primitives.hs copy src/full/Agda/Interaction/CommandLine/CommandLine.hs to dist/build/tmp5842/src/full/Agda/Interaction/CommandLine/CommandLine.hs copy src/full/Agda/Interaction/Exceptions.hs to dist/build/tmp5842/src/full/Agda/Interaction/Exceptions.hs copy src/full/Agda/Interaction/Highlighting/Emacs.hs to dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/Emacs.hs copy src/full/Agda/Interaction/Highlighting/Generate.hs to dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/Generate.hs copy src/full/Agda/Interaction/Highlighting/HTML.hs to dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/HTML.hs copy src/full/Agda/Interaction/Highlighting/Precise.hs to dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/Precise.hs copy src/full/Agda/Interaction/Highlighting/Range.hs to dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/Range.hs copy src/full/Agda/Interaction/Highlighting/Vim.hs to dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/Vim.hs copy src/full/Agda/Interaction/Imports.hs to dist/build/tmp5842/src/full/Agda/Interaction/Imports.hs copy src/full/Agda/Interaction/MakeCase.hs to dist/build/tmp5842/src/full/Agda/Interaction/MakeCase.hs copy src/full/Agda/Interaction/Monad.hs to dist/build/tmp5842/src/full/Agda/Interaction/Monad.hs copy src/full/Agda/Interaction/Options.hs to dist/build/tmp5842/src/full/Agda/Interaction/Options.hs copy src/full/Agda/Syntax/Abstract/Name.hs to dist/build/tmp5842/src/full/Agda/Syntax/Abstract/Name.hs copy src/full/Agda/Syntax/Abstract/Pretty.hs to dist/build/tmp5842/src/full/Agda/Syntax/Abstract/Pretty.hs copy src/full/Agda/Syntax/Abstract/Views.hs to dist/build/tmp5842/src/full/Agda/Syntax/Abstract/Views.hs copy src/full/Agda/Syntax/Abstract.hs to dist/build/tmp5842/src/full/Agda/Syntax/Abstract.hs copy src/full/Agda/Syntax/Common.hs to dist/build/tmp5842/src/full/Agda/Syntax/Common.hs copy src/full/Agda/Syntax/Concrete/Definitions.hs to dist/build/tmp5842/src/full/Agda/Syntax/Concrete/Definitions.hs copy src/full/Agda/Syntax/Concrete/Name.hs to dist/build/tmp5842/src/full/Agda/Syntax/Concrete/Name.hs copy src/full/Agda/Syntax/Concrete/Operators/Parser.hs to dist/build/tmp5842/src/full/Agda/Syntax/Concrete/Operators/Parser.hs copy src/full/Agda/Syntax/Concrete/Operators.hs to dist/build/tmp5842/src/full/Agda/Syntax/Concrete/Operators.hs copy src/full/Agda/Syntax/Concrete/Pretty.hs to dist/build/tmp5842/src/full/Agda/Syntax/Concrete/Pretty.hs copy src/full/Agda/Syntax/Concrete.hs to dist/build/tmp5842/src/full/Agda/Syntax/Concrete.hs copy src/full/Agda/Syntax/Fixity.hs to dist/build/tmp5842/src/full/Agda/Syntax/Fixity.hs copy src/full/Agda/Syntax/Info.hs to dist/build/tmp5842/src/full/Agda/Syntax/Info.hs copy src/full/Agda/Syntax/Internal.hs to dist/build/tmp5842/src/full/Agda/Syntax/Internal.hs copy src/full/Agda/Syntax/Internal/Generic.hs to dist/build/tmp5842/src/full/Agda/Syntax/Internal/Generic.hs copy src/full/Agda/Syntax/Internal/Pattern.hs to dist/build/tmp5842/src/full/Agda/Syntax/Internal/Pattern.hs copy src/full/Agda/Syntax/Literal.hs to dist/build/tmp5842/src/full/Agda/Syntax/Literal.hs copy src/full/Agda/Syntax/Parser/Alex.hs to dist/build/tmp5842/src/full/Agda/Syntax/Parser/Alex.hs copy src/full/Agda/Syntax/Parser/Comments.hs to dist/build/tmp5842/src/full/Agda/Syntax/Parser/Comments.hs copy src/full/Agda/Syntax/Parser/Layout.hs to dist/build/tmp5842/src/full/Agda/Syntax/Parser/Layout.hs copy src/full/Agda/Syntax/Parser/LexActions.hs to dist/build/tmp5842/src/full/Agda/Syntax/Parser/LexActions.hs copy dist/build/Agda/Syntax/Parser/Lexer.hs to dist/build/tmp5842/dist/build/Agda/Syntax/Parser/Lexer.hs copy src/full/Agda/Syntax/Parser/LookAhead.hs to dist/build/tmp5842/src/full/Agda/Syntax/Parser/LookAhead.hs copy src/full/Agda/Syntax/Parser/Monad.hs to dist/build/tmp5842/src/full/Agda/Syntax/Parser/Monad.hs copy dist/build/Agda/Syntax/Parser/Parser.hs to dist/build/tmp5842/dist/build/Agda/Syntax/Parser/Parser.hs copy src/full/Agda/Syntax/Parser/StringLiterals.hs to dist/build/tmp5842/src/full/Agda/Syntax/Parser/StringLiterals.hs copy src/full/Agda/Syntax/Parser/Tokens.hs to dist/build/tmp5842/src/full/Agda/Syntax/Parser/Tokens.hs copy src/full/Agda/Syntax/Parser.hs to dist/build/tmp5842/src/full/Agda/Syntax/Parser.hs copy src/full/Agda/Syntax/Position.hs to dist/build/tmp5842/src/full/Agda/Syntax/Position.hs copy src/full/Agda/Syntax/Scope/Base.hs to dist/build/tmp5842/src/full/Agda/Syntax/Scope/Base.hs copy src/full/Agda/Syntax/Scope/Monad.hs to dist/build/tmp5842/src/full/Agda/Syntax/Scope/Monad.hs copy src/full/Agda/Syntax/Strict.hs to dist/build/tmp5842/src/full/Agda/Syntax/Strict.hs copy src/full/Agda/Syntax/Translation/AbstractToConcrete.hs to dist/build/tmp5842/src/full/Agda/Syntax/Translation/AbstractToConcrete.hs copy src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs to dist/build/tmp5842/src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs copy src/full/Agda/Syntax/Translation/InternalToAbstract.hs to dist/build/tmp5842/src/full/Agda/Syntax/Translation/InternalToAbstract.hs copy src/full/Agda/Termination/CallGraph.hs to dist/build/tmp5842/src/full/Agda/Termination/CallGraph.hs copy src/full/Agda/Termination/Lexicographic.hs to dist/build/tmp5842/src/full/Agda/Termination/Lexicographic.hs copy src/full/Agda/Termination/Matrix.hs to dist/build/tmp5842/src/full/Agda/Termination/Matrix.hs copy src/full/Agda/Termination/Semiring.hs to dist/build/tmp5842/src/full/Agda/Termination/Semiring.hs copy src/full/Agda/Termination/TermCheck.hs to dist/build/tmp5842/src/full/Agda/Termination/TermCheck.hs copy src/full/Agda/Termination/Termination.hs to dist/build/tmp5842/src/full/Agda/Termination/Termination.hs copy src/full/Agda/Tests.hs to dist/build/tmp5842/src/full/Agda/Tests.hs copy src/full/Agda/TypeChecker.hs to dist/build/tmp5842/src/full/Agda/TypeChecker.hs copy src/full/Agda/TypeChecking/Abstract.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Abstract.hs copy src/full/Agda/TypeChecking/Constraints.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Constraints.hs copy src/full/Agda/TypeChecking/Conversion.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Conversion.hs copy src/full/Agda/TypeChecking/Coverage.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Coverage.hs copy src/full/Agda/TypeChecking/Coverage/Match.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Coverage/Match.hs copy src/full/Agda/TypeChecking/DisplayForm.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/DisplayForm.hs copy src/full/Agda/TypeChecking/Empty.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Empty.hs copy src/full/Agda/TypeChecking/EtaContract.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/EtaContract.hs copy src/full/Agda/TypeChecking/Errors.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Errors.hs copy src/full/Agda/TypeChecking/Free.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Free.hs copy src/full/Agda/TypeChecking/Implicit.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Implicit.hs copy src/full/Agda/TypeChecking/Injectivity.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Injectivity.hs copy src/full/Agda/TypeChecking/MetaVars.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/MetaVars.hs copy src/full/Agda/TypeChecking/Monad/Base.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Base.hs copy src/full/Agda/TypeChecking/Monad/Builtin.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Builtin.hs copy src/full/Agda/TypeChecking/Monad/Closure.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Closure.hs copy src/full/Agda/TypeChecking/Monad/Constraints.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Constraints.hs copy src/full/Agda/TypeChecking/Monad/Context.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Context.hs copy src/full/Agda/TypeChecking/Monad/Debug.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Debug.hs copy src/full/Agda/TypeChecking/Monad/Env.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Env.hs copy src/full/Agda/TypeChecking/Monad/Exception.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Exception.hs copy src/full/Agda/TypeChecking/Monad/Imports.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Imports.hs copy src/full/Agda/TypeChecking/Monad/MetaVars.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/MetaVars.hs copy src/full/Agda/TypeChecking/Monad/Mutual.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Mutual.hs copy src/full/Agda/TypeChecking/Monad/Open.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Open.hs copy src/full/Agda/TypeChecking/Monad/Options.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Options.hs copy src/full/Agda/TypeChecking/Monad/Signature.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Signature.hs copy src/full/Agda/TypeChecking/Monad/SizedTypes.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/SizedTypes.hs copy src/full/Agda/TypeChecking/Monad/State.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/State.hs copy src/full/Agda/TypeChecking/Monad/Statistics.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Statistics.hs copy src/full/Agda/TypeChecking/Monad/Trace.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Trace.hs copy src/full/Agda/TypeChecking/Monad.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Monad.hs copy src/full/Agda/TypeChecking/Patterns/Match.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Patterns/Match.hs copy src/full/Agda/TypeChecking/Polarity.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Polarity.hs copy src/full/Agda/TypeChecking/Positivity.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Positivity.hs copy src/full/Agda/TypeChecking/Pretty.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Pretty.hs copy src/full/Agda/TypeChecking/Primitive.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Primitive.hs copy src/full/Agda/TypeChecking/Rebind.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rebind.hs copy src/full/Agda/TypeChecking/Records.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Records.hs copy src/full/Agda/TypeChecking/Reduce.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Reduce.hs copy src/full/Agda/TypeChecking/Rules/Builtin.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Builtin.hs copy src/full/Agda/TypeChecking/Rules/Data.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Data.hs copy src/full/Agda/TypeChecking/Rules/Decl.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Decl.hs copy src/full/Agda/TypeChecking/Rules/Def.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Def.hs copy src/full/Agda/TypeChecking/Rules/LHS.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS.hs copy src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs copy src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs copy src/full/Agda/TypeChecking/Rules/LHS/Problem.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS/Problem.hs copy src/full/Agda/TypeChecking/Rules/LHS/Split.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS/Split.hs copy src/full/Agda/TypeChecking/Rules/LHS/Unify.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS/Unify.hs copy src/full/Agda/TypeChecking/Rules/Record.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Record.hs copy src/full/Agda/TypeChecking/Rules/Term.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Term.hs copy src/full/Agda/TypeChecking/Serialise.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Serialise.hs copy src/full/Agda/TypeChecking/SizedTypes.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/SizedTypes.hs copy src/full/Agda/TypeChecking/Substitute.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Substitute.hs copy src/full/Agda/TypeChecking/Telescope.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Telescope.hs copy src/full/Agda/TypeChecking/Test/Generators.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Test/Generators.hs copy src/full/Agda/TypeChecking/Tests.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/Tests.hs copy src/full/Agda/TypeChecking/With.hs to dist/build/tmp5842/src/full/Agda/TypeChecking/With.hs copy src/full/Agda/Utils/Char.hs to dist/build/tmp5842/src/full/Agda/Utils/Char.hs copy src/full/Agda/Utils/Either.hs to dist/build/tmp5842/src/full/Agda/Utils/Either.hs copy src/full/Agda/Utils/FileName.hs to dist/build/tmp5842/src/full/Agda/Utils/FileName.hs copy src/full/Agda/Utils/Fresh.hs to dist/build/tmp5842/src/full/Agda/Utils/Fresh.hs copy src/full/Agda/Utils/Function.hs to dist/build/tmp5842/src/full/Agda/Utils/Function.hs copy src/full/Agda/Utils/Generics.hs to dist/build/tmp5842/src/full/Agda/Utils/Generics.hs copy src/full/Agda/Utils/Graph.hs to dist/build/tmp5842/src/full/Agda/Utils/Graph.hs copy src/full/Agda/Utils/Hash.hs to dist/build/tmp5842/src/full/Agda/Utils/Hash.hs copy src/full/Agda/Utils/Impossible.hs to dist/build/tmp5842/src/full/Agda/Utils/Impossible.hs copy src/full/Agda/Utils/IO.hs to dist/build/tmp5842/src/full/Agda/Utils/IO.hs copy src/full/Agda/Utils/List.hs to dist/build/tmp5842/src/full/Agda/Utils/List.hs copy src/full/Agda/Utils/Map.hs to dist/build/tmp5842/src/full/Agda/Utils/Map.hs copy src/full/Agda/Utils/Maybe.hs to dist/build/tmp5842/src/full/Agda/Utils/Maybe.hs copy src/full/Agda/Utils/Monad/Undo.hs to dist/build/tmp5842/src/full/Agda/Utils/Monad/Undo.hs copy src/full/Agda/Utils/Monad.hs to dist/build/tmp5842/src/full/Agda/Utils/Monad.hs copy src/full/Agda/Utils/Permutation.hs to dist/build/tmp5842/src/full/Agda/Utils/Permutation.hs copy src/full/Agda/Utils/Pointer.hs to dist/build/tmp5842/src/full/Agda/Utils/Pointer.hs copy src/full/Agda/Utils/Pretty.hs to dist/build/tmp5842/src/full/Agda/Utils/Pretty.hs copy src/full/Agda/Utils/QuickCheck.hs to dist/build/tmp5842/src/full/Agda/Utils/QuickCheck.hs copy src/full/Agda/Utils/ReadP.hs to dist/build/tmp5842/src/full/Agda/Utils/ReadP.hs copy src/full/Agda/Utils/SemiRing.hs to dist/build/tmp5842/src/full/Agda/Utils/SemiRing.hs copy src/full/Agda/Utils/Serialise.hs to dist/build/tmp5842/src/full/Agda/Utils/Serialise.hs copy src/full/Agda/Utils/Size.hs to dist/build/tmp5842/src/full/Agda/Utils/Size.hs copy src/full/Agda/Utils/String.hs to dist/build/tmp5842/src/full/Agda/Utils/String.hs copy src/full/Agda/Utils/Suffix.hs to dist/build/tmp5842/src/full/Agda/Utils/Suffix.hs copy src/full/Agda/Utils/TestHelpers.hs to dist/build/tmp5842/src/full/Agda/Utils/TestHelpers.hs copy src/full/Agda/Utils/Trace.hs to dist/build/tmp5842/src/full/Agda/Utils/Trace.hs copy src/full/Agda/Utils/Trie.hs to dist/build/tmp5842/src/full/Agda/Utils/Trie.hs copy src/full/Agda/Utils/Tuple.hs to dist/build/tmp5842/src/full/Agda/Utils/Tuple.hs copy src/full/Agda/Utils/Unicode.hs to dist/build/tmp5842/src/full/Agda/Utils/Unicode.hs copy src/full/Agda/Utils/Warshall.hs to dist/build/tmp5842/src/full/Agda/Utils/Warshall.hs copy src/full/Agda/Version.hs to dist/build/tmp5842/src/full/Agda/Version.hs copy dist/build/autogen/Paths_Agda.hs to dist/build/tmp5842/dist/build/autogen/Paths_Agda.hs Creating dist/doc/html/Agda/ (and its parents) /usr/local/bin/haddock --use-contents=/package/Agda-2.2.2 --prologue=dist/doc/html/Agda/haddock-prolog5842.txt --dump-interface=dist/doc/html/Agda/Agda.haddock --optghc=-package-name --optghc=Agda-2.2.2 --hide=Paths_Agda --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --verbosity=1 --html --read-interface=/packages/archive/QuickCheck/2.1.0.1/doc/html,/usr/local/tmp/archive/install/share/doc/QuickCheck-2.1.0.1/html/QuickCheck.haddock --read-interface=/packages/archive/array/0.3.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/array-0.3.0.0/array.haddock --read-interface=/packages/archive/base/4.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/base-4.2.0.0/base.haddock --read-interface=/packages/archive/binary/0.5.0.2/doc/html,/usr/local/tmp/archive/install/share/doc/binary-0.5.0.2/html/binary.haddock --read-interface=/packages/archive/bytestring/0.9.1.6/doc/html,/usr/local/tmp/archive/install/share/doc/bytestring-0.9.1.6/html/bytestring.haddock --read-interface=/packages/archive/containers/0.3.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/containers-0.3.0.0/containers.haddock --read-interface=/packages/archive/directory/1.0.1.0/doc/html,/usr/local/share/doc/ghc/html/libraries/directory-1.0.1.0/directory.haddock --read-interface=/packages/archive/extensible-exceptions/0.1.1.1/doc/html,/usr/local/share/doc/ghc/html/libraries/extensible-exceptions-0.1.1.1/extensible-exceptions.haddock --read-interface=/packages/archive/filepath/1.1.0.3/doc/html,/usr/local/share/doc/ghc/html/libraries/filepath-1.1.0.3/filepath.haddock --read-interface=/packages/archive/ghc-prim/0.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/ghc-prim.haddock --read-interface=/packages/archive/haskeline/0.6.2.2/doc/html,/usr/local/tmp/archive/install/share/doc/haskeline-0.6.2.2/html/haskeline.haddock --read-interface=/packages/archive/haskell-src/1.0.1.3/doc/html,/usr/local/tmp/archive/install/share/doc/haskell-src-1.0.1.3/html/haskell-src.haddock --read-interface=/packages/archive/haskell98/1.0.1.1/doc/html,/usr/local/share/doc/ghc/html/libraries/haskell98-1.0.1.1/haskell98.haddock --read-interface=/packages/archive/integer-gmp/0.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/integer-gmp-0.2.0.0/integer-gmp.haddock --read-interface=/packages/archive/mtl/1.1.0.2/doc/html,/usr/local/tmp/archive/install/share/doc/mtl-1.1.0.2/html/mtl.haddock --read-interface=/packages/archive/old-locale/1.0.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/old-locale-1.0.0.2/old-locale.haddock --read-interface=/packages/archive/old-time/1.0.0.3/doc/html,/usr/local/share/doc/ghc/html/libraries/old-time-1.0.0.3/old-time.haddock --read-interface=/packages/archive/pretty/1.0.1.1/doc/html,/usr/local/share/doc/ghc/html/libraries/pretty-1.0.1.1/pretty.haddock --read-interface=/packages/archive/process/1.0.1.2/doc/html,/usr/local/share/doc/ghc/html/libraries/process-1.0.1.2/process.haddock --read-interface=/packages/archive/random/1.0.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/random-1.0.0.2/random.haddock --read-interface=/packages/archive/syb/0.1.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/syb-0.1.0.2/syb.haddock --read-interface=/packages/archive/terminfo/0.3.1.2/doc/html,/usr/local/tmp/archive/install/share/doc/terminfo-0.3.1.2/html/terminfo.haddock --read-interface=/packages/archive/time/1.1.4/doc/html,/usr/local/share/doc/ghc/html/libraries/time-1.1.4/time.haddock --read-interface=/packages/archive/unix/2.4.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/unix-2.4.0.0/unix.haddock --read-interface=/packages/archive/utf8-string/0.3.6/doc/html,/usr/local/tmp/archive/install/share/doc/utf8-string-0.3.6/html/utf8-string.haddock --read-interface=/packages/archive/xhtml/3000.2.0.1/doc/html,/usr/local/tmp/archive/install/share/doc/xhtml-3000.2.0.1/html/xhtml.haddock --read-interface=/packages/archive/zlib/0.5.2.0/doc/html,/usr/local/tmp/archive/install/share/doc/zlib-0.5.2.0/html/zlib.haddock --odir=dist/doc/html/Agda/ --title=Agda-2.2.2: A dependently typed functional programming language and proof assistant --optghc=-hide-all-packages --optghc=-fbuilding-cabal-package --optghc=-i --optghc=-idist/build --optghc=-isrc/full --optghc=-idist/build/autogen --optghc=-Idist/build/autogen --optghc=-Idist/build --optghc=-optP-include --optghc=-optPdist/build/autogen/cabal_macros.h --optghc=-odir --optghc=dist/build --optghc=-hidir --optghc=dist/build --optghc=-stubdir --optghc=dist/build --optghc=-package-id --optghc=QuickCheck-2.1.0.1-eb830bd441d79842f0a93d692a979945 --optghc=-package-id --optghc=array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 --optghc=-package-id --optghc=base-3.0.3.2-52acef427378232ec569bca0486ee48f --optghc=-package-id --optghc=binary-0.5.0.2-2eb6208eadfcf1aed7aaa8f59c8ebf67 --optghc=-package-id --optghc=bytestring-0.9.1.6-d34b3db941c7d38af4651530de1ab787 --optghc=-package-id --optghc=containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 --optghc=-package-id --optghc=directory-1.0.1.0-769c7c4cb13708701fa26cbaa9b7780c --optghc=-package-id --optghc=filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 --optghc=-package-id --optghc=ghc-prim-0.2.0.0-3fbcc20c802efcd7c82089ec77d92990 --optghc=-package-id --optghc=haskeline-0.6.2.2-1f1a730edb7abd6cf001d3bd8b2a0043 --optghc=-package-id --optghc=haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d --optghc=-package-id --optghc=haskell98-1.0.1.1-0fdaf3b26bc38c43ce8371edf538dbf6 --optghc=-package-id --optghc=mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 --optghc=-package-id --optghc=old-time-1.0.0.3-b53830b41b1085071f61ca7772f44e0c --optghc=-package-id --optghc=pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d --optghc=-package-id --optghc=process-1.0.1.2-8b5308cb23fbdc3c2df27e298550937f --optghc=-package-id --optghc=utf8-string-0.3.6-8ae6cb6c8e6a09935d66b8a5ce1d5935 --optghc=-package-id --optghc=xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 --optghc=-package-id --optghc=zlib-0.5.2.0-c6f13e3bddc618f39564b3fdc7571a26 --optghc=-O --optghc=-fwarn-warnings-deprecations --optghc=-fwarn-deprecated-flags --optghc=-fwarn-dodgy-foreign-imports --optghc=-auto-all --optghc=-w --optghc=-Werror --optghc=-fwarn-dodgy-imports --optghc=-fwarn-duplicate-exports --optghc=-fwarn-hi-shadowing --optghc=-fwarn-incomplete-patterns --optghc=-fwarn-missing-fields --optghc=-fwarn-missing-methods --optghc=-fwarn-overlapping-patterns -B/usr/local/lib/ghc-6.12.1 dist/build/tmp5842/src/full/Agda/Main.hs dist/build/tmp5842/src/full/Agda/Interaction/BasicOps.hs dist/build/tmp5842/src/full/Agda/Interaction/GhciTop.hs dist/build/tmp5842/src/full/Agda/Compiler/Agate/Classify.hs dist/build/tmp5842/src/full/Agda/Compiler/Agate/Common.hs dist/build/tmp5842/src/full/Agda/Compiler/Agate/Main.hs dist/build/tmp5842/src/full/Agda/Compiler/Agate/OptimizedPrinter.hs dist/build/tmp5842/src/full/Agda/Compiler/Agate/TranslateName.hs dist/build/tmp5842/src/full/Agda/Compiler/Agate/UntypedPrinter.hs dist/build/tmp5842/src/full/Agda/Compiler/Alonzo/Main.hs dist/build/tmp5842/src/full/Agda/Compiler/Alonzo/Names.hs dist/build/tmp5842/src/full/Agda/Compiler/Alonzo/Haskell.hs dist/build/tmp5842/src/full/Agda/Compiler/Alonzo/PatternMonad.hs dist/build/tmp5842/src/full/Agda/Compiler/HaskellTypes.hs dist/build/tmp5842/src/full/Agda/Compiler/MAlonzo/Compiler.hs dist/build/tmp5842/src/full/Agda/Compiler/MAlonzo/Encode.hs dist/build/tmp5842/src/full/Agda/Compiler/MAlonzo/Misc.hs dist/build/tmp5842/src/full/Agda/Compiler/MAlonzo/Pretty.hs dist/build/tmp5842/src/full/Agda/Compiler/MAlonzo/Primitives.hs dist/build/tmp5842/src/full/Agda/Interaction/CommandLine/CommandLine.hs dist/build/tmp5842/src/full/Agda/Interaction/Exceptions.hs dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/Emacs.hs dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/Generate.hs dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/HTML.hs dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/Precise.hs dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/Range.hs dist/build/tmp5842/src/full/Agda/Interaction/Highlighting/Vim.hs dist/build/tmp5842/src/full/Agda/Interaction/Imports.hs dist/build/tmp5842/src/full/Agda/Interaction/MakeCase.hs dist/build/tmp5842/src/full/Agda/Interaction/Monad.hs dist/build/tmp5842/src/full/Agda/Interaction/Options.hs dist/build/tmp5842/src/full/Agda/Syntax/Abstract/Name.hs dist/build/tmp5842/src/full/Agda/Syntax/Abstract/Pretty.hs dist/build/tmp5842/src/full/Agda/Syntax/Abstract/Views.hs dist/build/tmp5842/src/full/Agda/Syntax/Abstract.hs dist/build/tmp5842/src/full/Agda/Syntax/Common.hs dist/build/tmp5842/src/full/Agda/Syntax/Concrete/Definitions.hs dist/build/tmp5842/src/full/Agda/Syntax/Concrete/Name.hs dist/build/tmp5842/src/full/Agda/Syntax/Concrete/Operators/Parser.hs dist/build/tmp5842/src/full/Agda/Syntax/Concrete/Operators.hs dist/build/tmp5842/src/full/Agda/Syntax/Concrete/Pretty.hs dist/build/tmp5842/src/full/Agda/Syntax/Concrete.hs dist/build/tmp5842/src/full/Agda/Syntax/Fixity.hs dist/build/tmp5842/src/full/Agda/Syntax/Info.hs dist/build/tmp5842/src/full/Agda/Syntax/Internal.hs dist/build/tmp5842/src/full/Agda/Syntax/Internal/Generic.hs dist/build/tmp5842/src/full/Agda/Syntax/Internal/Pattern.hs dist/build/tmp5842/src/full/Agda/Syntax/Literal.hs dist/build/tmp5842/src/full/Agda/Syntax/Parser/Alex.hs dist/build/tmp5842/src/full/Agda/Syntax/Parser/Comments.hs dist/build/tmp5842/src/full/Agda/Syntax/Parser/Layout.hs dist/build/tmp5842/src/full/Agda/Syntax/Parser/LexActions.hs dist/build/tmp5842/dist/build/Agda/Syntax/Parser/Lexer.hs dist/build/tmp5842/src/full/Agda/Syntax/Parser/LookAhead.hs dist/build/tmp5842/src/full/Agda/Syntax/Parser/Monad.hs dist/build/tmp5842/dist/build/Agda/Syntax/Parser/Parser.hs dist/build/tmp5842/src/full/Agda/Syntax/Parser/StringLiterals.hs dist/build/tmp5842/src/full/Agda/Syntax/Parser/Tokens.hs dist/build/tmp5842/src/full/Agda/Syntax/Parser.hs dist/build/tmp5842/src/full/Agda/Syntax/Position.hs dist/build/tmp5842/src/full/Agda/Syntax/Scope/Base.hs dist/build/tmp5842/src/full/Agda/Syntax/Scope/Monad.hs dist/build/tmp5842/src/full/Agda/Syntax/Strict.hs dist/build/tmp5842/src/full/Agda/Syntax/Translation/AbstractToConcrete.hs dist/build/tmp5842/src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs dist/build/tmp5842/src/full/Agda/Syntax/Translation/InternalToAbstract.hs dist/build/tmp5842/src/full/Agda/Termination/CallGraph.hs dist/build/tmp5842/src/full/Agda/Termination/Lexicographic.hs dist/build/tmp5842/src/full/Agda/Termination/Matrix.hs dist/build/tmp5842/src/full/Agda/Termination/Semiring.hs dist/build/tmp5842/src/full/Agda/Termination/TermCheck.hs dist/build/tmp5842/src/full/Agda/Termination/Termination.hs dist/build/tmp5842/src/full/Agda/Tests.hs dist/build/tmp5842/src/full/Agda/TypeChecker.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Abstract.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Constraints.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Conversion.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Coverage.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Coverage/Match.hs dist/build/tmp5842/src/full/Agda/TypeChecking/DisplayForm.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Empty.hs dist/build/tmp5842/src/full/Agda/TypeChecking/EtaContract.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Errors.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Free.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Implicit.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Injectivity.hs dist/build/tmp5842/src/full/Agda/TypeChecking/MetaVars.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Base.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Builtin.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Closure.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Constraints.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Context.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Debug.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Env.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Exception.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Imports.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/MetaVars.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Mutual.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Open.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Options.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Signature.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/SizedTypes.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/State.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Statistics.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad/Trace.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Monad.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Patterns/Match.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Polarity.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Positivity.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Pretty.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Primitive.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rebind.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Records.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Reduce.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Builtin.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Data.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Decl.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Def.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS/Problem.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS/Split.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/LHS/Unify.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Record.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Rules/Term.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Serialise.hs dist/build/tmp5842/src/full/Agda/TypeChecking/SizedTypes.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Substitute.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Telescope.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Test/Generators.hs dist/build/tmp5842/src/full/Agda/TypeChecking/Tests.hs dist/build/tmp5842/src/full/Agda/TypeChecking/With.hs dist/build/tmp5842/src/full/Agda/Utils/Char.hs dist/build/tmp5842/src/full/Agda/Utils/Either.hs dist/build/tmp5842/src/full/Agda/Utils/FileName.hs dist/build/tmp5842/src/full/Agda/Utils/Fresh.hs dist/build/tmp5842/src/full/Agda/Utils/Function.hs dist/build/tmp5842/src/full/Agda/Utils/Generics.hs dist/build/tmp5842/src/full/Agda/Utils/Graph.hs dist/build/tmp5842/src/full/Agda/Utils/Hash.hs dist/build/tmp5842/src/full/Agda/Utils/Impossible.hs dist/build/tmp5842/src/full/Agda/Utils/IO.hs dist/build/tmp5842/src/full/Agda/Utils/List.hs dist/build/tmp5842/src/full/Agda/Utils/Map.hs dist/build/tmp5842/src/full/Agda/Utils/Maybe.hs dist/build/tmp5842/src/full/Agda/Utils/Monad/Undo.hs dist/build/tmp5842/src/full/Agda/Utils/Monad.hs dist/build/tmp5842/src/full/Agda/Utils/Permutation.hs dist/build/tmp5842/src/full/Agda/Utils/Pointer.hs dist/build/tmp5842/src/full/Agda/Utils/Pretty.hs dist/build/tmp5842/src/full/Agda/Utils/QuickCheck.hs dist/build/tmp5842/src/full/Agda/Utils/ReadP.hs dist/build/tmp5842/src/full/Agda/Utils/SemiRing.hs dist/build/tmp5842/src/full/Agda/Utils/Serialise.hs dist/build/tmp5842/src/full/Agda/Utils/Size.hs dist/build/tmp5842/src/full/Agda/Utils/String.hs dist/build/tmp5842/src/full/Agda/Utils/Suffix.hs dist/build/tmp5842/src/full/Agda/Utils/TestHelpers.hs dist/build/tmp5842/src/full/Agda/Utils/Trace.hs dist/build/tmp5842/src/full/Agda/Utils/Trie.hs dist/build/tmp5842/src/full/Agda/Utils/Tuple.hs dist/build/tmp5842/src/full/Agda/Utils/Unicode.hs dist/build/tmp5842/src/full/Agda/Utils/Warshall.hs dist/build/tmp5842/src/full/Agda/Version.hs dist/build/tmp5842/dist/build/autogen/Paths_Agda.hs dist/build/tmp5842/src/full/Agda/Main.hs:62:0: error: undefined.h: No such file or directory *** Trying again with preferred-versions *** setup configure Configuring Agda-2.2.2... cabal-setup: At least the following dependencies are missing: QuickCheck ==2.1.0.1 && <2