GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity

Fix slightly incorrect documentation

Browse Source
This commit is contained in:
Rob Dockins 2021-05-05 17:46:17 -07:00
parent a05b4eda7f
commit 69e7689527
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/Backend/SeqMap.hs
View File

@ -228,7 +228,7 @@ shiftSeqByInteger :: Backend sym =>
SEval sym a {- ^ zero value -} ->
Nat' {- ^ size of the sequence -} ->
SeqMap sym a {- ^ sequence to shift -} ->
SInteger sym {- ^ shift amount, assumed to be in range [0,len) -} ->
SInteger sym {- ^ shift amount, assumed to be in range [0,len] -} ->
SEval sym (SeqMap sym a)
shiftSeqByInteger sym merge reindex zro m xs idx
| Just j <- integerAsLit sym idx = shiftOp xs j

2
src/Cryptol/Backend/WordValue.hs
View File

@ -514,7 +514,7 @@ shiftWordByInteger ::
(Integer -> Integer -> Maybe Integer)
{- ^ reindexing operation -} ->
WordValue sym {- ^ word value to shift -} ->
SInteger sym {- ^ shift amount, assumed to be in range [0,len) -} ->
SInteger sym {- ^ shift amount, assumed to be in range [0,len] -} ->
SEval sym (WordValue sym)
shiftWordByInteger sym wop reindex x idx =