diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-28 20:14:16 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-28 20:14:16 +0100 |
| commit | 1d1f0efc7de1eaa0c8a6b503892c2f950008fde6 (patch) | |
| tree | bd2e2ea5963d8a208d302854502f580d8ffd73cb /lambda-calcul/haskell/minilang.cabal | |
| parent | a210419fd60c00d011f70fb1b968031621e4c01a (diff) | |
| download | lambda-nantes-1d1f0efc7de1eaa0c8a6b503892c2f950008fde6.tar.gz | |
wip: port REPL from minilang
Diffstat (limited to 'lambda-calcul/haskell/minilang.cabal')
| -rw-r--r-- | lambda-calcul/haskell/minilang.cabal | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/minilang.cabal b/lambda-calcul/haskell/minilang.cabal index a2bb355..039e4f0 100644 --- a/lambda-calcul/haskell/minilang.cabal +++ b/lambda-calcul/haskell/minilang.cabal @@ -31,6 +31,13 @@ library Minilang.Lambda.Eval Minilang.Lambda.Infer Minilang.Lambda.Parser + Minilang.REPL + Minilang.REPL.Haskeline + Minilang.REPL.IO + Minilang.REPL.Pure + Minilang.REPL.Purer + Minilang.REPL.Run + Minilang.REPL.Types hs-source-dirs: src default-extensions: @@ -48,16 +55,21 @@ library , async , base , bytestring + , cereal , containers , data-default , directory , exceptions , filepath + , haskeline , megaparsec , mtl , stm , text , unordered-containers + , wai + , websockets + , wai-websockets default-language: Haskell2010 test-suite minilang-test @@ -69,6 +81,8 @@ test-suite minilang-test Minilang.Lambda.DeBruijnSpec Minilang.Lambda.EvalSpec Minilang.Lambda.ParserSpec + Minilang.REPLSpec + Minilang.REPL.HaskelineSpec hs-source-dirs: test default-extensions: @@ -93,6 +107,7 @@ test-suite minilang-test , directory , exceptions , filepath + , haskeline , hspec , hspec-discover , minilang @@ -122,4 +137,5 @@ executable lambda base , containers , minilang + , unix default-language: Haskell2010 |