sparcl/sparcl.cabal at master · kztk-m/sparcl · GitHub

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
cabal-version: 2.2
name: sparcl
version: 0.2.3
synopsis: A language for partial reversible computation with linear types
description:
author: Kazutaka Matsuda
maintainer: kztk@tohoku.ac.jp
copyright: 2018-2020, 2022, 2025, 2026 Kazutaka Matsuda
license: BSD-3-Clause
license-file: LICENSE
build-type: Simple
extra-source-files:
  README.md

common deps
  build-depends:
    --      ghc  >=8.4 && <8.8,
    --      hint >= 0.8 && <1,
    array ^>=0.5,
    base >=4.7 && <5,
    clock >=0.6 && <0.9,
    containers ^>=0.5 || ^>=0.6 || ^>=0.7,
    deepseq ^>=1.4 || ^>=1.5,
    directory ^>=1.3,
    exceptions >=0.10 && <0.11,
    fail ^>=4.9,
    filepath ^>=1.4 || ^>=1.5,
    haskeline >=0.7.5,
    megaparsec >=6.0 && <10,
    mtl ^>=2.2 || ^>=2.3,
    prettyprinter ^>=1.7,
    prettyprinter-ansi-terminal ^>=1.1.2 || ^>=1.1.3,
    template-haskell >=2.13 && <2.24,
    time >=1.8 && <1.13,

  ghc-options:
    -Wall

  if impl(ghc >=8.8)
    ghc-options:
      -fwrite-ide-info
      -hiedir=.hie
  default-language: Haskell2010
  default-extensions:
    BangPatterns
    DataKinds
    DeriveFoldable
    DeriveFunctor
    DeriveTraversable
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    GADTs
    GeneralizedNewtypeDeriving
    KindSignatures
    LambdaCase
    MultiParamTypeClasses
    MultiWayIf
    PatternSynonyms
    RankNTypes
    ScopedTypeVariables
    TupleSections
    TypeApplications
    TypeOperators

library
  import: deps
  exposed-modules:
    Language.Sparcl.Algorithm.SAT
    Language.Sparcl.Class
    Language.Sparcl.CodeGen.Haskell
    Language.Sparcl.Command
    Language.Sparcl.Core.Syntax
    Language.Sparcl.DebugPrint
    Language.Sparcl.Desugar
    Language.Sparcl.Eval
    Language.Sparcl.Exception
    Language.Sparcl.FreeTyVars
    Language.Sparcl.Literal
    Language.Sparcl.Module
    Language.Sparcl.Multiplicity
    Language.Sparcl.Name
    Language.Sparcl.Pass
    Language.Sparcl.Pretty
    Language.Sparcl.REPL
    Language.Sparcl.Renaming
    Language.Sparcl.SrcLoc
    Language.Sparcl.Surface.Parser.Exp
    Language.Sparcl.Surface.Parser.Helper
    Language.Sparcl.Surface.Parser.Id
    Language.Sparcl.Surface.Parsing
    Language.Sparcl.Surface.Syntax
    Language.Sparcl.TH
    Language.Sparcl.Typing.TCMonad
    Language.Sparcl.Typing.Type
    Language.Sparcl.Typing.Typing
    Language.Sparcl.Value

  other-modules:
  hs-source-dirs:
    src

benchmark typing
  import: deps
  type: exitcode-stdio-1.0
  main-is: Bench.hs
  hs-source-dirs:
    bench

  ghc-options:
    -fprof-auto
    -O2

  build-depends:
    sparcl

executable sparcl-exe
  import: deps
  main-is: Main.hs
  other-modules:
  hs-source-dirs:
    app

  ghc-options:
    -fprof-auto

  -- -threaded -rtsopts -with-rtsopts=-N
  build-depends:
    sparcl,
    sparcl-runtime,

test-suite sparcl-test
  import: deps
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
  hs-source-dirs:
    test

  ghc-options:
  -- -threaded -rtsopts -with-rtsopts=-N
  build-depends:
    sparcl,
    sparcl-runtime,