cabal-version:       2.4
name:                inferno-core
version:             0.1.0.0
synopsis:            A statically-typed functional scripting language
description:         Parser, type inference, and interpreter for a statically-typed functional scripting language
category:            DSL,Scripting
homepage:            https://github.com/plow-technologies/inferno.git#readme
bug-reports:         https://github.com/plow-technologies/inferno.git/issues
copyright:           Plow-Technologies LLC
license:             MIT
license-file:        LICENSE
author:              Sam Balco
maintainer:          info@plowtech.net
build-type:          Simple
extra-source-files:
    CHANGELOG.md
    golden/**/*.json

source-repository head
  type: git
  location: https://github.com/plow-technologies/inferno.git

library
  exposed-modules:
      Inferno.Eval
    , Inferno.Eval.Error
    , Inferno.Infer
    , Inferno.Infer.Env
    , Inferno.Infer.Exhaustiveness
    , Inferno.Infer.Pinned
    , Inferno.Module
    , Inferno.Module.Cast
    , Inferno.Module.Builtin
    , Inferno.Module.Prelude
    , Inferno.Parse
    , Inferno.Parse.Commented
    , Inferno.Parse.Error
    , Inferno.Utils.QQ.Script
    , Inferno.Utils.QQ.Module
  other-modules:
      Inferno.Infer.Error
    , Inferno.Module.Prelude.Defs
    , Inferno.Utils.QQ.Common
  hs-source-dirs:
      src
  ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
  build-depends:
      base                 >= 4.13 && < 4.17
    , bimap                >= 0.5.0 && < 0.6
    , bytestring           >= 0.10.10 && < 0.12
    , containers           >= 0.6.2 && < 0.7
    , cryptonite           >= 0.30 && < 0.31
    , exceptions           >= 0.10.4 && < 0.11
    , generic-lens         >= 2.2.1 && < 2.3
    , inferno-types        >= 0.1.0 && < 0.2
    , megaparsec           >= 9.2.1 && < 9.3
    , memory               >= 0.18.0 && < 0.19
    , mtl                  >= 2.2.2 && < 2.3
    , parser-combinators   >= 1.3.0 && < 1.4
    , picosat              >= 0.1.6 && < 0.2
    , prettyprinter        >= 1.7.1 && < 1.8
    , recursion-schemes    >= 5.2.2 && < 5.3
    , syb                  >= 0.7.2 && < 0.8
    , template-haskell     >= 2.15 && < 2.19
    , text                 >= 2.0.1 && < 2.1
    , time                 >= 1.9.3 && < 1.12

  default-language: Haskell2010
  default-extensions:
      DeriveDataTypeable
    , DeriveFunctor
    , DeriveGeneric
    , FlexibleContexts
    , FlexibleInstances
    , LambdaCase
    , MultiParamTypeClasses
    , OverloadedStrings
    , TupleSections
    , RecordWildCards

test-suite inferno-tests
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Spec.hs
  other-modules:
      Eval.Spec
    , Golden.Spec
    , Infer.Spec
    , Parse.Spec
    , Utils
  build-depends:
      base >=4.7 && <5
    , containers
    , exceptions
    , hspec
    , hspec-golden-aeson
    , inferno-core
    , inferno-types
    , inferno-vc
    , megaparsec
    , mtl
    , prettyprinter
    , pretty-simple
    , QuickCheck
    , recursion-schemes
    , text
  default-language:    Haskell2010
  default-extensions:
      DeriveDataTypeable
    , DeriveFunctor
    , DeriveGeneric
    , FlexibleContexts
    , FlexibleInstances
    , LambdaCase
    , OverloadedStrings
    , TupleSections
    , RecordWildCards
  ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates