API tools faq
paste
Advertisement
Guest User

Cabal install agda error

a guest
Jul 18th, 2014
228
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 9.31 KB | None | 0 0
raw download clone embed print report
  1. # cabal install agda
  2. Resolving dependencies...
  3. [1 of 1] Compiling Main ( /tmp/Agda-2.4.0.1-2582/Agda-2.4.0.1/Setup.hs, /tmp/Agda-2.4.0.1-2582/Agda-2.4.0.1/dist/setup/Main.o )
  4. Linking /tmp/Agda-2.4.0.1-2582/Agda-2.4.0.1/dist/setup/setup ...
  5. Configuring Agda-2.4.0.1...
  6. Building Agda-2.4.0.1...
  7. Preprocessing library Agda-2.4.0.1...
  8. [ 1 of 272] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist/build/Agda/Utils/Maybe/Strict.o )
  9. [ 2 of 272] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist/build/Agda/Utils/SemiRing.o )
  10. [ 3 of 272] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist/build/Agda/TypeChecking/Monad/Debug.o )
  11. [ 4 of 272] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist/build/Agda/Utils/Cluster.o )
  12. Loading package ghc-prim ... linking ... done.
  13. Loading package integer-gmp ... linking ... done.
  14. Loading package base ... linking ... done.
  15. Loading package array-0.4.0.1 ... linking ... done.
  16. Loading package deepseq-1.3.0.1 ... linking ... done.
  17. Loading package bytestring-0.10.0.2 ... linking ... done.
  18. Loading package zlib-0.5.4.1 ... linking ... done.
  19. Loading package xhtml-3000.2.1 ... linking ... done.
  20. Loading package text-0.11.3.1 ... linking ... done.
  21. Loading package hashable-1.2.1.0 ... linking ... done.
  22. Loading package unordered-containers-0.2.3.0 ... linking ... done.
  23. Loading package strict-0.3.2 ... linking ... done.
  24. Loading package filepath-1.3.0.1 ... linking ... done.
  25. Loading package old-locale-1.0.0.5 ... linking ... done.
  26. Loading package time-1.4.0.1 ... linking ... done.
  27. Loading package unix-2.6.0.1 ... linking ... done.
  28. Loading package directory-1.2.0.1 ... linking ... done.
  29. Loading package process-1.1.0.2 ... linking ... done.
  30. Loading package containers-0.5.0.0 ... linking ... done.
  31. Loading package parallel-3.2.0.3 ... linking ... done.
  32. Loading package old-time-1.1.0.1 ... linking ... done.
  33. Loading package polyparse-1.9 ... linking ... done.
  34. Loading package cpphs-1.18.5 ... linking ... done.
  35. Loading package pretty-1.1.1.0 ... linking ... done.
  36. Loading package haskell-src-exts-1.15.0.1 ... linking ... done.
  37. Loading package terminfo-0.4.0.0 ... linking ... done.
  38. Loading package transformers-0.3.0.0 ... linking ... done.
  39. Loading package haskeline-0.7.1.3 ... linking ... done.
  40. Loading package primitive-0.5.0.1 ... linking ... done.
  41. Loading package vector-0.10.0.1 ... linking ... done.
  42. Loading package hashtables-1.1.2.1 ... linking ... done.
  43. Loading package mtl-2.1.2 ... linking ... done.
  44. Loading package template-haskell ... linking ... done.
  45. Loading package geniplate-0.6.0.4 ... linking ... done.
  46. Loading package STMonadTrans-0.3.2 ... linking ... done.
  47. Loading package equivalence-0.2.3 ... linking ... done.
  48. Loading package data-hash-0.2.0.0 ... linking ... done.
  49. Loading package split-0.2.2 ... linking ... done.
  50. Loading package boxes-0.1.3 ... linking ... done.
  51. Loading package binary-0.7.2.1 ... linking ... done.
  52. Loading package random-1.0.1.1 ... linking ... done.
  53. Loading package tf-random-0.5 ... linking ... done.
  54. Loading package QuickCheck-2.7.6 ... linking ... done.
  55. [ 5 of 272] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist/build/Agda/Utils/BiMap.o )
  56. [ 6 of 272] Compiling Agda.Utils.Pointed ( src/full/Agda/Utils/Pointed.hs, dist/build/Agda/Utils/Pointed.o )
  57. [ 7 of 272] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist/build/Agda/Utils/VarSet.o )
  58. [ 8 of 272] Compiling Agda.Utils.Char ( src/full/Agda/Utils/Char.hs, dist/build/Agda/Utils/Char.o )
  59. [ 9 of 272] Compiling Agda.Utils.Unicode ( src/full/Agda/Utils/Unicode.hs, dist/build/Agda/Utils/Unicode.o )
  60. [ 10 of 272] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist/build/Agda/Utils/Pointer.o )
  61. [ 11 of 272] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist/build/Agda/Utils/Functor.o )
  62. [ 12 of 272] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist/build/Agda/Termination/CutOff.o )
  63. [ 13 of 272] Compiling Agda.Utils.Fresh ( src/full/Agda/Utils/Fresh.hs, dist/build/Agda/Utils/Fresh.o )
  64. [ 14 of 272] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist/build/Agda/Utils/IO/Binary.o )
  65. [ 15 of 272] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist/build/Agda/Utils/Tuple.o )
  66. [ 16 of 272] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist/build/Agda/Utils/Update.o )
  67. [ 17 of 272] Compiling Agda.Packaging.Types ( src/full/Agda/Packaging/Types.hs, dist/build/Agda/Packaging/Types.o )
  68. [ 18 of 272] Compiling Agda.Packaging.Monad ( src/full/Agda/Packaging/Monad.hs, dist/build/Agda/Packaging/Monad.o )
  69. [ 19 of 272] Compiling Agda.Packaging.Database ( src/full/Agda/Packaging/Database.hs, dist/build/Agda/Packaging/Database.o )
  70. [ 20 of 272] Compiling Agda.Packaging.Config ( src/full/Agda/Packaging/Config.hs, dist/build/Agda/Packaging/Config.o )
  71. [ 21 of 272] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist/build/Agda/Utils/TestHelpers.o )
  72. [ 22 of 272] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist/build/Agda/Utils/QuickCheck.o )
  73. [ 23 of 272] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist/build/Agda/Termination/Semiring.o )
  74. [ 24 of 272] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist/build/Agda/Utils/PartialOrd.o )
  75. [ 25 of 272] Compiling Agda.Utils.ReadP ( src/full/Agda/Utils/ReadP.hs, dist/build/Agda/Utils/ReadP.o )
  76. [ 26 of 272] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist/build/Agda/Utils/IO/UTF8.o )
  77. [ 27 of 272] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist/build/Agda/Utils/Function.o )
  78. [ 28 of 272] Compiling Agda.Utils.Graph.AdjacencyMap ( src/full/Agda/Utils/Graph/AdjacencyMap.hs, dist/build/Agda/Utils/Graph/AdjacencyMap.o )
  79. [ 29 of 272] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist/build/Agda/TypeChecking/SizedTypes/Utils.o )
  80. [ 30 of 272] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist/build/Agda/TypeChecking/SizedTypes/Syntax.o )
  81. [ 31 of 272] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist/build/Agda/TypeChecking/Monad/Base.o-boot )
  82. [ 32 of 272] Compiling Paths_Agda ( dist/build/autogen/Paths_Agda.hs, dist/build/Paths_Agda.o )
  83. [ 33 of 272] Compiling Agda.Utils.Time ( src/full/Agda/Utils/Time.hs, dist/build/Agda/Utils/Time.o )
  84. [ 34 of 272] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist/build/Agda/Utils/HashMap.o )
  85. [ 35 of 272] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist/build/Agda/Interaction/Response.o-boot )
  86. [ 36 of 272] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist/build/Agda/Utils/String.o )
  87. [ 37 of 272] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist/build/Agda/Utils/Size.o )
  88. [ 38 of 272] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist/build/Agda/Utils/Pretty.o )
  89. [ 39 of 272] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist/build/Agda/Interaction/EmacsCommand.o )
  90. [ 40 of 272] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist/build/Agda/Utils/Maybe.o )
  91. [ 41 of 272] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist/build/Agda/Utils/Impossible.o )
  92. [ 42 of 272] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist/build/Agda/ImpossibleTest.o )
  93. [ 43 of 272] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.o )
  94. [ 44 of 272] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o )
  95. [ 45 of 272] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist/build/Agda/Utils/Permutation.o )
  96. [ 46 of 272] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o )
  97. [ 47 of 272] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist/build/Agda/Syntax/Position.o )
  98.  
  99. src/full/Agda/Syntax/Position.hs:495:35:
  100. Could not deduce (Num (NonNegative Integer))
  101. arising from a use of `arbitrary'
  102. from the context (Arbitrary a)
  103. bound by the instance declaration
  104. at src/full/Agda/Syntax/Position.hs:492:10-47
  105. Possible fix:
  106. add an instance declaration for (Num (NonNegative Integer))
  107. In a stmt of a 'do' block: NonZero (NonNegative pos') <- arbitrary
  108. In the expression:
  109. do { srcFile <- arbitrary;
  110. NonZero (NonNegative pos') <- arbitrary;
  111. let pos = fromInteger pos'
  112. line = pred pos `div` 10 + 1
  113. ....;
  114. return
  115. (Pn
  116. {srcFile = srcFile, posPos = pos, posLine = line, posCol = col}) }
  117. In an equation for `arbitrary':
  118. arbitrary
  119. = do { srcFile <- arbitrary;
  120. NonZero (NonNegative pos') <- arbitrary;
  121. let pos = ...
  122. ....;
  123. .... }
  124. Failed to install Agda-2.4.0.1
  125. cabal: Error: some packages failed to install:
  126. Agda-2.4.0.1 failed during the building phase. The exception was:
  127. ExitFailure 1
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!