@@ -354,11 +354,11 @@ Integral Int where
354354-- ------------------------------------------------------------------- [ Bits8 ]
355355divB8 : Bits8 -> Bits8 -> Bits8
356356divB8 x y = case y == 0 of
357− False => prim__sdivB8 x y
357+ False => prim__udivB8 x y
358358
359359modB8 : Bits8 -> Bits8 -> Bits8
360360modB8 x y = case y == 0 of
361− False => prim__sremB8 x y
361+ False => prim__uremB8 x y
362362
363363Integral Bits8 where
364364 div = divB8
@@ -367,11 +367,11 @@ Integral Bits8 where
367367-- ------------------------------------------------------------------ [ Bits16 ]
368368divB16 : Bits16 -> Bits16 -> Bits16
369369divB16 x y = case y == 0 of
370− False => prim__sdivB16 x y
370+ False => prim__udivB16 x y
371371
372372modB16 : Bits16 -> Bits16 -> Bits16
373373modB16 x y = case y == 0 of
374− False => prim__sremB16 x y
374+ False => prim__uremB16 x y
375375
376376Integral Bits16 where
377377 div = divB16
@@ -380,11 +380,11 @@ Integral Bits16 where
380380-- ------------------------------------------------------------------ [ Bits32 ]
381381divB32 : Bits32 -> Bits32 -> Bits32
382382divB32 x y = case y == 0 of
383− False => prim__sdivB32 x y
383+ False => prim__udivB32 x y
384384
385385modB32 : Bits32 -> Bits32 -> Bits32
386386modB32 x y = case y == 0 of
387− False => prim__sremB32 x y
387+ False => prim__uremB32 x y
388388
389389Integral Bits32 where
390390 div = divB32
@@ -393,11 +393,11 @@ Integral Bits32 where
393393-- ------------------------------------------------------------------ [ Bits64 ]
394394divB64 : Bits64 -> Bits64 -> Bits64
395395divB64 x y = case y == 0 of
396− False => prim__sdivB64 x y
396+ False => prim__udivB64 x y
397397
398398modB64 : Bits64 -> Bits64 -> Bits64
399399modB64 x y = case y == 0 of
400− False => prim__sremB64 x y
400+ False => prim__uremB64 x y
401401
402402Integral Bits64 where
403403 div = divB64