Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Update PSE

Browse source
This commit is contained in:
Seungheon Oh 2022-11-22 17:47:29 -06:00
parent f6298ba839
commit f276b5a97c
4 changed files with 17 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora-specs/Sample/Governor/Initialize.hs
View file

@ -121,7 +121,7 @@ scripts :: Map Text Script
scripts =
either
(error . show)
(view #scripts)
(fmap (view #script) . view #scripts)
( runLinker
linker
(agoraScripts deterministicTracingConfing)

2
agora-specs/Sample/Shared.hs
View file

@ -141,7 +141,7 @@ agoraScripts :: Map Text Script
agoraScripts =
either
(error . show)
(view #scripts)
(fmap (view #script) . view #scripts)
( runLinker
linker
(Bootstrap.agoraScripts deterministicTracingConfing)