chrisdone/duet
1
1
Fork 0
mirror of https://github.com/chrisdone/duet.git synced 2024-10-06 00:08:57 +03:00
Code Issues Projects Releases Wiki Activity

Support no stepping

Browse Source
This commit is contained in:
Chris Done 2017-06-07 14:29:48 +01:00
parent 938d7ad73f
commit 188798e356
1 changed files with 33 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

63
app/Main.hs
View File

@ -40,12 +40,12 @@ main :: IO ()
main = do
args <- getArgs
case args of
[file, i] -> do
(file:is) -> do
text <- T.readFile file
compileStepText "<interactive>" i text
compileStepText "<interactive>" (listToMaybe is) text
_ -> error "usage: duet <file>"
compileStepText :: String -> String -> Text -> IO ()
compileStepText :: String -> Maybe String -> Text -> IO ()
compileStepText file i text =
case parseText file text of
Left e -> error (show e)
@ -131,33 +131,36 @@ compileStepText file i text =
defaultPrint {printDictionaries = True}))
is)
bindGroups'
putStrLn "-- Stepping ..."
catch
(do e0 <- lookupNameByString i bindGroups'
evalSupplyT
(fix
(\loopy e -> do
when
(True || cleanExpression e)
(liftIO (putStrLn (printExpression (defaultPrint) e)))
e' <-
expandSeq1
typeClassEnv'
specialSigs
signatures
e
bindGroups
subs
if fmap (const ()) e' /= fmap (const ()) e
then do
renameExpression subs e' >>= loopy
else pure ())
e0)
supplies)
(\e ->
liftIO
(do putStrLn (displayStepperException specialTypes e)
exitFailure))
case i of
Nothing -> return ()
Just i' -> do
putStrLn "-- Stepping ..."
catch
(do e0 <- lookupNameByString i' bindGroups'
evalSupplyT
(fix
(\loopy e -> do
when
(True || cleanExpression e)
(liftIO (putStrLn (printExpression (defaultPrint) e)))
e' <-
expandSeq1
typeClassEnv'
specialSigs
signatures
e
bindGroups
subs
if fmap (const ()) e' /= fmap (const ()) e
then do
renameExpression subs e' >>= loopy
else pure ())
e0)
supplies)
(\e ->
liftIO
(do putStrLn (displayStepperException specialTypes e)
exitFailure))
--------------------------------------------------------------------------------
-- Clean expressions