-
Notifications
You must be signed in to change notification settings - Fork 8
/
visualize-cbn.cabal
82 lines (79 loc) · 3.07 KB
/
visualize-cbn.cabal
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
cabal-version: >=1.10
name: visualize-cbn
version: 0.2.1
synopsis: Visualize CBN reduction
description: CBN interpretation and visualization tool.
Exports in text format, coloured text (ANSI) or HTML/JavaScript.
license: BSD3
license-file: LICENSE
author: Edsko de Vries
maintainer: [email protected]
copyright: Well-Typed LLP
category: Development
build-type: Simple
extra-source-files: ChangeLog.md README.md CONTRIBUTORS
tested-with:
GHC == 9.8.1
GHC == 9.6.3
GHC == 9.4.8
GHC == 9.2.8
GHC == 9.0.2
GHC == 8.10.7
source-repository head
type: git
location: https://github.com/well-typed/visualize-cbn
executable visualize-cbn
main-is: Main.hs
other-modules: CBN.Closure
CBN.Eval
CBN.Free
CBN.Heap
CBN.InlineHeap
CBN.Language
CBN.Options
CBN.Parser
CBN.Pretty
CBN.Pretty.Precedence
CBN.SelThunkOpt
CBN.Subst
CBN.Trace
CBN.Trace.HeapGraph
CBN.Trace.JavaScript
CBN.Trace.Textual
CBN.Trace.Graph
CBN.Util.Doc
CBN.Util.Doc.Rendered
CBN.Util.Doc.Rendered.ANSI
CBN.Util.Doc.Rendered.HTML
CBN.Util.Doc.Rendered.String
CBN.Util.Doc.Style
CBN.Util.Map
CBN.Util.Snoc
build-depends: base >= 4.14 && < 4.20
, ansi-terminal >= 1.0 && < 1.1
, blaze-html >= 0.9 && < 0.10
, blaze-markup >= 0.8 && < 0.9
, containers >= 0.6 && < 0.8
, data-default >= 0.7 && < 0.8
, mtl >= 2.2 && < 2.4
, optparse-applicative >= 0.18 && < 0.19
, parsec >= 3.1 && < 3.2
, template-haskell >= 2.16 && < 2.22
, text >= 1.2 && < 2.2
hs-source-dirs: src
default-language: Haskell2010
default-extensions: DeriveDataTypeable
ExistentialQuantification
FlexibleInstances
LambdaCase
RecordWildCards
ScopedTypeVariables
StandaloneDeriving
TupleSections
other-extensions: GeneralizedNewtypeDeriving
OverloadedStrings
TemplateHaskell
ghc-options: -Wall
-fno-warn-orphans
-rtsopts
"-with-rtsopts=-M128M"