From a37d3975ed5421aa4532c0146af47de709d17956 Mon Sep 17 00:00:00 2001
From: milner <m@cpl0.zip>
Date: Mon, 24 Feb 2020 12:00:00 +0000
Subject: [PATCH] analyse finite inhabitants of recursive type declarations

---
 tessera.cabal | 63 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 63 insertions(+)
 create mode 100644 tessera.cabal

diff --git a/tessera.cabal b/tessera.cabal
new file mode 100644
index 0000000..2f66125
--- /dev/null
+++ b/tessera.cabal
@@ -0,0 +1,63 @@
+cabal-version: 2.4
+name: tessera
+version: 0.1.0.0
+synopsis: pattern-match compiler with exhaustiveness checking and counterexample generation
+description:
+  A pattern-match compiler for algebraic data types with usefulness analysis,
+  missing-case witness generation, decision-tree compilation and execution.
+license: BSD-3-Clause
+author: james
+maintainer: james
+category: Compilers
+build-type: Simple
+
+library
+  hs-source-dirs: src
+  exposed-modules:
+    Tessera.Syntax
+    Tessera.Parser
+    Tessera.Env
+    Tessera.Check
+    Tessera.Matrix
+    Tessera.Analyze
+    Tessera.Tree
+    Tessera.Eval
+    Tessera.Serialize
+    Tessera.Graph
+  build-depends:
+    base >=4.12 && <4.13
+    , containers >=0.6 && <0.7
+    , time >=1.8 && <1.10
+  default-language: Haskell2010
+
+executable tessera
+  hs-source-dirs: app
+  main-is: Main.hs
+  build-depends:
+    base
+    , containers
+    , time
+    , directory
+    , tessera
+  default-language: Haskell2010
+
+test-suite spec
+  type: exitcode-stdio-1.0
+  hs-source-dirs: tests
+  main-is: Spec.hs
+  build-depends:
+    base
+    , containers
+    , tessera
+  default-language: Haskell2010
+
+benchmark matrix-bench
+  type: exitcode-stdio-1.0
+  hs-source-dirs: benchmarks
+  main-is: Bench.hs
+  build-depends:
+    base
+    , containers
+    , time
+    , tessera
+  default-language: Haskell2010