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

paired programming work

Browse source
This commit is contained in:
Jack Hodgkinson 2022-03-18 12:19:45 +00:00
parent 97812d3761
commit 060e46814a
3 changed files with 72 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

11
agora-test/Spec/Int.hs
View file

@ -78,7 +78,16 @@ instance HasScriptRunner IntProp Int where
expect _ = Var IsSmall :&&: Var IsNegative
script _ i =
let ii = fromIntegral i :: Integer
in compile (pif ((fromInteger ii #< (0 :: Term s PInteger)) #&& ((fromInteger (-10) :: Term s PInteger) #<= fromInteger ii)) (pcon PUnit) perror)
in compile
( pif
( ( fromInteger ii
#< (0 :: Term s PInteger)
)
#&& ((fromInteger (-10) :: Term s PInteger) #<= fromInteger ii)
)
(pcon PUnit)
perror
)
intPlutarchTests :: TestTree
intPlutarchTests =