GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 04:44:39 +03:00
Code Issues Projects Releases Wiki Activity

changed the output of :sat so it is formatted by type

Browse Source
This commit is contained in:
yuuko 2014-08-14 16:33:37 +01:00
parent 52e82226b5
commit 7d9376dfd5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol/REPL/Command.hs
View File

@ -346,7 +346,7 @@ satCmd str = do
Right (Just vs) -> do
let solutions = map (map (pp . E.WithBase ppOpts)) vs
io $ print ((ppPrec 3 parseExpr) <+> text "is satisfied by:") -- function application has precedence 3
mapM_ (io . print) (if n < 0 then solutions else take n solutions)
mapM_ (io . print . hsep) (if n < 0 then solutions else take n solutions)
specializeCmd :: String -> REPL ()
specializeCmd str = do