GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-05 18:08:04 +03:00
Code Issues Projects Releases Wiki Activity

whitespace only

Browse Source
This commit is contained in:
Daniel Wagner 2021-05-24 22:28:15 -04:00
parent 86dca26766
commit 750edef956
2 changed files with 18 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
src/Cryptol/REPL/Monad.hs
View File

@ -397,24 +397,24 @@ getCallStacks = eCallStacks <$> getRW
-- Get the setting we should use for displaying values.
getPPValOpts :: REPL PPOpts
getPPValOpts =
do base <- getKnownUser "base"
ascii <- getKnownUser "ascii"
infLength <- getKnownUser "infLength"
do base <- getKnownUser "base"
ascii <- getKnownUser "ascii"
infLength <- getKnownUser "infLength"
fpBase <- getKnownUser "fpBase"
fpFmtTxt <- getKnownUser "fpFormat"
fieldOrder<- getKnownUser "fieldOrder"
fpBase <- getKnownUser "fpBase"
fpFmtTxt <- getKnownUser "fpFormat"
fieldOrder <- getKnownUser "fieldOrder"
let fpFmt = case parsePPFloatFormat fpFmtTxt of
Just f -> f
Nothing -> panic "getPPOpts"
[ "Failed to parse fp-format" ]
return PPOpts { useBase = base
, useAscii = ascii
, useInfLength = infLength
, useFPBase = fpBase
, useFPFormat = fpFmt
, useFieldOrder= fieldOrder
return PPOpts { useBase = base
, useAscii = ascii
, useInfLength = infLength
, useFPBase = fpBase
, useFPFormat = fpFmt
, useFieldOrder = fieldOrder
}
getEvalOptsAction :: REPL (IO EvalOpts)

12
src/Cryptol/Utils/PP.hs
View File

@ -30,12 +30,12 @@ import Prelude.Compat
-- | How to pretty print things when evaluating
data PPOpts = PPOpts
{ useAscii :: Bool
, useBase :: Int
, useInfLength :: Int
, useFPBase :: Int
, useFPFormat :: PPFloatFormat
, useFieldOrder:: FieldOrder
{ useAscii :: Bool
, useBase :: Int
, useInfLength :: Int
, useFPBase :: Int
, useFPFormat :: PPFloatFormat
, useFieldOrder :: FieldOrder
}
deriving Show