diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-02 18:18:50 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-02 18:18:50 +0100 |
| commit | d8e4ef2a4611682e273ca18189b1bebf791a1bb8 (patch) | |
| tree | 64f95ac3e30a6a2a7898da300f982257202f4393 /lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs | |
| parent | 00ef8caacaa576b4045d43a5bdddd81a2d093496 (diff) | |
| download | lambda-nantes-d8e4ef2a4611682e273ca18189b1bebf791a1bb8.tar.gz | |
fix tests and add HTML stuff to deployment
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 = |