on master help sign in
Fix wrongly-typed 16-bit complement evaluator
commit94f74529dccb3233fc36cfc98a383b54f5faf5a9 authorBenjamin Saunders <besaunde@sfu.ca> dateThu 24 Jan 2013, 12:52 (14 years ago) parentfe963e8
1 file changed+1−1
src/Idris/Primitives.hs+1−1
src/Idris/Primitives.hs+1−1
@@ -168,7 +168,7 @@ primitives =
168168 (2, LB16Or) total,
169169 Prim (UN "prim__xorB16") (ty [B16Type, B16Type] B16Type) 2 (b16Bin xor)
170170 (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)
172172 (1, LB16Compl) total,
173173 Prim (UN "prim__zextB16_32") (ty [B16Type] B32Type) 1 zext16_32
174174 (1, LB16Z32) total,