11fb110 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

added prim op LCompl

Fixes https://github.com/idris-lang/Idris-dev/issues/4004

commit11fb1108a654218d7b5cc78600cf0e2f95dc01e4 authorAlex Gryzlov <skyrodent@gmail.com> dateFri 18 Aug 2017, 17:27 (9 years ago) parentb352960

1 file changed+4

unifiedsplit

src/IRTS/JavaScript/PrimOp.hs+4

@@ -119,6 +119,10 @@ primDB =

119119 , item (LASHR (ITFixed IT16)) False PTAny $ JsForeign "%0 >> %1"

120120 , item (LASHR (ITFixed IT32)) False PTAny $ JsForeign "%0 >> %1|0"

121121 , item (LASHR (ITFixed IT64)) True PTAny $ JsForeign "%0.shiftRight(%1)"

122+ , item (LCompl (ITFixed IT8)) False PTAny $ JsForeign "~%0"

123+ , item (LCompl (ITFixed IT16)) False PTAny $ JsForeign "~%0"

124+ , item (LCompl (ITFixed IT32)) False PTAny $ JsForeign "~%0|0"

125+ , item (LCompl (ITFixed IT64)) True PTAny $ method "not"

122126 , item (LEq ATFloat) False PTBool $ binop "==="

123127 , item (LEq (ATInt ITNative)) False PTBool $ binop "==="

124128 , item (LEq (ATInt ITChar)) False PTBool $ binop "==="