2021-09-26 19:59:51 +03:00
|
|
|
cabal-version: 2.4
|
|
|
|
|
name: MiniJuvix
|
|
|
|
|
version: 0.0.0.0
|
|
|
|
|
license: GPL-3.0-only
|
|
|
|
|
license-file: LICENSE
|
|
|
|
|
copyright: 2021 Heliax AG
|
|
|
|
|
maintainer: Jonathan Prieto-Cubides <jonathan@heliax.dev>
|
|
|
|
|
author: [Jonathan Prieto-Cubides]
|
|
|
|
|
tested-with: ghc ==8.10.4 ghc ==8.10.7
|
|
|
|
|
homepage: https://github.com/heliaxdev/MiniJuvix
|
|
|
|
|
bug-reports: https://github.com/heliaxdev/MiniJuvix/issues
|
|
|
|
|
description:
|
|
|
|
|
A tiny dependent typed programming language for experimentation.
|
|
|
|
|
|
|
|
|
|
category: Compilers/Interpreters
|
|
|
|
|
build-type: Simple
|
|
|
|
|
extra-doc-files:
|
|
|
|
|
README.md
|
|
|
|
|
CHANGELOG.md
|
|
|
|
|
|
|
|
|
|
source-repository head
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/heliaxdev/MiniJuvix.git
|
|
|
|
|
|
|
|
|
|
library
|
2021-10-26 15:49:51 +03:00
|
|
|
exposed-modules:
|
|
|
|
|
MiniJuvix.Syntax.Core
|
|
|
|
|
MiniJuvix.Syntax.Eval
|
|
|
|
|
MiniJuvix.Utils.Prelude
|
2021-11-06 02:46:28 +03:00
|
|
|
MiniJuvix.Utils.Pretty
|
2021-11-14 00:46:54 +03:00
|
|
|
MiniJuvix.Utils.Parser
|
2021-11-15 00:18:30 +03:00
|
|
|
MiniJuvix.Parsing.Statements
|
2021-11-14 00:46:54 +03:00
|
|
|
MiniJuvix.Parsing.Error
|
|
|
|
|
MiniJuvix.Parsing.Location
|
2021-11-14 16:22:29 +03:00
|
|
|
MiniJuvix.Parsing.Parser
|
|
|
|
|
MiniJuvix.Desugaring.Error
|
|
|
|
|
MiniJuvix.Typing.Typechecking
|
|
|
|
|
MiniJuvix.Typing.Utils
|
|
|
|
|
MiniJuvix.Typing.Error
|
|
|
|
|
MiniJuvix.Error
|
|
|
|
|
MiniJuvix.Pretty
|
|
|
|
|
MiniJuvix.Pipeline
|
|
|
|
|
MiniJuvix.Monad
|
2021-10-26 15:49:51 +03:00
|
|
|
|
2021-09-26 19:59:51 +03:00
|
|
|
hs-source-dirs: src
|
2021-10-26 15:49:51 +03:00
|
|
|
other-modules: Paths_MiniJuvix
|
2021-09-26 19:59:51 +03:00
|
|
|
default-language: Haskell2010
|
2021-10-30 12:55:05 +03:00
|
|
|
default-extensions:
|
2021-11-14 00:46:54 +03:00
|
|
|
NoImplicitPrelude Safe DerivingStrategies StandaloneDeriving
|
|
|
|
|
MultiParamTypeClasses OverloadedStrings
|
2021-10-30 12:55:05 +03:00
|
|
|
|
2021-09-26 19:59:51 +03:00
|
|
|
ghc-options:
|
|
|
|
|
-Wall -Wcompat -Widentities -Wincomplete-uni-patterns
|
2021-10-26 15:49:51 +03:00
|
|
|
-Wincomplete-record-updates -fwrite-ide-info -hiedir=.hie
|
2021-10-30 12:55:05 +03:00
|
|
|
-Wderiving-defaults
|
2021-09-26 19:59:51 +03:00
|
|
|
|
|
|
|
|
build-depends:
|
2021-11-11 22:08:49 +03:00
|
|
|
aeson >=2.0 && <=2.1,
|
2021-09-26 19:59:51 +03:00
|
|
|
base >=4.14 && <=4.16,
|
2021-11-14 00:46:54 +03:00
|
|
|
bytestring >=0.11 && <=0.12,
|
|
|
|
|
capability >=0.5 && <=0.6,
|
|
|
|
|
containers >=0.6 && <=0.7,
|
2021-11-11 22:08:49 +03:00
|
|
|
filepath >=1.4 && <=1.5,
|
|
|
|
|
megaparsec >=9.2 && <=9.3,
|
|
|
|
|
prettyprinter >=1.7 && <=1.8,
|
|
|
|
|
prettyprinter-ansi-terminal >=1.1 && <=1.2,
|
|
|
|
|
process >=1.6 && <=1.7,
|
2021-11-14 00:46:54 +03:00
|
|
|
relude >=1.0 && <=1.1,
|
2021-10-26 15:49:51 +03:00
|
|
|
semirings >=0.6 && <=0.7,
|
2021-11-14 00:46:54 +03:00
|
|
|
unordered-containers >=0.2 && <=0.3,
|
|
|
|
|
word8 >=0.1 && <=0.2
|
2021-09-26 19:59:51 +03:00
|
|
|
|
|
|
|
|
if impl(ghc >=8.0)
|
|
|
|
|
ghc-options: -Wredundant-constraints
|
|
|
|
|
|
|
|
|
|
if impl(ghc >=8.2)
|
|
|
|
|
ghc-options: -fhide-source-paths
|
|
|
|
|
|
|
|
|
|
if impl(ghc >=8.4)
|
|
|
|
|
ghc-options: -Wmissing-export-lists -Wpartial-fields
|
|
|
|
|
|
|
|
|
|
if impl(ghc >=8.8)
|
|
|
|
|
ghc-options: -Wmissing-deriving-strategies
|
|
|
|
|
|
|
|
|
|
executable MiniJuvix
|
|
|
|
|
main-is: Main.hs
|
|
|
|
|
hs-source-dirs: src/app
|
|
|
|
|
default-language: Haskell2010
|
|
|
|
|
ghc-options:
|
|
|
|
|
-Wall -Wcompat -Widentities -Wincomplete-uni-patterns
|
|
|
|
|
-Wincomplete-record-updates -threaded -rtsopts -with-rtsopts=-N
|
2021-10-26 15:49:51 +03:00
|
|
|
-fwrite-ide-info -hiedir=.hie
|
|
|
|
|
|
2021-11-14 00:46:54 +03:00
|
|
|
build-depends: base >=4.14 && <=4.16
|
2021-09-26 19:59:51 +03:00
|
|
|
|
|
|
|
|
if impl(ghc >=8.0)
|
|
|
|
|
ghc-options: -Wredundant-constraints
|
|
|
|
|
|
|
|
|
|
if impl(ghc >=8.2)
|
|
|
|
|
ghc-options: -fhide-source-paths
|
|
|
|
|
|
|
|
|
|
if impl(ghc >=8.4)
|
|
|
|
|
ghc-options: -Wmissing-export-lists -Wpartial-fields
|
|
|
|
|
|
|
|
|
|
if impl(ghc >=8.8)
|
|
|
|
|
ghc-options: -Wmissing-deriving-strategies
|
|
|
|
|
|
|
|
|
|
test-suite MiniJuvix-test
|
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
|
main-is: Spec.hs
|
|
|
|
|
hs-source-dirs: src/test
|
|
|
|
|
default-language: Haskell2010
|
|
|
|
|
ghc-options:
|
|
|
|
|
-Wall -Wcompat -Widentities -Wincomplete-uni-patterns
|
|
|
|
|
-Wincomplete-record-updates -threaded -rtsopts -with-rtsopts=-N
|
|
|
|
|
|
2021-11-14 00:46:54 +03:00
|
|
|
build-depends: MiniJuvix -any
|
2021-09-26 19:59:51 +03:00
|
|
|
|
|
|
|
|
if impl(ghc >=8.0)
|
|
|
|
|
ghc-options: -Wredundant-constraints
|
|
|
|
|
|
|
|
|
|
if impl(ghc >=8.2)
|
|
|
|
|
ghc-options: -fhide-source-paths
|
|
|
|
|
|
|
|
|
|
if impl(ghc >=8.4)
|
|
|
|
|
ghc-options: -Wmissing-export-lists -Wpartial-fields
|
|
|
|
|
|
|
|
|
|
if impl(ghc >=8.8)
|
|
|
|
|
ghc-options: -Wmissing-deriving-strategies
|
