From d8e4ef2a4611682e273ca18189b1bebf791a1bb8 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sun, 2 Nov 2025 18:18:50 +0100 Subject: fix tests and add HTML stuff to deployment --- .../haskell/test/Minilang/REPL/HaskelineSpec.hs | 33 +++++++++++----------- 1 file changed, 16 insertions(+), 17 deletions(-) (limited to 'lambda-calcul/haskell/test/Minilang/REPL') diff --git a/lambda-calcul/haskell/test/Minilang/REPL/HaskelineSpec.hs b/lambda-calcul/haskell/test/Minilang/REPL/HaskelineSpec.hs index b7ca5c9..b9ec59c 100644 --- a/lambda-calcul/haskell/test/Minilang/REPL/HaskelineSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/REPL/HaskelineSpec.hs @@ -10,24 +10,23 @@ import Prelude hiding ) spec :: Spec -spec = parallel $ describe "MiniLang Haskeline REPL" $ do - describe "Completion" $ do - it "returns all commands when input ':' " $ do - (fmap replacement) . snd <$> completion (":", "") - `shouldReturn` [":quit", ":env", ":clear", ":load", ":set", ":unset", ":help"] +spec = parallel $ describe "MiniLang Haskeline REPL" $ describe "Completion" $ do + it "returns all commands when input ':' " $ + fmap replacement . snd <$> completion (":", "") + `shouldReturn` [":quit", ":env", ":clear", ":load", ":set", ":unset", ":help"] - it "returns sub-commands when input ':set' " $ do - (fmap replacement) . snd <$> completion ("tes:", "") - `shouldReturn` [":set step", ":set debug"] + it "returns sub-commands when input ':set' " $ + fmap replacement . snd <$> completion ("tes:", "") + `shouldReturn` [":set step", ":set debug"] - it "returns sub-commands when input ':unset' " $ do - (fmap replacement) . snd <$> completion ("tesnu:", "") - `shouldReturn` [":unset step", ":unset debug"] + it "returns sub-commands when input ':unset' " $ + fmap replacement . snd <$> completion ("tesnu:", "") + `shouldReturn` [":unset step", ":unset debug"] - it "returns list of files when input ':load' " $ do - (fmap replacement) . snd <$> completion ("daol:", "") - `shouldReturn` [":load bool.mtt", ":load nelist.mtt", ":load vector.mtt", ":load indrec.mtt"] + it "returns list of files when input ':load' " $ + fmap replacement . snd <$> completion ("daol:", "") + `shouldReturn` [":load bool.lisp", ":load fac.lisp"] - it "returns filtered list of files when input ':load xxx' " $ do - (fmap replacement) . snd <$> completion ("v daol:", "") - `shouldReturn` [":load vector.mtt"] + it "returns filtered list of files when input ':load xxx' " $ + fmap replacement . snd <$> completion ("f daol:", "") + `shouldReturn` [":load fac.lisp"] -- cgit v1.3.1