git.iko.soy/Idris-dev
on master help sign in
Fix primitive references in test025
commit1ce70cc78595333b4d86108c133770f643e45476 authorBenjamin Saunders <besaunde@sfu.ca> dateSat 11 May 2013, 15:53 (13 years ago) parentfc8d6e1
2 files changed+6−6
compare with master
unifiedsplit
effects/Effect/Random.idr+2−2 test/test025/test025.idr+4−4
effects/Effect/Random.idr+2−2
@@ -8,7 +8,7 @@ data Random : Type -> Type -> Type -> Type where
88using (m : Type -> Type)
99 instance Handler Random m where
1010 handle seed getRandom k
11− = let seed' = (1664525 * seed + 1013904223) `prim__modBigInt` (pow 2 32) in
11+ = let seed' = (1664525 * seed + 1013904223) `prim__sremBigInt` (pow 2 32) in
1212 k seed' seed'
1313
1414RND : EFFECT
@@ -16,6 +16,6 @@ RND = MkEff Integer Random
1616
1717rndInt : Integer -> Integer -> Eff m [RND] Integer
1818rndInt lower upper = do v <- getRandom
19− return (v `prim__modBigInt` (upper - lower) + lower)
19+ return (v `prim__sremBigInt` (upper - lower) + lower)
2020
2121
test/test025/test025.idr+4−4
@@ -9,23 +9,23 @@ MemoryIO td ts r = Eff (IOExcept String) [ Dst ::: RAW_MEMORY td
99 , Src ::: RAW_MEMORY ts ] r
1010
1111inpVect : Vect Bits8 5
12−inpVect = map prim__intToB8 [0, 1, 2, 3, 5]
12+inpVect = map prim__truncInt_B8 [0, 1, 2, 3, 5]
1313
1414sub1 : Vect Bits8 n -> Vect Bits8 n
15−sub1 xs = map (prim__intToB8 . (\ x => x - 1) . prim__B32ToInt . prim__sextB8_32) xs
15+sub1 xs = map (prim__truncInt_B8 . (\ x => x - 1) . prim__zextB8_Int) xs
1616
1717testMemory : MemoryIO () () (Vect Int 4)
1818testMemory = do Src :- allocate 5
1919 Src :- poke 0 inpVect oh
2020 Dst :- allocate 5
21− Dst :- initialize (prim__intToB8 1) 2 oh
21+ Dst :- initialize (prim__truncInt_B8 1) 2 oh
2222 move 2 2 3 oh oh
2323 Src :- free
2424 end <- Dst :- peek 4 1 oh
2525 Dst :- poke 4 (sub1 end) oh
2626 res <- Dst :- peek 1 4 oh
2727 Dst :- free
28− return (map (prim__B32ToInt . prim__sextB8_32) res)
28+ return (map (prim__zextB8_Int) res)
2929
3030main : IO ()
3131main = do ioe_run (run [Dst := (), Src := ()] testMemory)