cabal-version: 3.0
name: assertica
version: 0.1.0.0
license: BSL-1.0
author: Ahmad Ali Parr
maintainer: ahmedparr93@gmail.com

common warnings
    ghc-options: -Wall -Wcompat -Wincomplete-record-updates
                 -Wincomplete-uni-patterns -Wredundant-constraints
                 -fno-warn-unticked-promoted-constructors

library
    import: warnings
    exposed-modules:
        Assertica.Core.AST
        Assertica.Core.Assertion
        Assertica.Core.Equality
        Assertica.Core.Invariants
        Assertica.Core.Module
        Assertica.Core.ModuleEnv
        Assertica.Core.TypeEnv
        Assertica.Core.TypeChecker
        Assertica.Core.ProofTerm
        Assertica.Core.Pattern
        Assertica.Core.Termination
        Assertica.Core.Positivity
        Assertica.Surface.AST
        Assertica.Surface.Lexer
        Assertica.Surface.Parser
        Assertica.Surface.Elaborator
        Assertica.Backend.CodeGen
        Assertica.Backend.TermCompiler
        Assertica.Backend.TypeCompiler
        Assertica.Backend.ProofCompiler
        Assertica.Backend.Emit
        Assertica.StdLib.Setoid
        Assertica.StdLib.Lattice
        Assertica.StdLib.Absorption
        Assertica.StdLib.Monomorphism
        Assertica.Verify.Pipeline
        Assertica.Verify.Report
        Assertica.Verify.ErrorReport
        Assertica.Verify.CI
        Assertica.Verify.CLI
    build-depends:
        base >=4.16 && <5,
        containers >=0.6,
        text >=1.2,
        mtl >=2.2,
        directory >=1.3,
        filepath >=1.4,
        time >=1.9
    hs-source-dirs: src
    default-language: Haskell2010

test-suite assertica-tests
    import: warnings
    type: exitcode-stdio-1.0
    main-is: Main.hs
    other-modules:
        Test.Core.AST
        Test.Core.Assertion
        Test.Core.Equality
        Test.Core.Invariants
        Test.Core.Module
        Test.Core.TypeChecker
        Test.Core.ProofTerm
        Test.Core.Termination
        Test.Core.Positivity
        Test.Core.Pattern
        Test.Surface.Lexer
        Test.Surface.Parser
        Test.Surface.Elaborator
        Test.Backend.CodeGen
        Test.Backend.TermCompiler
        Test.Backend.TypeCompiler
        Test.Backend.ProofCompiler
        Test.Backend.Emit
        Test.Backend.Integration
        Test.StdLib.Setoid
        Test.StdLib.Lattice
        Test.StdLib.Absorption
        Test.StdLib.Monomorphism
        Test.Verify.PipelineTests
        Test.Verify.ReportTests
        Test.Verify.CITests
        Test.Verify.ErrorReportTests
    build-depends:
        base >=4.16 && <5,
        assertica,
        containers >=0.6,
        text >=1.2,
        mtl >=2.2,
        tasty >=1.4,
        tasty-hunit >=0.10,
        tasty-quickcheck >=0.10,
        QuickCheck >=2.14
    hs-source-dirs: test
    default-language: Haskell2010