~jojo/Carth

ref: 55fb4f948f1f3797078b584dc60b4f7dd68b37ed Carth/carth.cabal -rw-r--r-- 4.1 KiB
55fb4f94JoJo Check `cast` in Infer instead of Gen 3 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
cabal-version: 2.2

name:           carth
version:        0.0.4.0
description:    Please see the README on Sourcehut at <https://sr.ht/~jojo/Carth>
homepage:       https://carth.pink
author:         Johan Johansson
maintainer:     jo@jo.zone
copyright:      2020 Johan Johansson
license:        AGPL-3.0-or-later
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    CHANGELOG.org

source-repository head
  type: git
  location: https://github.com/bryal/carth

library
  exposed-modules:
      Check
      Checked
      Codegen
      Compile
      Conf
      EnvVars
      Extern
      FreeVars
      Gen
      Infer
      Inferred
      Literate
      Match
      Misc
      Monomorphic
      Monomorphize
      Lower
      Low
      Lex
      Lexd
      Macro
      Parse
      Parser
      Parsed
      Pretty
      Selections
      SrcPos
      Subst
      Err
      TypeAst
  other-modules:
  hs-source-dirs:
      src
  ghc-options: -Weverything -Werror -Wno-safe -Wno-unsafe -Wno-missing-import-lists -Wno-missing-exported-signatures -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -Wno-name-shadowing -Wno-orphans -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unticked-promoted-constructors -Wno-missing-deriving-strategies -Wno-missing-export-lists -Wno-missing-safe-haskell-mode -Wno-prepositive-qualified-module -Wno-compat-unqualified-imports
  build-depends:
      base
    , bytestring
    , containers
    , directory
    , exceptions
    , filepath
    , llvm-hs
    , llvm-hs-pure
    , llvm-hs-pretty
    , megaparsec
    , microlens-platform
    , mtl
    , parser-combinators
    , prettyprinter
    , process
    , utf8-string
  default-extensions:
      LambdaCase
    , TupleSections
    , FlexibleContexts
    , FlexibleInstances
    , OverloadedStrings
    , MultiParamTypeClasses
    , TypeSynonymInstances
    , KindSignatures
    , GeneralizedNewtypeDeriving
    , TypeFamilies
    , TypeApplications
  default-language: Haskell2010

executable carth
  main-is: Main.hs
  other-modules:
      GetConfig
      Prebaked
  hs-source-dirs:
      app
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Weverything -Werror -Wno-safe -Wno-unsafe -Wno-missing-import-lists -Wno-missing-exported-signatures -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -Wno-name-shadowing -Wno-orphans -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unticked-promoted-constructors -Wno-missing-deriving-strategies -Wno-missing-export-lists -Wno-missing-safe-haskell-mode -Wno-prepositive-qualified-module -Wno-compat-unqualified-imports
  build-depends:
      base
    , carth
    , filepath
    , megaparsec
    , mtl
    , template-haskell
  default-extensions:
      LambdaCase
    , TupleSections
    , FlexibleContexts
    , FlexibleInstances
    , OverloadedStrings
    , MultiParamTypeClasses
    , TypeSynonymInstances
    , KindSignatures
    , GeneralizedNewtypeDeriving
    , TypeFamilies
    , TypeApplications
  default-language: Haskell2010

test-suite carth-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      SystemSpec
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Weverything -Werror -Wno-safe -Wno-unsafe -Wno-missing-import-lists -Wno-missing-exported-signatures -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -Wno-name-shadowing -Wno-orphans -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unticked-promoted-constructors -Wno-missing-deriving-strategies -Wno-missing-export-lists -Wno-missing-safe-haskell-mode -Wno-prepositive-qualified-module -Wno-compat-unqualified-imports
  build-depends:
      base
    , carth
    , directory
    , filepath
    , mtl
    , hspec
    , silently
  default-extensions:
      LambdaCase
    , TupleSections
    , FlexibleContexts
    , FlexibleInstances
    , OverloadedStrings
    , MultiParamTypeClasses
    , TypeSynonymInstances
    , KindSignatures
    , GeneralizedNewtypeDeriving
    , TypeFamilies
    , TypeApplications
  default-language: Haskell2010