RoHs.cabal

cabal-version:      3.0
-- The cabal-version field refers to the version of the .cabal specification,
-- and can be different from the cabal-install (the tool) version and the
-- Cabal (the library) version you are using. As such, the Cabal (the library)
-- version used must be equal or greater than the version stated in this field.
-- Starting from the specification version 2.2, the cabal-version field must be
-- the first thing in the cabal file.

-- Initial package description 'RoHs' generated by
-- 'cabal init'. For further documentation, see:
--   http://haskell.org/cabal/users-guide/
--
-- The name of the package.
name:               RoHs

-- The package version.
-- See the Haskell package versioning policy (PVP) for standards
-- guiding when and how versions should be incremented.
-- https://pvp.haskell.org
-- PVP summary:     +-+------- breaking API changes
--                  | | +----- non-breaking API additions
--                  | | | +--- code changes with no API change
version:            0.1.0.0

-- A short (one-line) description of the package.
synopsis:           Row Types in Haskell

-- A longer description of the package.
-- description:

-- The license under which the package is released.
license:            BSD-3-Clause

-- The file containing the license text.
license-file:       LICENSE

-- The package author(s).
author:             J. Garrett Morris, Apoorv Ingle

-- An email address to which users can send suggestions, bug reports, and patches.
maintainer:         garrett-morris@uiowa.edu, apoorv-ingle@uiowa.edu

-- A copyright notice.
-- copyright:
category:           Data
build-type:         Simple

-- Extra doc files to be distributed with the package, such as a CHANGELOG or a README.
extra-doc-files:    README.md

-- Extra source files to be distributed with the package, such as examples, or a tutorial module.
-- extra-source-files:

common ghcopts
    ghc-options: -Wall
                 -dcore-lint
                 -dstg-lint
                 -falignment-sanitisation
                 -- -finfo-table-map
                 -- -fdistinct-constructor-tables

library
    -- Import common warning flags.
    import:           ghcopts

    -- Modules exported by the library.
    exposed-modules:  RoHs.Language.Types
                      RoHs.Language.Lib

                      RoHs.Plugin

                      RoHs.Examples.Basic
                      RoHs.Examples.Variants
                      RoHs.Examples.RecVariants
                      RoHs.Examples.RecVariants1
                      RoHs.Examples.MWPLS
                      -- RoHs.Examples.RecVariants2

    -- Modules included in this library but not exported.
    other-modules:

                      RoHs.Language.Primitives


                      RoHs.Plugin.Core
                      RoHs.Plugin.CoreUtils
                      RoHs.Plugin.Semantics
                      RoHs.Plugin.Source
                      RoHs.Plugin.TC


    -- LANGUAGE extensions used by modules in this package.
    other-extensions: DataKinds, ConstraintKinds, TypeApplications, ImpredicativeTypes, TypeFamilyDependencies

    -- Other library packages from which modules are imported.
    build-depends:    base >= 4.18,
                      ghc >=9.6.2,
                      ghc-tcplugin-api >= 0.11.0.0,
                      mtl >= 2.3,
                      ghc-tcplugins-extra >= 0.4.5,
                      syb >= 0.7,
                      containers,
                      ghc-prim
    -- Directories containing source files.
    hs-source-dirs:   src


    -- Base language which the package is written in.
    default-language: GHC2021

executable RoHs-sample-exe
    import:           ghcopts


    build-depends:    base >=4.18,
                      ghc >=9.6.2,
                      ghc-prim,
                      ghc-tcplugin-api >= 0.11.0.0,
                      mtl ^>= 2.3,
                      ghc-tcplugins-extra >= 0.4.5,
                      syb ^>= 0.7,
                      containers,
                      RoHs
    -- Directories containing source files.
    hs-source-dirs:   example

    main-is: Main.hs

    -- Base language which the package is written in.
    default-language: GHC2021

    other-extensions: DataKinds, ConstraintKinds, TypeApplications, ImpredicativeTypes, TypeFamilyDependencies


-- executable RoHs-test-illtype-unlab
--     import:           ghcopts

--     -- other-modules:


--     build-depends:    base ^>=4.18,
--                       ghc >=9.6.2,
--                       ghc-tcplugin-api ^>= 0.11.0.0,
--                       mtl ^>= 2.3,
--                       ghc-tcplugins-extra ^>= 0.4.5,
--                       syb ^>= 0.7,
--                       containers,
--                       RoHs
--     -- Directories containing source files.
--     hs-source-dirs:   test/IllTyped

--     main-is: Unlab.hs

--     -- Base language which the package is written in.
--     default-language: GHC2021

--     other-extensions: DataKinds, ConstraintKinds, TypeApplications, ImpredicativeTypes, TypeFamilyDependencies

-- executable RoHs-test-illtype-rowconcat
--     import:           ghcopts

--     -- other-modules:


--     build-depends:    base ^>=4.18,
--                       ghc >=9.6.2,
--                       ghc-tcplugin-api ^>= 0.11.0.0,
--                       mtl ^>= 2.3,
--                       ghc-tcplugins-extra ^>= 0.4.5,
--                       syb ^>= 0.7,
--                       containers,
--                       RoHs
--     -- Directories containing source files.
--     hs-source-dirs:   test/IllTyped

--     main-is: RowConcat.hs

--     -- Base language which the package is written in.
--     default-language: GHC2021

--     other-extensions: DataKinds, ConstraintKinds, TypeApplications, ImpredicativeTypes, TypeFamilyDependencies



test-suite RoHs-test
    -- Import common warning flags.
    ghc-options:           -Wall -dcore-lint
                           -- -fplugin RoHs.Plugin

    -- Base language which the package is written in.
    default-language: GHC2021

    -- LANGUAGE extensions used by modules in this package.
    other-extensions: DataKinds, ConstraintKinds, TypeApplications, ImpredicativeTypes, TypeFamilyDependencies

    -- The interface type and version of the test suite.
    type:             exitcode-stdio-1.0

    -- Directories containing source files.
    hs-source-dirs:   test

    -- The entrypoint to the test suite.
    main-is:          Main.hs

    -- Test dependencies.
    build-depends:
        base >=4.18,
        ghc >=9.6.2,
        ghc-prim,
        ghc-tcplugin-api >= 0.11.0.0,
        ghc-tcplugins-extra >= 0.4.5,
        syb ^>= 0.7,

        tasty ^>= 1.5,
        tasty-hunit,
        tasty-smallcheck,
        tasty-quickcheck,
        tasty-expected-failure,
        tasty-hspec,
        tasty-program,

        mtl ^>= 2.3,
        containers,

        RoHs