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

export benchmark to json

Browse source
This commit is contained in:
Seungheon Oh 2022-05-24 16:10:12 -05:00
parent 5eebba1355
commit 35ba59c5d6
4 changed files with 39 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora-spec/Spec/Spec.hs
View file

@ -50,7 +50,7 @@ exists s (Group name st) = or (exists s <$> st) || s == name
group :: String -> [SpecificationTree] -> SpecificationTree
group name st
| or $ exists name <$> st = error "Name already exists"
| or $ exists name <$> st = error $ "Name already exists: " <> name
| otherwise = Group name st
getSpecification :: String -> SpecificationTree -> Maybe Specification