a silly little programming language inspired by datalog.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

171 lines
3.2KB

  1. name: logi
  2. version: 0.1.0
  3. license: Apache-2.0
  4. author: "Gil Mizrahi"
  5. maintainer: "gilmi@posteo.net"
  6. copyright: "2020 Gil Mizrahi"
  7. extra-source-files:
  8. - README.org
  9. dependencies:
  10. - base
  11. - relude
  12. - random
  13. - containers
  14. - vector
  15. - groom
  16. - transformers
  17. - mtl
  18. - lens
  19. - deepseq
  20. - groom
  21. - text
  22. - cereal
  23. - bytestring
  24. - megaparsec
  25. - uniplate
  26. - regex-tdfa
  27. - prettyprinter
  28. - csv
  29. library:
  30. source-dirs: src
  31. default-extensions:
  32. - BangPatterns
  33. - ConstraintKinds
  34. - DataKinds
  35. - DeriveAnyClass
  36. - DeriveDataTypeable
  37. - DeriveFoldable
  38. - DeriveFunctor
  39. - DeriveGeneric
  40. - DeriveTraversable
  41. - EmptyDataDecls
  42. - FlexibleContexts
  43. - FlexibleInstances
  44. - FunctionalDependencies
  45. - KindSignatures
  46. - LambdaCase
  47. - MultiParamTypeClasses
  48. - MultiWayIf
  49. - NamedFieldPuns
  50. - NoImplicitPrelude
  51. - NumericUnderscores
  52. - OverloadedStrings
  53. - PatternGuards
  54. - PatternSynonyms
  55. - QuasiQuotes
  56. - RankNTypes
  57. - RecordWildCards
  58. - ScopedTypeVariables
  59. - TupleSections
  60. - TypeApplications
  61. - TypeSynonymInstances
  62. - ViewPatterns
  63. executables:
  64. logi-repl:
  65. main: Main.hs
  66. source-dirs: app
  67. dependencies:
  68. - relude
  69. - optparse-generic
  70. - logi
  71. - repline
  72. ghc-options:
  73. - -Wall
  74. - -fno-warn-missing-signatures
  75. # - -Werror
  76. - -O2
  77. - -rtsopts
  78. - -funfolding-use-threshold=16
  79. - -optc-O3
  80. default-extensions:
  81. - BangPatterns
  82. - ConstraintKinds
  83. - DataKinds
  84. - DeriveAnyClass
  85. - DeriveDataTypeable
  86. - DeriveFoldable
  87. - DeriveFunctor
  88. - DeriveGeneric
  89. - DeriveTraversable
  90. - EmptyDataDecls
  91. - FlexibleContexts
  92. - FlexibleInstances
  93. - FunctionalDependencies
  94. - KindSignatures
  95. - LambdaCase
  96. - MultiParamTypeClasses
  97. - MultiWayIf
  98. - NamedFieldPuns
  99. - NoImplicitPrelude
  100. - NumericUnderscores
  101. - OverloadedStrings
  102. - PatternGuards
  103. - PatternSynonyms
  104. - QuasiQuotes
  105. - RankNTypes
  106. - RecordWildCards
  107. - ScopedTypeVariables
  108. - TupleSections
  109. - TypeApplications
  110. - TypeSynonymInstances
  111. - ViewPatterns
  112. tests:
  113. test:
  114. main: Test.hs
  115. source-dirs: test
  116. dependencies:
  117. - relude
  118. - hspec
  119. - mtl
  120. - logi
  121. ghc-options:
  122. - -Wall
  123. - -fno-warn-missing-signatures
  124. - -O2
  125. - -rtsopts
  126. - -funfolding-use-threshold=16
  127. - -optc-O3
  128. - -threaded
  129. default-extensions:
  130. - BangPatterns
  131. - ConstraintKinds
  132. - DataKinds
  133. - DeriveAnyClass
  134. - DeriveDataTypeable
  135. - DeriveFoldable
  136. - DeriveFunctor
  137. - DeriveGeneric
  138. - DeriveTraversable
  139. - EmptyDataDecls
  140. - FlexibleContexts
  141. - FlexibleInstances
  142. - FunctionalDependencies
  143. - KindSignatures
  144. - LambdaCase
  145. - MultiParamTypeClasses
  146. - MultiWayIf
  147. - NamedFieldPuns
  148. - NoImplicitPrelude
  149. - NumericUnderscores
  150. - OverloadedStrings
  151. - PatternGuards
  152. - PatternSynonyms
  153. - QuasiQuotes
  154. - RankNTypes
  155. - RecordWildCards
  156. - ScopedTypeVariables
  157. - TupleSections
  158. - TypeApplications
  159. - TypeSynonymInstances
  160. - ViewPatterns