API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jan 28th, 2020
96
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 12.45 KB | None | 0 0
raw download clone embed print report
  1. aryzach@galliumos:~$ agda -c hello-world.agda
  2. Loading Agda.Builtin.Equality (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality.agdai).
  3. Loading Agda.Builtin.Unit (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agdai).
  4. Loading Data.Unit.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Unit/Base.agdai).
  5. Loading Level (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Level.agdai).
  6. Loading Data.Empty (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Empty.agdai).
  7. Loading Data.Empty.Irrelevant (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Empty/Irrelevant.agdai).
  8. Loading Relation.Nullary (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Nullary.agdai).
  9. Loading Agda.Builtin.Bool (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdai).
  10. Loading Agda.Builtin.Strict (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Strict.agdai).
  11. Loading Strict (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Strict.agdai).
  12. Loading Function (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function.agdai).
  13. Loading Data.Product (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Product.agdai).
  14. Loading Relation.Binary.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Core.agdai).
  15. Loading Data.Bool.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Bool/Base.agdai).
  16. Loading Data.Maybe.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Maybe/Base.agdai).
  17. Loading Data.Sum (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Sum.agdai).
  18. Loading Relation.Binary.Consequences.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Consequences/Core.agdai).
  19. Loading Relation.Binary.PropositionalEquality.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PropositionalEquality/Core.agdai).
  20. Loading Relation.Binary.Consequences (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Consequences.agdai).
  21. Loading Relation.Binary.Indexed.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Indexed/Core.agdai).
  22. Loading Relation.Binary (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary.agdai).
  23. Loading Relation.Binary.On (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/On.agdai).
  24. Loading Relation.Binary.HeterogeneousEquality.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/HeterogeneousEquality/Core.agdai).
  25. Loading Relation.Unary (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Unary.agdai).
  26. Loading Relation.Binary.Indexed (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Indexed.agdai).
  27. Loading Function.Equality (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Equality.agdai).
  28. Loading Relation.Binary.PropositionalEquality (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PropositionalEquality.agdai).
  29. Loading Function.Equivalence (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Equivalence.agdai).
  30. Loading Function.Injection (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Injection.agdai).
  31. Loading Relation.Binary.PreorderReasoning (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PreorderReasoning.agdai).
  32. Loading Relation.Binary.EqReasoning (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/EqReasoning.agdai).
  33. Loading Function.LeftInverse (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/LeftInverse.agdai).
  34. Loading Function.Surjection (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Surjection.agdai).
  35. Loading Function.Bijection (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Bijection.agdai).
  36. Loading Function.Inverse (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Function/Inverse.agdai).
  37. Loading Algebra.FunctionProperties.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/FunctionProperties/Core.agdai).
  38. Loading Algebra.FunctionProperties (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/FunctionProperties.agdai).
  39. Loading Algebra.FunctionProperties.Consequences (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/FunctionProperties/Consequences.agdai).
  40. Loading Algebra.Structures (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Structures.agdai).
  41. Loading Algebra (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra.agdai).
  42. Loading Algebra.Properties.Group (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/Group.agdai).
  43. Loading Algebra.Properties.AbelianGroup (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/AbelianGroup.agdai).
  44. Loading Algebra.Morphism (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Morphism.agdai).
  45. Loading Algebra.Properties.Ring (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/Ring.agdai).
  46. Loading Algebra.RingSolver.AlmostCommutativeRing (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver/AlmostCommutativeRing.agdai).
  47. Loading Algebra.RingSolver.Lemmas (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver/Lemmas.agdai).
  48. Loading Data.Unit (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Unit.agdai).
  49. Loading Relation.Nullary.Decidable (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Nullary/Decidable.agdai).
  50. Loading Agda.Builtin.Nat (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdai).
  51. Loading Agda.Builtin.TrustMe (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/TrustMe.agdai).
  52. Loading Relation.Binary.PropositionalEquality.TrustMe (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PropositionalEquality/TrustMe.agdai).
  53. Loading Data.Nat.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Nat/Base.agdai).
  54. Loading Data.Nat (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Nat.agdai).
  55. Loading Data.Fin (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Fin.agdai).
  56. Loading Agda.Builtin.List (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agdai).
  57. Loading Data.List.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Base.agdai).
  58. Loading Data.Vec (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Vec.agdai).
  59. Loading Data.Vec.N-ary (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Vec/N-ary.agdai).
  60. Loading Relation.Binary.Reflection (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Reflection.agdai).
  61. Loading Algebra.Operations (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Operations.agdai).
  62. Loading Algebra.RingSolver (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver.agdai).
  63. Loading Algebra.RingSolver.Simple (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/RingSolver/Simple.agdai).
  64. Loading Category.Functor (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Functor.agdai).
  65. Loading Category.Applicative.Indexed (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Applicative/Indexed.agdai).
  66. Loading Category.Monad.Indexed (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Monad/Indexed.agdai).
  67. Loading Category.Monad (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Category/Monad.agdai).
  68. Loading Relation.Nullary.Negation (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Nullary/Negation.agdai).
  69. Loading Relation.Binary.PartialOrderReasoning (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/PartialOrderReasoning.agdai).
  70. Loading Data.Nat.Properties (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Nat/Properties.agdai).
  71. Loading Data.List (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List.agdai).
  72. Loading Data.Bool (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Bool.agdai).
  73. Loading Relation.Binary.Lattice (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/Lattice.agdai).
  74. Loading Algebra.Properties.Lattice (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/Lattice.agdai).
  75. Loading Algebra.Properties.DistributiveLattice (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/DistributiveLattice.agdai).
  76. Loading Algebra.Properties.BooleanAlgebra (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Algebra/Properties/BooleanAlgebra.agdai).
  77. Loading Data.Bool.Properties (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Bool/Properties.agdai).
  78. Loading Data.List.NonEmpty (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/NonEmpty.agdai).
  79. Loading Data.BoundedVec.Inefficient (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/BoundedVec/Inefficient.agdai).
  80. Loading Agda.Builtin.Coinduction (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agdai).
  81. Loading Coinduction (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Coinduction.agdai).
  82. Loading Data.Conat (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Conat.agdai).
  83. Loading Relation.Binary.InducedPreorders (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Relation/Binary/InducedPreorders.agdai).
  84. Loading Data.Colist (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Colist.agdai).
  85. Loading Data.List.Relation.Pointwise (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Relation/Pointwise.agdai).
  86. Loading Data.List.Relation.Lex.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Relation/Lex/Core.agdai).
  87. Loading Data.List.Relation.Lex.Strict (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/List/Relation/Lex/Strict.agdai).
  88. Loading Agda.Builtin.Char (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agdai).
  89. Loading Data.Char.Core (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Char/Core.agdai).
  90. Loading Agda.Builtin.String (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agdai).
  91. Loading Data.String.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/String/Base.agdai).
  92. Loading Data.Char.Base (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Char/Base.agdai).
  93. Loading Data.Char (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/Char.agdai).
  94. Loading Data.String (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Data/String.agdai).
  95. Loading Foreign.Haskell (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/Foreign/Haskell.agdai).
  96. Loading Agda.Builtin.IO (/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agdai).
  97. Loading IO.Primitive (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/IO/Primitive.agdai).
  98. Loading IO (/home/aryzach/.agda/all-libraries/agda-stdlib-0.15/src/IO.agdai).
  99. Loading hello-world (/home/aryzach/hello-world.agdai).
  100. Calling: ghc -O -o /home/aryzach/hello-world -Werror -i/home/aryzach -main-is MAlonzo.Code.QhelloZ45Zworld /home/aryzach/MAlonzo/Code/QhelloZ45Zworld.hs --make -fwarn-incomplete-patterns -fno-warn-overlapping-patterns
  101. Compilation error:
  102.  
  103. Data/Char.hs:4:8: error:
  104. File name does not match module name:
  105. Saw: ‘MAlonzo.Code.Data.Char’
  106. Expected: ‘Data.Char’
  107.  
  108. aryzach@galliumos:~$ ls
  109. Agda Category Desktop Foreign hello-world.agda IO.hs Music Pictures Relation Videos
  110. Algebra Coinduction.hs Documents Function hello-world.agdai Level.hs ncurses-6.1 Public Strict.hs
  111. Algebra.hs Data Downloads Function.hs IO MAlonzo ncurses-6.1.tar.gz QhelloZ45Zworld.hs Templates
  112. aryzach@galliumos:~$ cd /usr/share/libghc-agda-dev/
  113. aryzach@galliumos:/usr/share/libghc-agda-dev$ ls
  114. Agda.css lib MAlonzo
  115. aryzach@galliumos:/usr/share/libghc-agda-dev$
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!