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 --- lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs') diff --git a/lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs b/lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs index a822116..cbc7988 100644 --- a/lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs +++ b/lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs @@ -83,7 +83,7 @@ completion' (inputString, _) = ] completeLoadWithFiles prefix = do - files <- filter (prefix `isPrefixOf`) . filter (".mtt" `isSuffixOf`) <$> listDirectory "." + files <- filter (prefix `isPrefixOf`) . filter (".lisp" `isSuffixOf`) <$> listDirectory "." pure ("", fmap (\fp -> Completion (":load " <> fp) fp True) files) setUnsetCompletion com = -- cgit v1.3.1