diff options
| author | Marvin Borner | 2023-02-23 15:55:33 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-23 15:55:33 +0100 |
| commit | 078734c1a310300c8121022103f1b4ca9bd1b5f2 (patch) | |
| tree | b7ab2cefb2261d4e79b6b2b4d86b5f9777682381 /src | |
| parent | f452a6f311408ea78e5fce765766c98acca33188 (diff) | |
Added watch command
Diffstat (limited to 'src')
| -rw-r--r-- | src/Eval.hs | 12 | ||||
| -rw-r--r-- | src/Helper.hs | 2 | ||||
| -rw-r--r-- | src/Parser.hs | 7 |
3 files changed, 20 insertions, 1 deletions
diff --git a/src/Eval.hs b/src/Eval.hs index 5b0c9d0..95f0a34 100644 --- a/src/Eval.hs +++ b/src/Eval.hs @@ -4,6 +4,7 @@ module Eval ) where import Binary +import Control.Concurrent import Control.Exception import Control.Monad.State import qualified Control.Monad.State.Strict as StrictState @@ -13,6 +14,7 @@ import Data.Function ( on ) import Data.List import qualified Data.Map as M import Data.Maybe +import Data.Time.Clock import Helper import Parser import Paths_bruijn @@ -185,6 +187,16 @@ evalCommand inp s@(EnvState env@(Environment envDefs) conf cache) = \case $ M.union (_imported cache) (_imported cache') } pure $ EnvState (Environment $ M.union env' envDefs) conf cache'' -- import => _isRepl = False + Watch path -> + let + monitor mtime = do + threadDelay 100000 + full <- fullPath path + t <- getModificationTime full + if t > mtime + then putStrLn "reload" >> evalCommand inp s (Input full) >> monitor t + else monitor t + in getCurrentTime >>= monitor Import path namespace -> do -- TODO: Merge with Input (very similar) full <- fullPath path if full `elem` _evalPaths conf diff --git a/src/Helper.hs b/src/Helper.hs index 6f17b15..a0a563a 100644 --- a/src/Helper.hs +++ b/src/Helper.hs @@ -136,7 +136,7 @@ instance Show Expression where show (MixfixChain ms) = "\ESC[33m(\ESC[0m" <> (intercalate " " $ map show ms) <> "\ESC[33m)\ESC[0m" show (Prefix p e) = show p <> " " <> show e -data Command = Input String | Import String String | Test Expression Expression | ClearState | Time Expression +data Command = Input String | Watch String | Import String String | Test Expression Expression | ClearState | Time Expression deriving (Show) data Instruction = Define Identifier Expression [Instruction] | Evaluate Expression | Comment | Commands [Command] | ContextualInstruction Instruction String deriving (Show) diff --git a/src/Parser.hs b/src/Parser.hs index b572f9a..b82a266 100644 --- a/src/Parser.hs +++ b/src/Parser.hs @@ -289,6 +289,12 @@ parseInput = do path <- importPath pure $ Input $ path ++ ".bruijn" +parseWatch :: Parser Command +parseWatch = do + _ <- string ":watch" <* sc <?> "watch instruction" + path <- importPath + pure $ Watch $ path ++ ".bruijn" + parseTest :: Parser Command parseTest = do _ <- string ":test" <* sc <?> "test" @@ -328,6 +334,7 @@ parseReplLine = try parseReplDefine -- TODO: This is kinda hacky <|> ((Commands . (: [])) <$> try parseTest) <|> ((Commands . (: [])) <$> try parseInput) + <|> ((Commands . (: [])) <$> try parseWatch) <|> ((Commands . (: [])) <$> try parseImport) <|> ((Commands . (: [])) <$> try parseTime) <|> ((Commands . (: [])) <$> try parseClearState) |