GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-30 23:45:23 +03:00
Code Issues Projects Releases Wiki Activity

Add a trivial "parmap" implementation to the reference interpreter.

Browse Source
This commit is contained in:
Rob Dockins 2020-07-02 15:24:57 -07:00
parent 7b0f69de28
commit 0d7d98bcfb
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
docs/Semantics.pdf
View File

Binary file not shown.

10
src/Cryptol/Eval/Reference.lhs
View File

@ -804,6 +804,16 @@ by corresponding typeclasses
> diff = y - x) > diff = y - x)
> >
> -- Miscellaneous: > -- Miscellaneous:
> , ("parmap" , VPoly $ \_a ->
> VPoly $ \_b ->
> VNumPoly $ \n ->
> VFun $ \f ->
> VFun $ \xs ->
> -- Note: the reference implementation simply
> -- executes parmap sequentially
> let xs' = map (fromVFun f) (fromVList xs) in
> VList n xs')
>
> , ("error" , VPoly $ \a -> > , ("error" , VPoly $ \a ->
> VNumPoly $ \_ -> > VNumPoly $ \_ ->
> VFun $ \_s -> cryError (UserError "error") a) > VFun $ \_s -> cryError (UserError "error") a)