API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Aug 17th, 2022
24
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 172.39 KB | None | 0 0
raw download clone embed print report
  1. ```
  2. Finished: ModuleName.GetParsedModule Took: 0.01s
  3. Finished: eval.GetParsedModuleWithComments Took: 0.02s
  4. Finished: ModuleName.GetParsedModule Took: 0.00s
  5. Finished: eval.GetParsedModuleWithComments Took: 0.01s
  6. Finished: eval.GetParsedModuleWithComments Took: 0.02s
  7. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 13, _character = 0}, _end = Position {_line = 13, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 21, _character = 0}, _end = Position {_line = 21, _character = 92}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a distribution. Its sole party is also known as the \\\"publisher\\\".\"}),(Range {_start = Position {_line = 29, _character = 0}, _end = Position {_line = 29, _character = 111}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a subscription to a distribution. Its sole party is also known as the \\\"subscriber\\\".\"}),(Range {_start = Position {_line = 37, _character = 0}, _end = Position {_line = 37, _character = 23}},RawLineComment {getRawLineComment = \"-- * Monetary unit data\"}),(Range {_start = Position {_line = 39, _character = 0}, _end = Position {_line = 39, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution publisher data.\"}),(Range {_start = Position {_line = 51, _character = 0}, _end = Position {_line = 51, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution subcriber data.\"}),(Range {_start = Position {_line = 52, _character = 0}, _end = Position {_line = 52, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 53, _character = 0}, _end = Position {_line = 53, _character = 75}},RawLineComment {getRawLineComment = \"-- Note: The contracts are the subscriber data. It is not storage-scalable.\"}),(Range {_start = Position {_line = 66, _character = 0}, _end = Position {_line = 66, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  8. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 13, _character = 0}, _end = Position {_line = 13, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 21, _character = 0}, _end = Position {_line = 21, _character = 92}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a distribution. Its sole party is also known as the \\\"publisher\\\".\"}),(Range {_start = Position {_line = 29, _character = 0}, _end = Position {_line = 29, _character = 111}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a subscription to a distribution. Its sole party is also known as the \\\"subscriber\\\".\"}),(Range {_start = Position {_line = 37, _character = 0}, _end = Position {_line = 37, _character = 23}},RawLineComment {getRawLineComment = \"-- * Monetary unit data\"}),(Range {_start = Position {_line = 39, _character = 0}, _end = Position {_line = 39, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution publisher data.\"}),(Range {_start = Position {_line = 51, _character = 0}, _end = Position {_line = 51, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution subcriber data.\"}),(Range {_start = Position {_line = 52, _character = 0}, _end = Position {_line = 52, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 53, _character = 0}, _end = Position {_line = 53, _character = 75}},RawLineComment {getRawLineComment = \"-- Note: The contracts are the subscriber data. It is not storage-scalable.\"}),(Range {_start = Position {_line = 66, _character = 0}, _end = Position {_line = 66, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  9. Finished: eval.GetParsedModuleWithComments Took: 0.01s
  10. Finished: Hlint.GetModSummary Took: 0.01s
  11. Finished: Hlint.GetModSummary Took: 0.01s
  12. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 13, _character = 0}, _end = Position {_line = 13, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 21, _character = 0}, _end = Position {_line = 21, _character = 92}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a distribution. Its sole party is also known as the \\\"publisher\\\".\"}),(Range {_start = Position {_line = 29, _character = 0}, _end = Position {_line = 29, _character = 111}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a subscription to a distribution. Its sole party is also known as the \\\"subscriber\\\".\"}),(Range {_start = Position {_line = 37, _character = 0}, _end = Position {_line = 37, _character = 23}},RawLineComment {getRawLineComment = \"-- * Monetary unit data\"}),(Range {_start = Position {_line = 39, _character = 0}, _end = Position {_line = 39, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution publisher data.\"}),(Range {_start = Position {_line = 51, _character = 0}, _end = Position {_line = 51, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution subcriber data.\"}),(Range {_start = Position {_line = 52, _character = 0}, _end = Position {_line = 52, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 53, _character = 0}, _end = Position {_line = 53, _character = 75}},RawLineComment {getRawLineComment = \"-- Note: The contracts are the subscriber data. It is not storage-scalable.\"}),(Range {_start = Position {_line = 66, _character = 0}, _end = Position {_line = 66, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  13. Finished: alternateNumberFormat.CollectLiterals Took: 0.01s
  14. Finished: codeLens.GhcSession Took: 0.00s
  15. Finished: GhcideCodeActions.getParsedModule Took: 0.00s
  16. Finished: ModuleName.ghcSession Took: 0.00s
  17. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 13, _character = 0}, _end = Position {_line = 13, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 21, _character = 0}, _end = Position {_line = 21, _character = 92}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a distribution. Its sole party is also known as the \\\"publisher\\\".\"}),(Range {_start = Position {_line = 29, _character = 0}, _end = Position {_line = 29, _character = 111}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a subscription to a distribution. Its sole party is also known as the \\\"subscriber\\\".\"}),(Range {_start = Position {_line = 37, _character = 0}, _end = Position {_line = 37, _character = 23}},RawLineComment {getRawLineComment = \"-- * Monetary unit data\"}),(Range {_start = Position {_line = 39, _character = 0}, _end = Position {_line = 39, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution publisher data.\"}),(Range {_start = Position {_line = 51, _character = 0}, _end = Position {_line = 51, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution subcriber data.\"}),(Range {_start = Position {_line = 52, _character = 0}, _end = Position {_line = 52, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 53, _character = 0}, _end = Position {_line = 53, _character = 75}},RawLineComment {getRawLineComment = \"-- Note: The contracts are the subscriber data. It is not storage-scalable.\"}),(Range {_start = Position {_line = 66, _character = 0}, _end = Position {_line = 66, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  18. Using extensions for NormalizedFilePath "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/TestTypes.hs": [ MonomorphismRestriction
  19. , MonoLocalBinds
  20. , RelaxedPolyRec
  21. , ForeignFunctionInterface
  22. , ImplicitPrelude
  23. , ScopedTypeVariables
  24. , BangPatterns
  25. , TypeFamilies
  26. , RecordPuns
  27. , GADTSyntax
  28. , DoAndIfThenElse
  29. , ConstraintKinds
  30. , PolyKinds
  31. , InstanceSigs
  32. , StandaloneDeriving
  33. , DeriveDataTypeable
  34. , DeriveFunctor
  35. , DeriveTraversable
  36. , DeriveFoldable
  37. , DeriveGeneric
  38. , DeriveLift
  39. , DerivingStrategies
  40. , DerivingVia
  41. , TypeSynonymInstances
  42. , FlexibleContexts
  43. , FlexibleInstances
  44. , ConstrainedClassMethods
  45. , MultiParamTypeClasses
  46. , ExistentialQuantification
  47. , EmptyDataDecls
  48. , KindSignatures
  49. , GeneralizedNewtypeDeriving
  50. , PostfixOperators
  51. , TupleSections
  52. , PatternGuards
  53. , RankNTypes
  54. , TypeOperators
  55. , ExplicitNamespaces
  56. , ExplicitForAll
  57. , TraditionalRecordSyntax
  58. , BinaryLiterals
  59. , HexFloatLiterals
  60. , EmptyCase
  61. , NamedWildCards
  62. , TypeApplications
  63. , EmptyDataDeriving
  64. , NumericUnderscores
  65. , StarIsType
  66. , ImportQualifiedPost
  67. , StandaloneKindSignatures
  68. , FieldSelectors ]
  69. Finished: RefineImports Took: 0.02s
  70. Finished: ModuleName.ghcSession Took: 0.00s
  71. Finished: importLens Took: 0.09s
  72. Finished: ModuleName.ghcSession Took: 0.09s
  73. Finished: codeLens.GhcSession Took: 0.09s
  74. Finished: ModuleName.ghcSession Took: 0.09s
  75. Finished: codeLens.GhcSession Took: 0.09s
  76. Using extensions for NormalizedFilePath "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/ConstantFlowDistributionAgreement.hs": [ MonomorphismRestriction
  77. , MonoLocalBinds
  78. , RelaxedPolyRec
  79. , ForeignFunctionInterface
  80. , TemplateHaskell
  81. , TemplateHaskellQuotes
  82. , ImplicitPrelude
  83. , ScopedTypeVariables
  84. , BangPatterns
  85. , TypeFamilies
  86. , RecordPuns
  87. , GADTSyntax
  88. , DoAndIfThenElse
  89. , ConstraintKinds
  90. , PolyKinds
  91. , InstanceSigs
  92. , StandaloneDeriving
  93. , DeriveDataTypeable
  94. , DeriveFunctor
  95. , DeriveTraversable
  96. , DeriveFoldable
  97. , DeriveGeneric
  98. , DeriveAnyClass
  99. , DeriveLift
  100. , DerivingStrategies
  101. , DerivingVia
  102. , TypeSynonymInstances
  103. , FlexibleContexts
  104. , FlexibleInstances
  105. , ConstrainedClassMethods
  106. , MultiParamTypeClasses
  107. , ExistentialQuantification
  108. , EmptyDataDecls
  109. , KindSignatures
  110. , GeneralizedNewtypeDeriving
  111. , PostfixOperators
  112. , TupleSections
  113. , PatternGuards
  114. , RankNTypes
  115. , TypeOperators
  116. , ExplicitNamespaces
  117. , ExplicitForAll
  118. , TraditionalRecordSyntax
  119. , BinaryLiterals
  120. , HexFloatLiterals
  121. , EmptyCase
  122. , NamedWildCards
  123. , TypeApplications
  124. , EmptyDataDeriving
  125. , NumericUnderscores
  126. , StarIsType
  127. , ImportQualifiedPost
  128. , StandaloneKindSignatures
  129. , FieldSelectors ]
  130. Finished: GADT.GetParsedModuleWithComments Took: 0.08s
  131. Finished: codeLens.GhcSession Took: 0.00s
  132. Finished: eval.GetParsedModuleWithComments Took: 0.10s
  133. Finished: codeLens.GhcSession Took: 0.00s
  134. Finished: eval.GetParsedModuleWithComments Took: 0.08s
  135. Finished: ModuleName.ghcSession Took: 0.00s
  136. Finished: ModuleName.GetParsedModule Took: 0.09s
  137. Finished: ModuleName.GetParsedModule Took: 0.09s
  138. Finished: ModuleName.GetParsedModule Took: 0.09s
  139. Finished: Hlint.GetModSummary Took: 0.00s
  140. Using extensions for NormalizedFilePath "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs": [ MonomorphismRestriction
  141. , MonoLocalBinds
  142. , RelaxedPolyRec
  143. , ForeignFunctionInterface
  144. , ImplicitPrelude
  145. , ScopedTypeVariables
  146. , BangPatterns
  147. , RecordPuns
  148. , GADTSyntax
  149. , DoAndIfThenElse
  150. , ConstraintKinds
  151. , PolyKinds
  152. , InstanceSigs
  153. , StandaloneDeriving
  154. , DeriveDataTypeable
  155. , DeriveFunctor
  156. , DeriveTraversable
  157. , DeriveFoldable
  158. , DeriveGeneric
  159. , DeriveLift
  160. , TypeSynonymInstances
  161. , FlexibleContexts
  162. , FlexibleInstances
  163. , ConstrainedClassMethods
  164. , MultiParamTypeClasses
  165. , ExistentialQuantification
  166. , EmptyDataDecls
  167. , KindSignatures
  168. , GeneralizedNewtypeDeriving
  169. , PostfixOperators
  170. , TupleSections
  171. , PatternGuards
  172. , RankNTypes
  173. , ImpredicativeTypes
  174. , TypeOperators
  175. , ExplicitForAll
  176. , TraditionalRecordSyntax
  177. , BinaryLiterals
  178. , HexFloatLiterals
  179. , EmptyCase
  180. , NamedWildCards
  181. , TypeApplications
  182. , EmptyDataDeriving
  183. , NumericUnderscores
  184. , StarIsType
  185. , ImportQualifiedPost
  186. , StandaloneKindSignatures
  187. , FieldSelectors ]
  188. Finished: codeLens.GhcSession Took: 0.00s
  189. Finished: Pragmas.GhcSession Took: 0.10s
  190. Finished: codeLens.GhcSession Took: 0.10s
  191. Using extensions for NormalizedFilePath "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Concepts/Agreement.hs": [ MonomorphismRestriction
  192. , MonoLocalBinds
  193. , RelaxedPolyRec
  194. , ForeignFunctionInterface
  195. , ImplicitPrelude
  196. , ScopedTypeVariables
  197. , BangPatterns
  198. , TypeFamilies
  199. , TypeFamilyDependencies
  200. , RecordPuns
  201. , GADTSyntax
  202. , DoAndIfThenElse
  203. , ConstraintKinds
  204. , PolyKinds
  205. , InstanceSigs
  206. , StandaloneDeriving
  207. , DeriveDataTypeable
  208. , DeriveFunctor
  209. , DeriveTraversable
  210. , DeriveFoldable
  211. , DeriveGeneric
  212. , DeriveLift
  213. , DerivingStrategies
  214. , DerivingVia
  215. , TypeSynonymInstances
  216. , FlexibleContexts
  217. , FlexibleInstances
  218. , ConstrainedClassMethods
  219. , MultiParamTypeClasses
  220. , FunctionalDependencies
  221. , ExistentialQuantification
  222. , EmptyDataDecls
  223. , KindSignatures
  224. , GeneralizedNewtypeDeriving
  225. , PostfixOperators
  226. , TupleSections
  227. , PatternGuards
  228. , RankNTypes
  229. , ImpredicativeTypes
  230. , TypeOperators
  231. , ExplicitNamespaces
  232. , ExplicitForAll
  233. , TraditionalRecordSyntax
  234. , BinaryLiterals
  235. , HexFloatLiterals
  236. , EmptyCase
  237. , NamedWildCards
  238. , TypeApplications
  239. , EmptyDataDeriving
  240. , NumericUnderscores
  241. , StarIsType
  242. , ImportQualifiedPost
  243. , StandaloneKindSignatures
  244. , FieldSelectors ]
  245. Finished: GADT.GetParsedModuleWithComments Took: 0.10s
  246. Finished: GADT.GetParsedModuleWithComments Took: 0.09s
  247. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 5, _character = 0}, _end = Position {_line = 5, _character = 36}},RawLineComment {getRawLineComment = \"-- | Instant distribution agreement.\"}),(Range {_start = Position {_line = 6, _character = 0}, _end = Position {_line = 6, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 7, _character = 0}, _end = Position {_line = 7, _character = 69}},RawLineComment {getRawLineComment = \"-- It is instant transferring over an proportional distribution index\"}),(Range {_start = Position {_line = 8, _character = 0}, _end = Position {_line = 8, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 9, _character = 0}, _end = Position {_line = 9, _character = 63}},RawLineComment {getRawLineComment = \"-- This module is typically imported using qualified name CFDA.\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 24, _character = 0}, _end = Position {_line = 24, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 47, _character = 0}, _end = Position {_line = 47, _character = 33}},RawLineComment {getRawLineComment = \"-- * Publisher Monetary unit data\"}),(Range {_start = Position {_line = 59, _character = 0}, _end = Position {_line = 59, _character = 34}},RawLineComment {getRawLineComment = \"-- * Subscriber Monetary unit data\"}),(Range {_start = Position {_line = 96, _character = 0}, _end = Position {_line = 96, _character = 25}},RawLineComment {getRawLineComment = \"-- * Publisher Operations\"}),(Range {_start = Position {_line = 145, _character = 0}, _end = Position {_line = 145, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  248. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 5, _character = 0}, _end = Position {_line = 5, _character = 36}},RawLineComment {getRawLineComment = \"-- | Instant distribution agreement.\"}),(Range {_start = Position {_line = 6, _character = 0}, _end = Position {_line = 6, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 7, _character = 0}, _end = Position {_line = 7, _character = 69}},RawLineComment {getRawLineComment = \"-- It is instant transferring over an proportional distribution index\"}),(Range {_start = Position {_line = 8, _character = 0}, _end = Position {_line = 8, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 9, _character = 0}, _end = Position {_line = 9, _character = 63}},RawLineComment {getRawLineComment = \"-- This module is typically imported using qualified name CFDA.\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 24, _character = 0}, _end = Position {_line = 24, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 47, _character = 0}, _end = Position {_line = 47, _character = 33}},RawLineComment {getRawLineComment = \"-- * Publisher Monetary unit data\"}),(Range {_start = Position {_line = 59, _character = 0}, _end = Position {_line = 59, _character = 34}},RawLineComment {getRawLineComment = \"-- * Subscriber Monetary unit data\"}),(Range {_start = Position {_line = 96, _character = 0}, _end = Position {_line = 96, _character = 25}},RawLineComment {getRawLineComment = \"-- * Publisher Operations\"}),(Range {_start = Position {_line = 145, _character = 0}, _end = Position {_line = 145, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  249. Finished: alternateNumberFormat.GhcSession Took: 0.00s
  250. Finished: eval.GetParsedModuleWithComments Took: 0.10s
  251. Finished: Hlint.GetModSummary Took: 0.10s
  252. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 28, _character = 0}, _end = Position {_line = 28, _character = 14}},RawLineComment {getRawLineComment = \"-- * Timestamp\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 10}},RawLineComment {getRawLineComment = \"-- * Value\"}),(Range {_start = Position {_line = 43, _character = 0}, _end = Position {_line = 43, _character = 20}},RawLineComment {getRawLineComment = \"-- * RealTimeBalance\"}),(Range {_start = Position {_line = 88, _character = 0}, _end = Position {_line = 88, _character = 26}},RawLineComment {getRawLineComment = \"-- * Superfluid Core Types\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 8}},RawLineComment {getRawLineComment = \"-- * BBS\"}),(Range {_start = Position {_line = 103, _character = 0}, _end = Position {_line = 103, _character = 8}},RawLineComment {getRawLineComment = \"-- * CFA\"}),(Range {_start = Position {_line = 128, _character = 0}, _end = Position {_line = 128, _character = 10}},RawLineComment {getRawLineComment = \"-- * PDIDX\"}),(Range {_start = Position {_line = 139, _character = 0}, _end = Position {_line = 139, _character = 9}},RawLineComment {getRawLineComment = \"-- * CFDA\"}),(Range {_start = Position {_line = 166, _character = 0}, _end = Position {_line = 166, _character = 28}},RawLineComment {getRawLineComment = \"-- * Superfluid System Types\"}),(Range {_start = Position {_line = 168, _character = 0}, _end = Position {_line = 168, _character = 51}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of monetary unit data\"}),(Range {_start = Position {_line = 180, _character = 0}, _end = Position {_line = 180, _character = 62}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of semigroup monetary unit data.\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-orphans #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  253. Finished: ModuleName.ghcSession Took: 0.00s
  254. Finished: eval.GetParsedModuleWithComments Took: 0.10s
  255. Finished: eval.GetParsedModuleWithComments Took: 0.10s
  256. Finished: ModuleName.GetParsedModule Took: 0.00s
  257. Finished: eval.GetParsedModuleWithComments Took: 0.10s
  258. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 18, _character = 0}, _end = Position {_line = 18, _character = 12}},RawLineComment {getRawLineComment = \"-- * Helpers\"}),(Range {_start = Position {_line = 25, _character = 0}, _end = Position {_line = 25, _character = 38}},RawLineComment {getRawLineComment = \"-- * Semigroup Monetary Unit Data Laws\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 43}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-missing-signatures #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE MonoLocalBinds #-}\"})]}"
  259. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 18, _character = 0}, _end = Position {_line = 18, _character = 12}},RawLineComment {getRawLineComment = \"-- * Helpers\"}),(Range {_start = Position {_line = 25, _character = 0}, _end = Position {_line = 25, _character = 38}},RawLineComment {getRawLineComment = \"-- * Semigroup Monetary Unit Data Laws\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 43}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-missing-signatures #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE MonoLocalBinds #-}\"})]}"
  260. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 5, _character = 0}, _end = Position {_line = 5, _character = 36}},RawLineComment {getRawLineComment = \"-- | Instant distribution agreement.\"}),(Range {_start = Position {_line = 6, _character = 0}, _end = Position {_line = 6, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 7, _character = 0}, _end = Position {_line = 7, _character = 69}},RawLineComment {getRawLineComment = \"-- It is instant transferring over an proportional distribution index\"}),(Range {_start = Position {_line = 8, _character = 0}, _end = Position {_line = 8, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 9, _character = 0}, _end = Position {_line = 9, _character = 63}},RawLineComment {getRawLineComment = \"-- This module is typically imported using qualified name CFDA.\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 24, _character = 0}, _end = Position {_line = 24, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 47, _character = 0}, _end = Position {_line = 47, _character = 33}},RawLineComment {getRawLineComment = \"-- * Publisher Monetary unit data\"}),(Range {_start = Position {_line = 59, _character = 0}, _end = Position {_line = 59, _character = 34}},RawLineComment {getRawLineComment = \"-- * Subscriber Monetary unit data\"}),(Range {_start = Position {_line = 96, _character = 0}, _end = Position {_line = 96, _character = 25}},RawLineComment {getRawLineComment = \"-- * Publisher Operations\"}),(Range {_start = Position {_line = 145, _character = 0}, _end = Position {_line = 145, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  261. Finished: ModuleName.GetParsedModule Took: 0.00s
  262. Finished: eval.GetParsedModuleWithComments Took: 0.10s
  263. Finished: alternateNumberFormat.CollectLiterals Took: 0.10s
  264. Finished: ModuleName.GetParsedModule Took: 0.09s
  265. Finished: ModuleName.GetParsedModule Took: 0.10s
  266. Finished: importLens Took: 0.10s
  267. Finished: eval.GetParsedModuleWithComments Took: 0.10s
  268. Finished: eval.GetParsedModuleWithComments Took: 0.10s
  269. Finished: ModuleName.GetParsedModule Took: 0.09s
  270. Finished: ModuleName.GetParsedModule Took: 0.09s
  271. Finished: Pragmas.GetParsedModule Took: 0.09s
  272. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 26, _character = 0}, _end = Position {_line = 26, _character = 35}},RawLineComment {getRawLineComment = \"-- | Agreement contract type class.\"}),(Range {_start = Position {_line = 71, _character = 0}, _end = Position {_line = 71, _character = 19}},RawLineComment {getRawLineComment = \"-- * Null Agreement\"}),(Range {_start = Position {_line = 91, _character = 0}, _end = Position {_line = 91, _character = 29}},RawLineComment {getRawLineComment = \"-- * Agreement Contract State\"}),(Range {_start = Position {_line = 99, _character = 0}, _end = Position {_line = 99, _character = 120}},RawLineComment {getRawLineComment = \"-- =====================================================================================================================\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"}),(Range {_start = Position {_line = 115, _character = 36}, _end = Position {_line = 115, _character = 76}},RawLineComment {getRawLineComment = \"-- \\960 function (flipped) for contract mud\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE FunctionalDependencies #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilyDependencies #-}\"})]}"
  273. Finished: Pragmas.GetFileContents Took: 0.00s
  274. Finished: alternateNumberFormat.GetFileContents Took: 0.00s
  275. Finished: RefineImports Took: 0.10s
  276. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 26, _character = 0}, _end = Position {_line = 26, _character = 35}},RawLineComment {getRawLineComment = \"-- | Agreement contract type class.\"}),(Range {_start = Position {_line = 71, _character = 0}, _end = Position {_line = 71, _character = 19}},RawLineComment {getRawLineComment = \"-- * Null Agreement\"}),(Range {_start = Position {_line = 91, _character = 0}, _end = Position {_line = 91, _character = 29}},RawLineComment {getRawLineComment = \"-- * Agreement Contract State\"}),(Range {_start = Position {_line = 99, _character = 0}, _end = Position {_line = 99, _character = 120}},RawLineComment {getRawLineComment = \"-- =====================================================================================================================\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"}),(Range {_start = Position {_line = 115, _character = 36}, _end = Position {_line = 115, _character = 76}},RawLineComment {getRawLineComment = \"-- \\960 function (flipped) for contract mud\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE FunctionalDependencies #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilyDependencies #-}\"})]}"
  277. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 26, _character = 0}, _end = Position {_line = 26, _character = 35}},RawLineComment {getRawLineComment = \"-- | Agreement contract type class.\"}),(Range {_start = Position {_line = 71, _character = 0}, _end = Position {_line = 71, _character = 19}},RawLineComment {getRawLineComment = \"-- * Null Agreement\"}),(Range {_start = Position {_line = 91, _character = 0}, _end = Position {_line = 91, _character = 29}},RawLineComment {getRawLineComment = \"-- * Agreement Contract State\"}),(Range {_start = Position {_line = 99, _character = 0}, _end = Position {_line = 99, _character = 120}},RawLineComment {getRawLineComment = \"-- =====================================================================================================================\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"}),(Range {_start = Position {_line = 115, _character = 36}, _end = Position {_line = 115, _character = 76}},RawLineComment {getRawLineComment = \"-- \\960 function (flipped) for contract mud\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE FunctionalDependencies #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilyDependencies #-}\"})]}"
  278. Finished: RefineImports Took: 0.10s
  279. Finished: GhcideCodeActions.getParsedModule Took: 0.10s
  280. Finished: changeTypeSignature.GetParsedModule Took: 0.01s
  281. Finished: changeTypeSignature.GetParsedModule Took: 0.09s
  282. Finished: RefineImports Took: 0.09s
  283. Finished: importLens Took: 0.01s
  284. Finished: GhcideCodeActions.getParsedModule Took: 0.10s
  285. Finished: GhcideCodeActions.getParsedModule Took: 0.10s
  286. Finished: changeTypeSignature.GetParsedModule Took: 0.10s
  287. Finished: RefineImports Took: 0.11s
  288. Finished: importLens Took: 0.01s
  289. Finished: GhcideCodeActions.getParsedModule Took: 0.01s
  290. Finished: codeLens.GhcSession Took: 0.00s
  291. Finished: alternateNumberFormat.CollectLiterals Took: 0.01s
  292. Finished: ModuleName.GetParsedModule Took: 0.00s
  293. Finished: alternateNumberFormat.GhcSession Took: 0.00s
  294. Finished: Pragmas.GetParsedModule Took: 0.00s
  295. Finished: alternateNumberFormat.CollectLiterals Took: 0.10s
  296. Finished: ModuleName.GetParsedModule Took: 0.00s
  297. Finished: Pragmas.GhcSession Took: 0.00s
  298. Finished: RefineImports Took: 0.00s
  299. Finished: ModuleName.ghcSession Took: 0.00s
  300. Finished: codeLens.GhcSession Took: 0.00s
  301. Finished: alternateNumberFormat.GetFileContents Took: 0.00s
  302. Finished: GADT.GetParsedModuleWithComments Took: 0.00s
  303. Finished: alternateNumberFormat.CollectLiterals Took: 0.11s
  304. Finished: ModuleName.ghcSession Took: 0.00s
  305. Finished: alternateNumberFormat.CollectLiterals Took: 0.10s
  306. Finished: alternateNumberFormat.GhcSession Took: 0.00s
  307. Finished: alternateNumberFormat.CollectLiterals Took: 0.10s
  308. Finished: Pragmas.GetFileContents Took: 0.00s
  309. Finished: ModuleName.GetParsedModule Took: 0.00s
  310. Finished: ModuleName.ghcSession Took: 0.00s
  311. Finished: ModuleName.GetParsedModule Took: 0.00s
  312. Finished: alternateNumberFormat.GhcSession Took: 0.00s
  313. Finished: ModuleName.GetParsedModule Took: 0.00s
  314. Finished: codeLens.GhcSession Took: 0.00s
  315. Finished: alternateNumberFormat.GetFileContents Took: 0.00s
  316. Finished: Pragmas.GetParsedModule Took: 0.00s
  317. Finished: alternateNumberFormat.GhcSession Took: 0.00s
  318. Finished: alternateNumberFormat.GhcSession Took: 0.00s
  319. Finished: alternateNumberFormat.GhcSession Took: 0.00s
  320. Finished: GADT.GetParsedModuleWithComments Took: 0.00s
  321. Finished: alternateNumberFormat.GetFileContents Took: 0.00s
  322. Finished: ModuleName.GetParsedModule Took: 0.00s
  323. Finished: alternateNumberFormat.GetFileContents Took: 0.00s
  324. Finished: Pragmas.GhcSession Took: 0.00s
  325. Finished: alternateNumberFormat.GetFileContents Took: 0.00s
  326. Finished: ModuleName.GetParsedModule Took: 0.00s
  327. Finished: alternateNumberFormat.GetFileContents Took: 0.00s
  328. Finished: Pragmas.GetFileContents Took: 0.00s
  329. Finished: Pragmas.GetParsedModule Took: 0.00s
  330. Finished: Hlint.GetModSummary Took: 0.00s
  331. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  332. Finished: GhcideCodeActions.getParsedModule Took: 0.00s
  333. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 12 sections 0 setups 0 lenses."
  334. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 12 sections 0 setups 0 lenses."
  335. Finished: importLens Took: 0.00s
  336. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 12 sections 0 setups 0 lenses."
  337. Finished: GADT.GetParsedModuleWithComments Took: 0.00s
  338. Finished: importLens Took: 0.00s
  339. Finished: changeTypeSignature.GetParsedModule Took: 0.00s
  340. Finished: codeLens.GhcSession Took: 0.00s
  341. Finished: Pragmas.GhcSession Took: 0.00s
  342. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  343. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 28, _character = 0}, _end = Position {_line = 28, _character = 14}},RawLineComment {getRawLineComment = \"-- * Timestamp\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 10}},RawLineComment {getRawLineComment = \"-- * Value\"}),(Range {_start = Position {_line = 43, _character = 0}, _end = Position {_line = 43, _character = 20}},RawLineComment {getRawLineComment = \"-- * RealTimeBalance\"}),(Range {_start = Position {_line = 88, _character = 0}, _end = Position {_line = 88, _character = 26}},RawLineComment {getRawLineComment = \"-- * Superfluid Core Types\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 8}},RawLineComment {getRawLineComment = \"-- * BBS\"}),(Range {_start = Position {_line = 103, _character = 0}, _end = Position {_line = 103, _character = 8}},RawLineComment {getRawLineComment = \"-- * CFA\"}),(Range {_start = Position {_line = 128, _character = 0}, _end = Position {_line = 128, _character = 10}},RawLineComment {getRawLineComment = \"-- * PDIDX\"}),(Range {_start = Position {_line = 139, _character = 0}, _end = Position {_line = 139, _character = 9}},RawLineComment {getRawLineComment = \"-- * CFDA\"}),(Range {_start = Position {_line = 166, _character = 0}, _end = Position {_line = 166, _character = 28}},RawLineComment {getRawLineComment = \"-- * Superfluid System Types\"}),(Range {_start = Position {_line = 168, _character = 0}, _end = Position {_line = 168, _character = 51}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of monetary unit data\"}),(Range {_start = Position {_line = 180, _character = 0}, _end = Position {_line = 180, _character = 62}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of semigroup monetary unit data.\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-orphans #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  344. Finished: Pragmas.GetFileContents Took: 0.00s
  345. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  346. Finished: Pragmas.GetParsedModule Took: 0.00s
  347. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 18, _character = 0}, _end = Position {_line = 18, _character = 12}},RawLineComment {getRawLineComment = \"-- * Helpers\"}),(Range {_start = Position {_line = 25, _character = 0}, _end = Position {_line = 25, _character = 38}},RawLineComment {getRawLineComment = \"-- * Semigroup Monetary Unit Data Laws\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 43}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-missing-signatures #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE MonoLocalBinds #-}\"})]}"
  348. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  349. Finished: GADT.GetParsedModuleWithComments Took: 0.00s
  350. Finished: importLens Took: 0.00s
  351. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 18, _character = 0}, _end = Position {_line = 18, _character = 12}},RawLineComment {getRawLineComment = \"-- * Helpers\"}),(Range {_start = Position {_line = 25, _character = 0}, _end = Position {_line = 25, _character = 38}},RawLineComment {getRawLineComment = \"-- * Semigroup Monetary Unit Data Laws\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 43}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-missing-signatures #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE MonoLocalBinds #-}\"})]}"
  352. Finished: Pragmas.GhcSession Took: 0.00s
  353. Finished: Pragmas.GetFileContents Took: 0.00s
  354. Finished: GhcideCodeActions.getParsedModule Took: 0.00s
  355. Finished: Pragmas.GetParsedModule Took: 0.00s
  356. Finished: ModuleName.ghcSession Took: 0.00s
  357. Finished: Pragmas.GhcSession Took: 0.00s
  358. Finished: ModuleName.GetParsedModule Took: 0.00s
  359. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  360. Finished: Pragmas.GetFileContents Took: 0.00s
  361. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 28, _character = 0}, _end = Position {_line = 28, _character = 14}},RawLineComment {getRawLineComment = \"-- * Timestamp\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 10}},RawLineComment {getRawLineComment = \"-- * Value\"}),(Range {_start = Position {_line = 43, _character = 0}, _end = Position {_line = 43, _character = 20}},RawLineComment {getRawLineComment = \"-- * RealTimeBalance\"}),(Range {_start = Position {_line = 88, _character = 0}, _end = Position {_line = 88, _character = 26}},RawLineComment {getRawLineComment = \"-- * Superfluid Core Types\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 8}},RawLineComment {getRawLineComment = \"-- * BBS\"}),(Range {_start = Position {_line = 103, _character = 0}, _end = Position {_line = 103, _character = 8}},RawLineComment {getRawLineComment = \"-- * CFA\"}),(Range {_start = Position {_line = 128, _character = 0}, _end = Position {_line = 128, _character = 10}},RawLineComment {getRawLineComment = \"-- * PDIDX\"}),(Range {_start = Position {_line = 139, _character = 0}, _end = Position {_line = 139, _character = 9}},RawLineComment {getRawLineComment = \"-- * CFDA\"}),(Range {_start = Position {_line = 166, _character = 0}, _end = Position {_line = 166, _character = 28}},RawLineComment {getRawLineComment = \"-- * Superfluid System Types\"}),(Range {_start = Position {_line = 168, _character = 0}, _end = Position {_line = 168, _character = 51}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of monetary unit data\"}),(Range {_start = Position {_line = 180, _character = 0}, _end = Position {_line = 180, _character = 62}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of semigroup monetary unit data.\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-orphans #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  362. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/ConstantFlowDistributionAgreement.hs"
  363. Finished: changeTypeSignature.GetParsedModule Took: 0.00s
  364. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/Indexes/ProportionalDistributionIndex.hs"
  365. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  366. Finished: Pragmas.GetParsedModule Took: 0.00s
  367. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 28, _character = 0}, _end = Position {_line = 28, _character = 14}},RawLineComment {getRawLineComment = \"-- * Timestamp\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 10}},RawLineComment {getRawLineComment = \"-- * Value\"}),(Range {_start = Position {_line = 43, _character = 0}, _end = Position {_line = 43, _character = 20}},RawLineComment {getRawLineComment = \"-- * RealTimeBalance\"}),(Range {_start = Position {_line = 88, _character = 0}, _end = Position {_line = 88, _character = 26}},RawLineComment {getRawLineComment = \"-- * Superfluid Core Types\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 8}},RawLineComment {getRawLineComment = \"-- * BBS\"}),(Range {_start = Position {_line = 103, _character = 0}, _end = Position {_line = 103, _character = 8}},RawLineComment {getRawLineComment = \"-- * CFA\"}),(Range {_start = Position {_line = 128, _character = 0}, _end = Position {_line = 128, _character = 10}},RawLineComment {getRawLineComment = \"-- * PDIDX\"}),(Range {_start = Position {_line = 139, _character = 0}, _end = Position {_line = 139, _character = 9}},RawLineComment {getRawLineComment = \"-- * CFDA\"}),(Range {_start = Position {_line = 166, _character = 0}, _end = Position {_line = 166, _character = 28}},RawLineComment {getRawLineComment = \"-- * Superfluid System Types\"}),(Range {_start = Position {_line = 168, _character = 0}, _end = Position {_line = 168, _character = 51}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of monetary unit data\"}),(Range {_start = Position {_line = 180, _character = 0}, _end = Position {_line = 180, _character = 62}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of semigroup monetary unit data.\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-orphans #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  368. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  369. Finished: ModuleName.ghcSession Took: 0.00s
  370. Finished: changeTypeSignature.GetParsedModule Took: 0.00s
  371. Finished: ModuleName.ghcSession Took: 0.00s
  372. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 26, _character = 0}, _end = Position {_line = 26, _character = 35}},RawLineComment {getRawLineComment = \"-- | Agreement contract type class.\"}),(Range {_start = Position {_line = 71, _character = 0}, _end = Position {_line = 71, _character = 19}},RawLineComment {getRawLineComment = \"-- * Null Agreement\"}),(Range {_start = Position {_line = 91, _character = 0}, _end = Position {_line = 91, _character = 29}},RawLineComment {getRawLineComment = \"-- * Agreement Contract State\"}),(Range {_start = Position {_line = 99, _character = 0}, _end = Position {_line = 99, _character = 120}},RawLineComment {getRawLineComment = \"-- =====================================================================================================================\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"}),(Range {_start = Position {_line = 115, _character = 36}, _end = Position {_line = 115, _character = 76}},RawLineComment {getRawLineComment = \"-- \\960 function (flipped) for contract mud\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE FunctionalDependencies #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilyDependencies #-}\"})]}"
  373. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/TestTypes.hs"
  374. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Concepts/Agreement.hs"
  375. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs"
  376. Finished: codeLens.GhcSession Took: 0.00s
  377. Finished: ModuleName.ghcSession Took: 0.00s
  378. Finished: ModuleName.GetParsedModule Took: 0.00s
  379. Finished: codeLens.GhcSession Took: 0.00s
  380. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 5, _character = 0}, _end = Position {_line = 5, _character = 36}},RawLineComment {getRawLineComment = \"-- | Instant distribution agreement.\"}),(Range {_start = Position {_line = 6, _character = 0}, _end = Position {_line = 6, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 7, _character = 0}, _end = Position {_line = 7, _character = 69}},RawLineComment {getRawLineComment = \"-- It is instant transferring over an proportional distribution index\"}),(Range {_start = Position {_line = 8, _character = 0}, _end = Position {_line = 8, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 9, _character = 0}, _end = Position {_line = 9, _character = 63}},RawLineComment {getRawLineComment = \"-- This module is typically imported using qualified name CFDA.\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 24, _character = 0}, _end = Position {_line = 24, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 47, _character = 0}, _end = Position {_line = 47, _character = 33}},RawLineComment {getRawLineComment = \"-- * Publisher Monetary unit data\"}),(Range {_start = Position {_line = 59, _character = 0}, _end = Position {_line = 59, _character = 34}},RawLineComment {getRawLineComment = \"-- * Subscriber Monetary unit data\"}),(Range {_start = Position {_line = 96, _character = 0}, _end = Position {_line = 96, _character = 25}},RawLineComment {getRawLineComment = \"-- * Publisher Operations\"}),(Range {_start = Position {_line = 145, _character = 0}, _end = Position {_line = 145, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  381. Finished: ModuleName.GetParsedModule Took: 0.00s
  382. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 12 sections 0 setups 0 lenses."
  383. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/ConstantFlowDistributionAgreement.hs"
  384. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/Indexes/ProportionalDistributionIndex.hs"
  385. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/TestTypes.hs"
  386. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Concepts/Agreement.hs"
  387. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs"
  388. Finished: ModuleName.GetParsedModule Took: 0.00s
  389. Finished: ModuleName.ghcSession Took: 0.00s
  390. Finished: ModuleName.ghcSession Took: 0.00s
  391. Finished: ModuleName.ghcSession Took: 0.00s
  392. Finished: codeLens.GhcSession Took: 0.00s
  393. Finished: codeLens.GhcSession Took: 0.00s
  394. Finished: codeLens.GhcSession Took: 0.00s
  395. Finished: ModuleName.ghcSession Took: 0.00s
  396. Finished: ModuleName.GetParsedModule Took: 0.00s
  397. Finished: ModuleName.ghcSession Took: 0.00s
  398. Finished: codeLens.GhcSession Took: 0.00s
  399. Finished: ModuleName.ghcSession Took: 0.00s
  400. Finished: codeLens.GhcSession Took: 0.00s
  401. Finished: codeLens.GhcSession Took: 0.00s
  402. Finished: ModuleName.ghcSession Took: 0.00s
  403. Finished: codeLens.GhcSession Took: 0.00s
  404. Finished: ModuleName.ghcSession Took: 0.00s
  405. Finished: codeLens.GhcSession Took: 0.00s
  406. Finished: ModuleName.GetParsedModule Took: 0.00s
  407. Finished: ModuleName.GetParsedModule Took: 0.00s
  408. Finished: ModuleName.GetParsedModule Took: 0.00s
  409. Finished: ModuleName.GetParsedModule Took: 0.00s
  410. Finished: ModuleName.GetParsedModule Took: 0.00s
  411. Finished: ModuleName.GetParsedModule Took: 0.00s
  412. Finished: ModuleName.GetParsedModule Took: 0.00s
  413. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/ConstantFlowDistributionAgreement.hs"
  414. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/TestTypes.hs"
  415. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Concepts/Agreement.hs"
  416. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/Indexes/ProportionalDistributionIndex.hs"
  417. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs"
  418. Finished: ModuleName.ghcSession Took: 0.00s
  419. Finished: ModuleName.ghcSession Took: 0.03s
  420. Finished: codeLens.GhcSession Took: 0.00s
  421. Finished: codeLens.GhcSession Took: 0.00s
  422. Finished: ModuleName.ghcSession Took: 0.00s
  423. Finished: codeLens.GhcSession Took: 0.00s
  424. Finished: ModuleName.ghcSession Took: 0.00s
  425. Finished: codeLens.GhcSession Took: 0.00s
  426. Finished: ModuleName.ghcSession Took: 0.00s
  427. Finished: codeLens.GhcSession Took: 0.00s
  428. Finished: ModuleName.GetParsedModule Took: 0.00s
  429. Finished: ModuleName.GetParsedModule Took: 0.00s
  430. Finished: ModuleName.GetParsedModule Took: 0.00s
  431. Finished: ModuleName.GetParsedModule Took: 0.00s
  432. Finished: ModuleName.GetParsedModule Took: 0.00s
  433. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 11 sections 0 setups 0 lenses."
  434. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 11 sections 0 setups 0 lenses."
  435. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 15 sections 0 setups 0 lenses."
  436. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 6 sections 0 setups 0 lenses."
  437. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 6 sections 0 setups 0 lenses."
  438. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 11 sections 0 setups 0 lenses."
  439. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 8 sections 0 setups 0 lenses."
  440. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 8 sections 0 setups 0 lenses."
  441. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 8 sections 0 setups 0 lenses."
  442. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.48s"
  443. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.48s"
  444. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.48s"
  445. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 15 sections 0 setups 0 lenses."
  446. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Data/Type/Any.hie
  447. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 6 sections 0 setups 0 lenses."
  448. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 6 sections 0 setups 0 lenses."
  449. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 15 sections 0 setups 0 lenses."
  450. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  451. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 5, _character = 0}, _end = Position {_line = 5, _character = 36}},RawLineComment {getRawLineComment = \"-- | Instant distribution agreement.\"}),(Range {_start = Position {_line = 6, _character = 0}, _end = Position {_line = 6, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 7, _character = 0}, _end = Position {_line = 7, _character = 69}},RawLineComment {getRawLineComment = \"-- It is instant transferring over an proportional distribution index\"}),(Range {_start = Position {_line = 8, _character = 0}, _end = Position {_line = 8, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 9, _character = 0}, _end = Position {_line = 9, _character = 63}},RawLineComment {getRawLineComment = \"-- This module is typically imported using qualified name CFDA.\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 24, _character = 0}, _end = Position {_line = 24, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 47, _character = 0}, _end = Position {_line = 47, _character = 33}},RawLineComment {getRawLineComment = \"-- * Publisher Monetary unit data\"}),(Range {_start = Position {_line = 59, _character = 0}, _end = Position {_line = 59, _character = 34}},RawLineComment {getRawLineComment = \"-- * Subscriber Monetary unit data\"}),(Range {_start = Position {_line = 96, _character = 0}, _end = Position {_line = 96, _character = 25}},RawLineComment {getRawLineComment = \"-- * Publisher Operations\"}),(Range {_start = Position {_line = 145, _character = 0}, _end = Position {_line = 145, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  452. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  453. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 13, _character = 0}, _end = Position {_line = 13, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 21, _character = 0}, _end = Position {_line = 21, _character = 92}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a distribution. Its sole party is also known as the \\\"publisher\\\".\"}),(Range {_start = Position {_line = 29, _character = 0}, _end = Position {_line = 29, _character = 111}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a subscription to a distribution. Its sole party is also known as the \\\"subscriber\\\".\"}),(Range {_start = Position {_line = 37, _character = 0}, _end = Position {_line = 37, _character = 23}},RawLineComment {getRawLineComment = \"-- * Monetary unit data\"}),(Range {_start = Position {_line = 39, _character = 0}, _end = Position {_line = 39, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution publisher data.\"}),(Range {_start = Position {_line = 51, _character = 0}, _end = Position {_line = 51, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution subcriber data.\"}),(Range {_start = Position {_line = 52, _character = 0}, _end = Position {_line = 52, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 53, _character = 0}, _end = Position {_line = 53, _character = 75}},RawLineComment {getRawLineComment = \"-- Note: The contracts are the subscriber data. It is not storage-scalable.\"}),(Range {_start = Position {_line = 66, _character = 0}, _end = Position {_line = 66, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  454. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 15 sections 0 setups 0 lenses."
  455. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 8 sections 0 setups 0 lenses."
  456. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  457. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  458. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 28, _character = 0}, _end = Position {_line = 28, _character = 14}},RawLineComment {getRawLineComment = \"-- * Timestamp\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 10}},RawLineComment {getRawLineComment = \"-- * Value\"}),(Range {_start = Position {_line = 43, _character = 0}, _end = Position {_line = 43, _character = 20}},RawLineComment {getRawLineComment = \"-- * RealTimeBalance\"}),(Range {_start = Position {_line = 88, _character = 0}, _end = Position {_line = 88, _character = 26}},RawLineComment {getRawLineComment = \"-- * Superfluid Core Types\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 8}},RawLineComment {getRawLineComment = \"-- * BBS\"}),(Range {_start = Position {_line = 103, _character = 0}, _end = Position {_line = 103, _character = 8}},RawLineComment {getRawLineComment = \"-- * CFA\"}),(Range {_start = Position {_line = 128, _character = 0}, _end = Position {_line = 128, _character = 10}},RawLineComment {getRawLineComment = \"-- * PDIDX\"}),(Range {_start = Position {_line = 139, _character = 0}, _end = Position {_line = 139, _character = 9}},RawLineComment {getRawLineComment = \"-- * CFDA\"}),(Range {_start = Position {_line = 166, _character = 0}, _end = Position {_line = 166, _character = 28}},RawLineComment {getRawLineComment = \"-- * Superfluid System Types\"}),(Range {_start = Position {_line = 168, _character = 0}, _end = Position {_line = 168, _character = 51}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of monetary unit data\"}),(Range {_start = Position {_line = 180, _character = 0}, _end = Position {_line = 180, _character = 62}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of semigroup monetary unit data.\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-orphans #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  459. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 26, _character = 0}, _end = Position {_line = 26, _character = 35}},RawLineComment {getRawLineComment = \"-- | Agreement contract type class.\"}),(Range {_start = Position {_line = 71, _character = 0}, _end = Position {_line = 71, _character = 19}},RawLineComment {getRawLineComment = \"-- * Null Agreement\"}),(Range {_start = Position {_line = 91, _character = 0}, _end = Position {_line = 91, _character = 29}},RawLineComment {getRawLineComment = \"-- * Agreement Contract State\"}),(Range {_start = Position {_line = 99, _character = 0}, _end = Position {_line = 99, _character = 120}},RawLineComment {getRawLineComment = \"-- =====================================================================================================================\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"}),(Range {_start = Position {_line = 115, _character = 36}, _end = Position {_line = 115, _character = 76}},RawLineComment {getRawLineComment = \"-- \\960 function (flipped) for contract mud\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE FunctionalDependencies #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilyDependencies #-}\"})]}"
  460. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  461. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 18, _character = 0}, _end = Position {_line = 18, _character = 12}},RawLineComment {getRawLineComment = \"-- * Helpers\"}),(Range {_start = Position {_line = 25, _character = 0}, _end = Position {_line = 25, _character = 38}},RawLineComment {getRawLineComment = \"-- * Semigroup Monetary Unit Data Laws\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 43}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-missing-signatures #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE MonoLocalBinds #-}\"})]}"
  462. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 11 sections 0 setups 0 lenses."
  463. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Theory/Distribution.hie
  464. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.51s"
  465. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  466. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 5, _character = 0}, _end = Position {_line = 5, _character = 36}},RawLineComment {getRawLineComment = \"-- | Instant distribution agreement.\"}),(Range {_start = Position {_line = 6, _character = 0}, _end = Position {_line = 6, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 7, _character = 0}, _end = Position {_line = 7, _character = 69}},RawLineComment {getRawLineComment = \"-- It is instant transferring over an proportional distribution index\"}),(Range {_start = Position {_line = 8, _character = 0}, _end = Position {_line = 8, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 9, _character = 0}, _end = Position {_line = 9, _character = 63}},RawLineComment {getRawLineComment = \"-- This module is typically imported using qualified name CFDA.\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 24, _character = 0}, _end = Position {_line = 24, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 47, _character = 0}, _end = Position {_line = 47, _character = 33}},RawLineComment {getRawLineComment = \"-- * Publisher Monetary unit data\"}),(Range {_start = Position {_line = 59, _character = 0}, _end = Position {_line = 59, _character = 34}},RawLineComment {getRawLineComment = \"-- * Subscriber Monetary unit data\"}),(Range {_start = Position {_line = 96, _character = 0}, _end = Position {_line = 96, _character = 25}},RawLineComment {getRawLineComment = \"-- * Publisher Operations\"}),(Range {_start = Position {_line = 145, _character = 0}, _end = Position {_line = 145, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  467. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  468. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  469. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 13, _character = 0}, _end = Position {_line = 13, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 21, _character = 0}, _end = Position {_line = 21, _character = 92}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a distribution. Its sole party is also known as the \\\"publisher\\\".\"}),(Range {_start = Position {_line = 29, _character = 0}, _end = Position {_line = 29, _character = 111}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a subscription to a distribution. Its sole party is also known as the \\\"subscriber\\\".\"}),(Range {_start = Position {_line = 37, _character = 0}, _end = Position {_line = 37, _character = 23}},RawLineComment {getRawLineComment = \"-- * Monetary unit data\"}),(Range {_start = Position {_line = 39, _character = 0}, _end = Position {_line = 39, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution publisher data.\"}),(Range {_start = Position {_line = 51, _character = 0}, _end = Position {_line = 51, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution subcriber data.\"}),(Range {_start = Position {_line = 52, _character = 0}, _end = Position {_line = 52, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 53, _character = 0}, _end = Position {_line = 53, _character = 75}},RawLineComment {getRawLineComment = \"-- Note: The contracts are the subscriber data. It is not storage-scalable.\"}),(Range {_start = Position {_line = 66, _character = 0}, _end = Position {_line = 66, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  470. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 28, _character = 0}, _end = Position {_line = 28, _character = 14}},RawLineComment {getRawLineComment = \"-- * Timestamp\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 10}},RawLineComment {getRawLineComment = \"-- * Value\"}),(Range {_start = Position {_line = 43, _character = 0}, _end = Position {_line = 43, _character = 20}},RawLineComment {getRawLineComment = \"-- * RealTimeBalance\"}),(Range {_start = Position {_line = 88, _character = 0}, _end = Position {_line = 88, _character = 26}},RawLineComment {getRawLineComment = \"-- * Superfluid Core Types\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 8}},RawLineComment {getRawLineComment = \"-- * BBS\"}),(Range {_start = Position {_line = 103, _character = 0}, _end = Position {_line = 103, _character = 8}},RawLineComment {getRawLineComment = \"-- * CFA\"}),(Range {_start = Position {_line = 128, _character = 0}, _end = Position {_line = 128, _character = 10}},RawLineComment {getRawLineComment = \"-- * PDIDX\"}),(Range {_start = Position {_line = 139, _character = 0}, _end = Position {_line = 139, _character = 9}},RawLineComment {getRawLineComment = \"-- * CFDA\"}),(Range {_start = Position {_line = 166, _character = 0}, _end = Position {_line = 166, _character = 28}},RawLineComment {getRawLineComment = \"-- * Superfluid System Types\"}),(Range {_start = Position {_line = 168, _character = 0}, _end = Position {_line = 168, _character = 51}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of monetary unit data\"}),(Range {_start = Position {_line = 180, _character = 0}, _end = Position {_line = 180, _character = 62}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of semigroup monetary unit data.\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-orphans #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  471. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  472. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  473. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 26, _character = 0}, _end = Position {_line = 26, _character = 35}},RawLineComment {getRawLineComment = \"-- | Agreement contract type class.\"}),(Range {_start = Position {_line = 71, _character = 0}, _end = Position {_line = 71, _character = 19}},RawLineComment {getRawLineComment = \"-- * Null Agreement\"}),(Range {_start = Position {_line = 91, _character = 0}, _end = Position {_line = 91, _character = 29}},RawLineComment {getRawLineComment = \"-- * Agreement Contract State\"}),(Range {_start = Position {_line = 99, _character = 0}, _end = Position {_line = 99, _character = 120}},RawLineComment {getRawLineComment = \"-- =====================================================================================================================\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"}),(Range {_start = Position {_line = 115, _character = 36}, _end = Position {_line = 115, _character = 76}},RawLineComment {getRawLineComment = \"-- \\960 function (flipped) for contract mud\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE FunctionalDependencies #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilyDependencies #-}\"})]}"
  474. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 18, _character = 0}, _end = Position {_line = 18, _character = 12}},RawLineComment {getRawLineComment = \"-- * Helpers\"}),(Range {_start = Position {_line = 25, _character = 0}, _end = Position {_line = 25, _character = 38}},RawLineComment {getRawLineComment = \"-- * Semigroup Monetary Unit Data Laws\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 43}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-missing-signatures #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE MonoLocalBinds #-}\"})]}"
  475. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  476. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  477. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 5, _character = 0}, _end = Position {_line = 5, _character = 36}},RawLineComment {getRawLineComment = \"-- | Instant distribution agreement.\"}),(Range {_start = Position {_line = 6, _character = 0}, _end = Position {_line = 6, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 7, _character = 0}, _end = Position {_line = 7, _character = 69}},RawLineComment {getRawLineComment = \"-- It is instant transferring over an proportional distribution index\"}),(Range {_start = Position {_line = 8, _character = 0}, _end = Position {_line = 8, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 9, _character = 0}, _end = Position {_line = 9, _character = 63}},RawLineComment {getRawLineComment = \"-- This module is typically imported using qualified name CFDA.\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 24, _character = 0}, _end = Position {_line = 24, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 47, _character = 0}, _end = Position {_line = 47, _character = 33}},RawLineComment {getRawLineComment = \"-- * Publisher Monetary unit data\"}),(Range {_start = Position {_line = 59, _character = 0}, _end = Position {_line = 59, _character = 34}},RawLineComment {getRawLineComment = \"-- * Subscriber Monetary unit data\"}),(Range {_start = Position {_line = 96, _character = 0}, _end = Position {_line = 96, _character = 25}},RawLineComment {getRawLineComment = \"-- * Publisher Operations\"}),(Range {_start = Position {_line = 145, _character = 0}, _end = Position {_line = 145, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  478. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 28, _character = 0}, _end = Position {_line = 28, _character = 14}},RawLineComment {getRawLineComment = \"-- * Timestamp\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 10}},RawLineComment {getRawLineComment = \"-- * Value\"}),(Range {_start = Position {_line = 43, _character = 0}, _end = Position {_line = 43, _character = 20}},RawLineComment {getRawLineComment = \"-- * RealTimeBalance\"}),(Range {_start = Position {_line = 88, _character = 0}, _end = Position {_line = 88, _character = 26}},RawLineComment {getRawLineComment = \"-- * Superfluid Core Types\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 8}},RawLineComment {getRawLineComment = \"-- * BBS\"}),(Range {_start = Position {_line = 103, _character = 0}, _end = Position {_line = 103, _character = 8}},RawLineComment {getRawLineComment = \"-- * CFA\"}),(Range {_start = Position {_line = 128, _character = 0}, _end = Position {_line = 128, _character = 10}},RawLineComment {getRawLineComment = \"-- * PDIDX\"}),(Range {_start = Position {_line = 139, _character = 0}, _end = Position {_line = 139, _character = 9}},RawLineComment {getRawLineComment = \"-- * CFDA\"}),(Range {_start = Position {_line = 166, _character = 0}, _end = Position {_line = 166, _character = 28}},RawLineComment {getRawLineComment = \"-- * Superfluid System Types\"}),(Range {_start = Position {_line = 168, _character = 0}, _end = Position {_line = 168, _character = 51}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of monetary unit data\"}),(Range {_start = Position {_line = 180, _character = 0}, _end = Position {_line = 180, _character = 62}},RawLineComment {getRawLineComment = \"-- | Existential type wrapper of semigroup monetary unit data.\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-orphans #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 29}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  479. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  480. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  481. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 26, _character = 0}, _end = Position {_line = 26, _character = 35}},RawLineComment {getRawLineComment = \"-- | Agreement contract type class.\"}),(Range {_start = Position {_line = 71, _character = 0}, _end = Position {_line = 71, _character = 19}},RawLineComment {getRawLineComment = \"-- * Null Agreement\"}),(Range {_start = Position {_line = 91, _character = 0}, _end = Position {_line = 91, _character = 29}},RawLineComment {getRawLineComment = \"-- * Agreement Contract State\"}),(Range {_start = Position {_line = 99, _character = 0}, _end = Position {_line = 99, _character = 120}},RawLineComment {getRawLineComment = \"-- =====================================================================================================================\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"}),(Range {_start = Position {_line = 115, _character = 36}, _end = Position {_line = 115, _character = 76}},RawLineComment {getRawLineComment = \"-- \\960 function (flipped) for contract mud\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE FunctionalDependencies #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilyDependencies #-}\"})]}"
  482. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 13, _character = 0}, _end = Position {_line = 13, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 14}},RawLineComment {getRawLineComment = \"-- * Contracts\"}),(Range {_start = Position {_line = 21, _character = 0}, _end = Position {_line = 21, _character = 92}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a distribution. Its sole party is also known as the \\\"publisher\\\".\"}),(Range {_start = Position {_line = 29, _character = 0}, _end = Position {_line = 29, _character = 111}},RawLineComment {getRawLineComment = \"-- | Agreement contract for a subscription to a distribution. Its sole party is also known as the \\\"subscriber\\\".\"}),(Range {_start = Position {_line = 37, _character = 0}, _end = Position {_line = 37, _character = 23}},RawLineComment {getRawLineComment = \"-- * Monetary unit data\"}),(Range {_start = Position {_line = 39, _character = 0}, _end = Position {_line = 39, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution publisher data.\"}),(Range {_start = Position {_line = 51, _character = 0}, _end = Position {_line = 51, _character = 33}},RawLineComment {getRawLineComment = \"-- | Distribution subcriber data.\"}),(Range {_start = Position {_line = 52, _character = 0}, _end = Position {_line = 52, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 53, _character = 0}, _end = Position {_line = 53, _character = 75}},RawLineComment {getRawLineComment = \"-- Note: The contracts are the subscriber data. It is not storage-scalable.\"}),(Range {_start = Position {_line = 66, _character = 0}, _end = Position {_line = 66, _character = 26}},RawLineComment {getRawLineComment = \"-- * Subscriber Operations\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DeriveAnyClass #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DerivingVia #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TemplateHaskell #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 32}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeFamilies #-}\"})]}"
  483. Finished: eval.GetParsedModuleWithComments Took: 0.00s
  484. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 18, _character = 0}, _end = Position {_line = 18, _character = 12}},RawLineComment {getRawLineComment = \"-- * Helpers\"}),(Range {_start = Position {_line = 25, _character = 0}, _end = Position {_line = 25, _character = 38}},RawLineComment {getRawLineComment = \"-- * Semigroup Monetary Unit Data Laws\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 19}},RawLineComment {getRawLineComment = \"-- * Agreement Laws\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 43}},RawBlockComment {getRawBlockComment = \"{-# OPTIONS_GHC -Wno-missing-signatures #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE ImpredicativeTypes #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 35}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE MonoLocalBinds #-}\"})]}"
  485. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.26s"
  486. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.26s"
  487. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.17s"
  488. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.10s"
  489. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.10s"
  490. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.10s"
  491. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.09s"
  492. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.09s"
  493. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.09s"
  494. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.14s"
  495. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.17s"
  496. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.24s"
  497. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.05s"
  498. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Data/Type/Any.hs
  499. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.04s"
  500. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.04s"
  501. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.04s"
  502. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 11 sections 0 setups 0 lenses."
  503. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 12 sections 0 setups 0 lenses."
  504. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.04s"
  505. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.03s"
  506. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 15 sections 0 setups 0 lenses."
  507. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 8 sections 0 setups 0 lenses."
  508. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 6 sections 0 setups 0 lenses."
  509. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.03s"
  510. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Theory/Distribution.lhs
  511. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.25s"
  512. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 11 sections 0 setups 0 lenses."
  513. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 12 sections 0 setups 0 lenses."
  514. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 15 sections 0 setups 0 lenses."
  515. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 8 sections 0 setups 0 lenses."
  516. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 6 sections 0 setups 0 lenses."
  517. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 11 sections 0 setups 0 lenses."
  518. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 15 sections 0 setups 0 lenses."
  519. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 8 sections 0 setups 0 lenses."
  520. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 12 sections 0 setups 0 lenses."
  521. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 6 sections 0 setups 0 lenses."
  522. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.16s"
  523. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.29s"
  524. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.19s"
  525. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.20s"
  526. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.19s"
  527. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.19s"
  528. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.22s"
  529. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.22s"
  530. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.19s"
  531. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.24s"
  532. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.20s"
  533. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.16s"
  534. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Lens/Internal.hie
  535. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.16s"
  536. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.02s"
  537. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.02s"
  538. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.24s"
  539. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.16s"
  540. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.02s"
  541. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.02s"
  542. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.02s"
  543. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "6.29s"
  544. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.01s"
  545. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.01s"
  546. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.01s"
  547. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.01s"
  548. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.01s"
  549. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.01s"
  550. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.01s"
  551. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.01s"
  552. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.01s"
  553. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.01s"
  554. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Communism.hie
  555. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src-internal/Lens/Internal.hs
  556. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.60s"
  557. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.59s"
  558. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.60s"
  559. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.60s"
  560. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.60s"
  561. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.59s"
  562. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.59s"
  563. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.59s"
  564. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.59s"
  565. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.59s"
  566. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.56s"
  567. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.56s"
  568. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.56s"
  569. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.56s"
  570. src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.56s"
  571. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Communism.lhs
  572. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/CoreTypes/TypedValue.hie
  573. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/CoreTypes/TypedValue.hs
  574. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/CoreTypes/RealTimeBalance.hie
  575. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/CoreTypes/RealTimeBalance.hs
  576. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/CoreTypes.hie
  577. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/CoreTypes.hs
  578. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/Concepts/MonetaryUnitData.hie
  579. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Concepts/MonetaryUnitData.hs
  580. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/SubSystems/BufferBasedSolvency.hie
  581. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/SubSystems/BufferBasedSolvency.hs
  582. Finished: codeLens.TypeCheck Took: 0.70s
  583. Finished: QualifyImportedNames.TypeCheck Took: 0.90s
  584. Finished: classplugin.TypeCheck Took: 0.89s
  585. Finished: classplugin.TypeCheck Took: 0.88s
  586. Finished: classplugin.TypeCheck Took: 0.73s
  587. Finished: codeLens.TypeCheck Took: 0.76s
  588. Finished: codeLens.TypeCheck Took: 0.76s
  589. Finished: classplugin.TypeCheck Took: 0.76s
  590. Finished: classplugin.TypeCheck Took: 0.77s
  591. Finished: codeLens.TypeCheck Took: 0.80s
  592. Finished: codeLens.TypeCheck Took: 0.80s
  593. Finished: codeLens.TypeCheck Took: 0.80s
  594. Finished: codeLens.TypeCheck Took: 0.80s
  595. Finished: classplugin.TypeCheck Took: 0.90s
  596. Finished: classplugin.TypeCheck Took: 0.90s
  597. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  598. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  599. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  600. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  601. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  602. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  603. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  604. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  605. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  606. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  607. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  608. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  609. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  610. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  611. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  612. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  613. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  614. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  615. Finished: Took: 0.92s
  616. Finished: Took: 0.74s
  617. Finished: Took: 0.78s
  618. Finished: Took: 0.78s
  619. Finished: Took: 0.91s
  620. Finished: Took: 0.91s
  621. Finished: Took: 0.91s
  622. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  623. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  624. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  625. Finished: RefineImports Took: 0.72s
  626. Finished: RefineImports Took: 0.78s
  627. Finished: RefineImports Took: 0.79s
  628. Finished: RefineImports Took: 0.92s
  629. Finished: RefineImports Took: 0.81s
  630. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  631. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  632. Finished: RefineImports Took: 0.92s
  633. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  634. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  635. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  636. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  637. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  638. Finished: RefineImports Took: 0.92s
  639. Finished: C:GetHieAst:/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Concepts/Agreement.hs Took: 0.93s
  640. Finished: codeLens.GetBindings Took: 0.03s
  641. Finished: codeLens.GetBindings Took: 0.03s
  642. Finished: codeLens.GetBindings Took: 0.03s
  643. Finished: codeLens.GetBindings Took: 0.03s
  644. Finished: codeLens.GetBindings Took: 0.03s
  645. Finished: codeLens.GetBindings Took: 0.03s
  646. Finished: codeLens.GetBindings Took: 0.03s
  647. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  648. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  649. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  650. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  651. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  652. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  653. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  654. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/SystemTypes.hie
  655. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/SystemTypes.hs
  656. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/MonetaryUnitData/MintedValue.hie
  657. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/MonetaryUnitData/MintedValue.hs
  658. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/MonetaryUnitData/InstantValue.hie
  659. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/MonetaryUnitData/InstantValue.hs
  660. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/Agreements/Indexes/ProportionalDistributionCommon.hie
  661. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/Indexes/ProportionalDistributionCommon.hs
  662. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/MonetaryUnitData/DecayingFlow.hie
  663. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/MonetaryUnitData/DecayingFlow.hs
  664. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/MonetaryUnitData/ConstantFlow.hie
  665. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/MonetaryUnitData/ConstantFlow.hs
  666. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/Agreements/InstantTransferAgreement.hie
  667. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/InstantTransferAgreement.hs
  668. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/Agreements/MinterAgreement.hie
  669. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/MinterAgreement.hs
  670. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/Agreements/ConstantFlowAgreement.hie
  671. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/ConstantFlowAgreement.hs
  672. Finished: classplugin.TypeCheck Took: 1.32s
  673. Finished: classplugin.TypeCheck Took: 1.31s
  674. Finished: QualifyImportedNames.TypeCheck Took: 1.30s
  675. Finished: classplugin.TypeCheck Took: 1.33s
  676. Finished: codeLens.TypeCheck Took: 1.24s
  677. Finished: classplugin.TypeCheck Took: 1.28s
  678. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/Agreements/InstantDistributionAgreement.hie
  679. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/InstantDistributionAgreement.hs
  680. Finished: codeLens.TypeCheck Took: 1.30s
  681. Finished: classplugin.TypeCheck Took: 1.31s
  682. Finished: codeLens.TypeCheck Took: 1.31s
  683. Finished: classplugin.TypeCheck Took: 1.32s
  684. Finished: codeLens.TypeCheck Took: 1.34s
  685. Finished: codeLens.TypeCheck Took: 1.34s
  686. Finished: codeLens.TypeCheck Took: 1.44s
  687. Finished: classplugin.TypeCheck Took: 1.44s
  688. Finished: codeLens.TypeCheck Took: 1.44s
  689. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/Agreements/DecayingFlowAgreement.hie
  690. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/DecayingFlowAgreement.hs
  691. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.04s
  692. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  693. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  694. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  695. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  696. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.03s
  697. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.04s
  698. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  699. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  700. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  701. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  702. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  703. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  704. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  705. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  706. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  707. Finished: Took: 1.51s
  708. Finished: Took: 1.49s
  709. Finished: Took: 1.40s
  710. Finished: Took: 1.51s
  711. Finished: Took: 1.38s
  712. Finished: Took: 1.37s
  713. Finished: Took: 1.35s
  714. Finished: C:GetHieAst:/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/ConstantFlowDistributionAgreement.hs Took: 1.52s
  715. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  716. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  717. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  718. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  719. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  720. Finished: RefineImports Took: 1.53s
  721. Finished: RefineImports Took: 1.41s
  722. Finished: RefineImports Took: 1.39s
  723. Finished: codeLens.GetBindings Took: 0.07s
  724. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  725. Finished: RefineImports Took: 1.36s
  726. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  727. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  728. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  729. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  730. Finished: codeLens.GetBindings Took: 0.05s
  731. Finished: codeLens.GetBindings Took: 0.05s
  732. Finished: codeLens.GetBindings Took: 0.05s
  733. Finished: codeLens.GetBindings Took: 0.05s
  734. Finished: codeLens.GetBindings Took: 0.05s
  735. Finished: codeLens.GetBindings Took: 0.06s
  736. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  737. Finished: RefineImports Took: 1.43s
  738. Finished: RefineImports Took: 1.43s
  739. Finished: RefineImports Took: 1.53s
  740. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/Agreements/Indexes/UniversalIndex.hie
  741. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  742. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  743. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  744. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  745. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  746. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  747. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  748. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  749. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/Indexes/UniversalIndex.hs
  750. Finished: classplugin.TypeCheck Took: 1.57s
  751. Finished: codeLens.TypeCheck Took: 1.38s
  752. Finished: classplugin.TypeCheck Took: 1.41s
  753. Finished: codeLens.TypeCheck Took: 1.44s
  754. Finished: codeLens.TypeCheck Took: 1.44s
  755. Finished: classplugin.TypeCheck Took: 1.44s
  756. Finished: classplugin.TypeCheck Took: 1.45s
  757. Finished: codeLens.TypeCheck Took: 1.56s
  758. Finished: codeLens.TypeCheck Took: 1.57s
  759. Finished: codeLens.TypeCheck Took: 1.57s
  760. Finished: classplugin.TypeCheck Took: 1.58s
  761. Finished: QualifyImportedNames.TypeCheck Took: 1.58s
  762. Finished: Took: 1.58s
  763. Finished: Took: 1.41s
  764. Finished: Took: 1.44s
  765. Finished: classplugin.TypeCheck Took: 1.47s
  766. Finished: Took: 1.45s
  767. Finished: Took: 1.58s
  768. Finished: Took: 1.58s
  769. Finished: Took: 1.58s
  770. Finished: classplugin.TypeCheck Took: 1.58s
  771. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  772. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  773. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  774. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  775. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  776. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  777. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  778. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  779. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  780. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  781. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  782. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  783. Finished: codeLens.TypeCheck Took: 1.58s
  784. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  785. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  786. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  787. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  788. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  789. Finished: C:GetHieAst:/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Agreements/Indexes/ProportionalDistributionIndex.hs Took: 1.60s
  790. Finished: RefineImports Took: 1.61s
  791. Finished: RefineImports Took: 1.41s
  792. Finished: RefineImports Took: 1.50s
  793. Finished: RefineImports Took: 1.50s
  794. Finished: RefineImports Took: 1.61s
  795. Finished: RefineImports Took: 1.47s
  796. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/MonetaryUnit.hie
  797. Finished: RefineImports Took: 1.48s
  798. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  799. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  800. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  801. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  802. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  803. Finished: codeLens.GetBindings Took: 0.03s
  804. Finished: codeLens.GetBindings Took: 0.01s
  805. Finished: codeLens.GetBindings Took: 0.03s
  806. Finished: codeLens.GetBindings Took: 0.03s
  807. Finished: codeLens.GetBindings Took: 0.03s
  808. Finished: codeLens.GetBindings Took: 0.03s
  809. Finished: codeLens.GetBindings Took: 0.03s
  810. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  811. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  812. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  813. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  814. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  815. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  816. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  817. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  818. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  819. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  820. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  821. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  822. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  823. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/MonetaryUnit.hs
  824. Finished: classplugin.TypeCheck Took: 1.60s
  825. Finished: classplugin.TypeCheck Took: 1.61s
  826. Finished: QualifyImportedNames.TypeCheck Took: 1.70s
  827. Finished: RefineImports Took: 1.72s
  828. Finished: RefineImports Took: 1.60s
  829. Finished: RefineImports Took: 1.61s
  830. Finished: RefineImports Took: 1.61s
  831. Finished: codeLens.TypeCheck Took: 1.58s
  832. Finished: codeLens.TypeCheck Took: 1.58s
  833. Finished: classplugin.TypeCheck Took: 1.56s
  834. Finished: codeLens.TypeCheck Took: 1.52s
  835. Finished: classplugin.TypeCheck Took: 1.73s
  836. Finished: RefineImports Took: 1.59s
  837. Finished: RefineImports Took: 1.53s
  838. Finished: classplugin.TypeCheck Took: 1.73s
  839. Finished: codeLens.TypeCheck Took: 1.73s
  840. Finished: codeLens.TypeCheck Took: 1.63s
  841. Finished: codeLens.TypeCheck Took: 1.62s
  842. Finished: codeLens.TypeCheck Took: 1.62s
  843. Finished: classplugin.TypeCheck Took: 1.60s
  844. Finished: classplugin.TypeCheck Took: 1.60s
  845. Finished: RefineImports Took: 1.62s
  846. Finished: Took: 1.77s
  847. Finished: Took: 1.67s
  848. Finished: Took: 1.62s
  849. Finished: Took: 1.65s
  850. Finished: Took: 1.68s
  851. Finished: Took: 1.66s
  852. Finished: Took: 1.79s
  853. Finished: C:GetHieAst:/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/TestTypes.hs Took: 1.82s
  854. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.06s
  855. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  856. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  857. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  858. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.06s
  859. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  860. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  861. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  862. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  863. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  864. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  865. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.03s
  866. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  867. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  868. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  869. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  870. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  871. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  872. Cancelling textDocument/codeAction(52) in hook post-command-hook
  873. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.03s
  874. Finished: codeLens.GetBindings Took: 0.07s
  875. Finished: codeLens.GetBindings Took: 0.07s
  876. Finished: codeLens.GetBindings Took: 0.02s
  877. Finished: codeLens.GetBindings Took: 0.02s
  878. Finished: codeLens.GetBindings Took: 0.02s
  879. Finished: codeLens.GetBindings Took: 0.02s
  880. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  881. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  882. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  883. Finished: codeLens.GetBindings Took: 0.04s
  884. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  885. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  886. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  887. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  888. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  889. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  890. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.03s
  891. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  892. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  893. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  894. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.04s
  895. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.04s
  896. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.04s
  897. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/superfluid-protocol-spec-core-0.0.1.0-inplace-c3ace1b78571e23223ba2526ae978c2ace824918/Money/Systems/Superfluid/Token.hie
  898. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/src/Money/Systems/Superfluid/Token.hs
  899. Finished: InitialLoad Took: 1.80s
  900. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/main-7f6943269a95ca47d88427e3fa399f2a5c88ef05/Money/Systems/Superfluid/RealTimeBalance_prop.hie
  901. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/RealTimeBalance_prop.hs
  902. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/main-7f6943269a95ca47d88427e3fa399f2a5c88ef05/Money/Systems/Superfluid/ConstantFlowAgreement_prop.hie
  903. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowAgreement_prop.hs
  904. Finished: classplugin.TypeCheck Took: 2.10s
  905. Finished: classplugin.TypeCheck Took: 2.10s
  906. Finished: classplugin.TypeCheck Took: 2.10s
  907. Finished: codeLens.TypeCheck Took: 2.09s
  908. Finished: codeLens.TypeCheck Took: 2.09s
  909. Finished: codeLens.TypeCheck Took: 2.00s
  910. Finished: codeLens.TypeCheck Took: 1.98s
  911. Finished: classplugin.TypeCheck Took: 1.97s
  912. Finished: classplugin.TypeCheck Took: 1.96s
  913. Finished: codeLens.TypeCheck Took: 1.96s
  914. Finished: codeLens.TypeCheck Took: 1.96s
  915. Finished: classplugin.TypeCheck Took: 1.93s
  916. Finished: codeLens.TypeCheck Took: 1.90s
  917. Finished: QualifyImportedNames.TypeCheck Took: 2.10s
  918. Finished: QualifyImportedNames.TypeCheck Took: 2.00s
  919. Finished: classplugin.TypeCheck Took: 2.00s
  920. Finished: QualifyImportedNames.TypeCheck Took: 1.99s
  921. Finished: Took: 2.11s
  922. Finished: Took: 1.91s
  923. Finished: Took: 1.97s
  924. Finished: Took: 1.97s
  925. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  926. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  927. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.01s
  928. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  929. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  930. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  931. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  932. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  933. Finished: Took: 2.10s
  934. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  935. Finished: Took: 1.99s
  936. Finished: Took: 1.99s
  937. Finished: classplugin.GetInstanceBindTypeSigs Took: 0.00s
  938. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  939. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  940. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  941. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  942. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  943. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  944. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  945. SUCCEEDED LOADING HIE FILE FOR /home/hellwolf/.cache/ghcide/main-7f6943269a95ca47d88427e3fa399f2a5c88ef05/_home_hellwolf_Projects_superfluid_protocol-monorepo_spec_packages_spec-haskell_packages_core_test_Tests/hs.hie
  946. Finished: classplugin.insertPragmaIfNotPresent.GhcSession Took: 0.00s
  947. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  948. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  949. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  950. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  951. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  952. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  953. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  954. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  955. Finished: RefineImports Took: 2.13s
  956. Finished: RefineImports Took: 1.93s
  957. Finished: RefineImports Took: 2.12s
  958. Finished: RefineImports Took: 1.99s
  959. Finished: RefineImports Took: 2.03s
  960. Finished: RefineImports Took: 1.99s
  961. Finished: RefineImports Took: 2.01s
  962. Re-indexing hie file for /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Tests.hs
  963. Finished: InitialLoad Took: 2.13s
  964. Finished: classplugin.insertPragmaIfNotPresent.GetFileContents Took: 0.00s
  965. Finished: classplugin.insertPragmaIfNotPresent.GetParsedModuleWithComments Took: 0.00s
  966. Finished: C:GetHieAst:/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs Took: 2.14s
  967. Finished: C:GetHieAst:/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs Took: 2.14s
  968. Finished: C:GetHieAst:/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs Took: 2.14s
  969. Finished: C:GetHieAst:/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs Took: 2.03s
  970. Finished: ExplicitFixity.GetFixity Took: 2.13s
  971. Finished: codeLens.GetBindings Took: 0.03s
  972. Finished: codeLens.GetBindings Took: 0.03s
  973. Finished: codeLens.GetBindings Took: 0.03s
  974. Finished: codeLens.GetBindings Took: 0.03s
  975. Finished: codeLens.GetBindings Took: 0.03s
  976. Finished: codeLens.GetBindings Took: 0.03s
  977. Finished: codeLens.GetBindings Took: 0.03s
  978. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.01s
  979. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.01s
  980. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  981. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  982. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  983. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  984. Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
  985. Finished: C:GetDocMap:/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs Took: 2.14s
  986. DocumentHighlight request at position 60:28 in file: /home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs
  987. Finished: RefineImports Took: 0.00s
  988. Finished: C:GetHieAst:/home/hellwolf/Projects/superfluid/protocol-monorepo_spec/packages/spec-haskell/packages/core/test/Money/Systems/Superfluid/ConstantFlowDistributionAgreement_prop.hs Took: 0.00s
  989. Finished: Hlint.GetFileContents Took: 0.00s
  990. Finished: alternateNumberFormat.CollectLiterals Took: 0.00s
  991. Finished: Pragmas.GhcSession Took: 0.00s
  992. Finished: changeTypeSignature.GetParsedModule Took: 0.00s
  993. Finished: GADT.GetParsedModuleWithComments Took: 0.00s
  994. Finished: importLens Took: 0.00s
  995. Finished: QualifyImportedNames.TypeCheck Took: 0.00s
  996. Finished: GhcideCodeActions.getParsedModule Took: 0.00s
  997. Finished: Hlint.GetModSummary Took: 0.00s
  998. Finished: Pragmas.GetFileContents Took: 0.00s
  999. Finished: alternateNumberFormat.GhcSession Took: 0.00s
  1000. Finished: alternateNumberFormat.GetFileContents Took: 0.00s
  1001. Finished: Pragmas.GetParsedModule Took: 0.00s
  1002.  
  1003. ```
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!