git.iko.soy/Idris-dev
on master help sign in
Fix wrongly-typed 16-bit complement evaluator
94f7452Benjamin Saunders
src/Idris/Primitives.hs+1−1
compare with master
unifiedsplit
@@ -168,7 +168,7 @@ primitives =
168 (2, LB16Or) total,
168 (2, LB16Or) total,
169 Prim (UN "prim__xorB16") (ty [B16Type, B16Type] B16Type) 2 (b16Bin xor)
169 Prim (UN "prim__xorB16") (ty [B16Type, B16Type] B16Type) 2 (b16Bin xor)
170 (2, LB16Xor) total,
170 (2, LB16Xor) total,
171− Prim (UN "prim__complB16") (ty [B16Type] B16Type) 1 (b8Un complement)
171+ Prim (UN "prim__complB16") (ty [B16Type] B16Type) 1 (b16Un complement)
172 (1, LB16Compl) total,
172 (1, LB16Compl) total,
173 Prim (UN "prim__zextB16_32") (ty [B16Type] B32Type) 1 zext16_32
173 Prim (UN "prim__zextB16_32") (ty [B16Type] B32Type) 1 zext16_32
174 (1, LB16Z32) total,
174 (1, LB16Z32) total,